Stochastic hybrid models: An overview G Pola, ML Bujorianu, J Lygeros, MD Di Benedetto IFAC Proceedings Volumes 36 (6), 45-50, 2003 | 198 | 2003 |
Toward a general theory of stochastic hybrid systems ML Bujorianu, J Lygeros Stochastic hybrid systems, 3-30, 2006 | 157 | 2006 |
General stochastic hybrid systems: Modelling and optimal control ML Bujorianu, J Lygeros 2004 43rd IEEE Conference on Decision and Control (CDC)(IEEE Cat. No …, 2004 | 135 | 2004 |
General stochastic hybrid systems: Modelling and optimal control ML Bujorianu, J Lygeros 2004 43rd IEEE Conference on Decision and Control (CDC)(IEEE Cat. No …, 2004 | 135 | 2004 |
Resolution of (±)-menthol by immobilized Candida rugosa lipase on superparamagnetic nanoparticles S Bai, Z Guo, W Liu, Y Sun Food Chemistry 96 (1), 1-7, 2006 | 134 | 2006 |
Extended stochastic hybrid systems and their reachability problem ML Bujorianu International Workshop on Hybrid Systems: Computation and Control, 234-249, 2004 | 115 | 2004 |
Reachability questions in piecewise deterministic Markov processes ML Bujorianu, J Lygeros International Workshop on Hybrid Systems: Computation and Control, 126-140, 2003 | 105 | 2003 |
Vulnerabilities and safety assurance methods in Cyber-Physical Systems: A comprehensive review V Bolbot, G Theotokatos, LM Bujorianu, E Boulougouris, D Vassalos Reliability Engineering & System Safety 182, 179-193, 2019 | 87 | 2019 |
Bisimulation for general stochastic hybrid systems ML Bujorianu, J Lygeros, MC Bujorianu International Workshop on Hybrid Systems: Computation and Control, 198-214, 2005 | 75 | 2005 |
A unifying specification logic for cyber-physical systems MC Bujorianu, ML Bujorianu, H Barringer 2009 17th Mediterranean Conference on Control and Automation, 1166-1171, 2009 | 30 | 2009 |
Stochastic safety analysis of stochastic hybrid systems R Wisniewski, ML Bujorianu 2017 IEEE 56th Annual Conference on Decision and Control (CDC), 2390-2395, 2017 | 19 | 2017 |
New insights on stochastic reachability ML Bujorianu, J Lygeros 2007 46th IEEE Conference on Decision and Control, 6172-6177, 2007 | 19 | 2007 |
Theoretical foundations of stochastic hybrid systems ML Bujorianu, J Lygeros Mathematical theory of Networks and Systems Conference, Leuwen, BG, 2004 | 16 | 2004 |
Theoretical foundations of stochastic hybrid systems ML Bujorianu, J Lygeros Mathematical theory of Networks and Systems Conference, Leuwen, BG, 2004 | 16 | 2004 |
A model checking strategy for a class of performance properties of fluid stochastic models ML Bujorianu, MC Bujorianu Proceedings of 3rd European Performance Engineering Workshop, Springer LNCS 4054, 2006 | 13 | 2006 |
A stochastic hybrid system modeling framework ML Bujorianu, J Lygeros, W Glover, G Pola HYBRIDGE D1 2, 2003 | 13 | 2003 |
Reachability analysis of stochastic hybrid systems by optimal control ML Bujorianu, J Lygeros, R Langerak International Workshop on Hybrid Systems: Computation and Control, 610-613, 2008 | 12 | 2008 |
A formal framework for user centric control of probabilistic multi-agent cyber-physical systems MC Bujorianu, ML Bujorianu, H Barringer International Workshop on Computational Logic in Multi-Agent Systems, 97-116, 2008 | 11 | 2008 |
Abstractions of stochastic hybrid systems ML Bujorianu, MC Bujorianu, J Lygeros Proceedings of the 44th IEEE Conference on Decision and Control, 4712-4717, 2005 | 9 | 2005 |
Distributed Stochastic Hybrid Systems ML Bujorianu, MC Bujorianu, S Maharaj Proceedings of IFAC, 378-378, 2005 | 9 | 2005 |