| Stochastic hybrid models: An overview G Pola, ML Bujorianu, J Lygeros, MD Di Benedetto IFAC Proceedings Volumes 36 (6), 45-50, 2003 | 210 | 2003 |
| Toward a general theory of stochastic hybrid systems ML Bujorianu, J Lygeros Stochastic hybrid systems: theory and safety critical applications, 3-30, 2006 | 170 | 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 | 142 | 2004 |
| 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 | 129 | 2019 |
| Extended stochastic hybrid systems and their reachability problem ML Bujorianu Hybrid Systems: Computation and Control: 7th International Workshop, HSCC …, 2004 | 120 | 2004 |
| Reachability questions in piecewise deterministic Markov processes ML Bujorianu, J Lygeros Hybrid Systems: Computation and Control: 6th International Workshop, HSCC …, 2003 | 111 | 2003 |
| Bisimulation for general stochastic hybrid systems ML Bujorianu, J Lygeros, MC Bujorianu Hybrid Systems: Computation and Control: 8th International Workshop, HSCC …, 2005 | 74 | 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 | 29 | 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 | 17 | 2004 |
| A stochastic hybrid system modeling framework ML Bujorianu, J Lygeros, W Glover, G Pola HYBRIDGE D1 2, 2003 | 14 | 2003 |
| 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 formal framework for user centric control of probabilistic multi-agent cyber-physical systems MC Bujorianu, ML Bujorianu, H Barringer Computational Logic in Multi-Agent Systems: 9th International Workshop …, 2009 | 11 | 2009 |
| Reachability analysis of stochastic hybrid systems by optimal control ML Bujorianu, J Lygeros, R Langerak Hybrid Systems: Computation and Control: 11th International Workshop, HSCC …, 2008 | 11 | 2008 |
| Safety verification of piecewise-deterministic Markov processes R Wisniewski, C Sloth, M Bujorianu, N Piterman Proceedings of the 19th International Conference on Hybrid Systems …, 2016 | 9 | 2016 |
| 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 |
| Stochastic safety for Markov chains ML Bujorianu, R Wisniewski, E Boulougouris IEEE Control Systems Letters 5 (2), 427-432, 2020 | 8 | 2020 |
| -Safe Analysis of Stochastic Hybrid Processes R Wisniewski, ML Bujorianu, C Sloth IEEE Transactions on Automatic Control 65 (12), 5220-5235, 2020 | 8 | 2020 |
