Stochastic hybrid models: An overview G Pola, ML Bujorianu, J Lygeros, MD Di Benedetto
IFAC Proceedings Volumes 36 (6), 45-50, 2003
217 2003 Toward a general theory of stochastic hybrid systems ML Bujorianu, J Lygeros
Stochastic hybrid systems: theory and safety critical applications, 3-30, 2006
176 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
148 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
141 2019 Extended stochastic hybrid systems and their reachability problem ML Bujorianu
Hybrid Systems: Computation and Control: 7th International Workshop, HSCC …, 2004
123 2004 Reachability questions in piecewise deterministic Markov processes ML Bujorianu, J Lygeros
Hybrid Systems: Computation and Control: 6th International Workshop, HSCC …, 2003
119 2003 Bisimulation for general stochastic hybrid systems ML Bujorianu, J Lygeros, MC Bujorianu
Hybrid Systems: Computation and Control: 8th International Workshop, HSCC …, 2005
75 2005 Stochastic safety analysis of stochastic hybrid systems R Wisniewski, ML Bujorianu
2017 IEEE 56th annual conference on decision and control (CDC), 2390-2395, 2017
30 2017 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 New insights on stochastic reachability ML Bujorianu, J Lygeros
2007 46th IEEE Conference on Decision and Control, 6172-6177, 2007
20 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 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
13 2009 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 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 Stochastic safety for Markov chains ML Bujorianu, R Wisniewski, E Boulougouris
IEEE Control Systems Letters 5 (2), 427-432, 2020
10 2020 R Wisniewski, ML Bujorianu, C Sloth
IEEE Transactions on Automatic Control 65 (12), 5220-5235, 2020
10 2020 Probabilistic safety guarantees for Markov decision processes R Wisniewski, ML Bujorianu
IEEE Transactions on Automatic Control 68 (12), 8095-8102, 2023
9 2023 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 