Stochastic hybrid models: An overview G Pola, ML Bujorianu, J Lygeros, MD Di Benedetto
IFAC Proceedings Volumes 36 (6), 45-50, 2003
209 2003 Toward a general theory of stochastic hybrid systems ML Bujorianu, J Lygeros
Stochastic hybrid systems: theory and safety critical applications, 3-30, 2006
169 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
127 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 ProcessesR Wisniewski, ML Bujorianu, C Sloth
IEEE Transactions on Automatic Control 65 (12), 5220-5235, 2020
8 2020