EEMCS

Bujorianu, L.M. and Lygeros, J. (2008) New insights on stochastic reachability. In: 46th IEEE Conference on Decision and Control, 12-14 Dec 2007, New Orleans, Louisiana USA. pp. 6172-6177. IEEE Computer Society. ISSN 0191-2216 ISBN 1-4244-1498-9

Bujorianu, L.M. and Lygeros, J. and Bujorianu, M.C. (2008) Abstractions of Stochastic Hybrid Systems. Technical Report TR-CTIT-08-24, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Bujorianu, L.M. and Lygeros, J. and Bujorianu, M.C. (2008) Towards a General Theory of Stochastic Hybrid Systems. Technical Report TR-CTIT-08-25, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Bujorianu, L.M. and Lygeros, J. and Langerak, R. (2008) Reachability Analysis of Stochastic Hybrid Systems by Optimal Control. In: 11th International Workshop, HSCC 2008, 22-24 Aril 2008, St. Louis, USA. pp. 610-613. Lecture Notes in Computer Science 4981. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-78928-4

Bujorianu, L.M. and Lygeros, J. (2006) Toward a General Theory of Stochastic Hybrid Systems. In: Stochastic Hybrid Systems: Theory and Safety Critical Applications. Lecture Notes in Control and Information Sciences 337. Springer Verlag, Berlin, pp. 3-30. ISBN 978-3-540-33466-8

Bujorianu, L.M. and Bujorianu, M.C. and Lygeros, J. (2005) Abstractions of Stochastic Hybrid Systems. In: 44th IEEE Conference on Decision and Control, 12-15 December 2005, Seville, Spain. pp. 4712-4717. IEEE Computer Society. ISBN 0-7803-9568-9