58

Ten consecutive primes in arithmetic progression

Year:
2001
Language:
english
File:
PDF, 103 KB
english, 2001
74

On reachability and minimum cost optimal control

Year:
2004
Language:
english
File:
PDF, 387 KB
english, 2004
76

Verification of discrete time stochastic hybrid systems: A stochastic reach-avoid decision problem

Year:
2010
Language:
english
File:
PDF, 513 KB
english, 2010
85

Controllers for reachability specifications for hybrid systems

Year:
1999
Language:
english
File:
PDF, 527 KB
english, 1999
86

Feedstock atomization effects on FCC riser reactors selectivity

Year:
1999
Language:
english
File:
PDF, 279 KB
english, 1999
87

On the regularization of Zeno hybrid automata

Year:
1999
Language:
english
File:
PDF, 266 KB
english, 1999
88

Zeno hybrid systems

Year:
2001
Language:
english
File:
PDF, 183 KB
english, 2001