Follow
Manuela Bujorianu
Title
Cited by
Cited by
Year
Stochastic hybrid models: An overview
G Pola, ML Bujorianu, J Lygeros, MD Di Benedetto
IFAC Proceedings Volumes 36 (6), 45-50, 2003
1982003
Toward a general theory of stochastic hybrid systems
ML Bujorianu, J Lygeros
Stochastic hybrid systems, 3-30, 2006
1572006
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
1352004
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
1352004
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
1342006
Extended stochastic hybrid systems and their reachability problem
ML Bujorianu
International Workshop on Hybrid Systems: Computation and Control, 234-249, 2004
1152004
Reachability questions in piecewise deterministic Markov processes
ML Bujorianu, J Lygeros
International Workshop on Hybrid Systems: Computation and Control, 126-140, 2003
1052003
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
872019
Bisimulation for general stochastic hybrid systems
ML Bujorianu, J Lygeros, MC Bujorianu
International Workshop on Hybrid Systems: Computation and Control, 198-214, 2005
752005
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
302009
Stochastic safety analysis of stochastic hybrid systems
R Wisniewski, ML Bujorianu
2017 IEEE 56th Annual Conference on Decision and Control (CDC), 2390-2395, 2017
192017
New insights on stochastic reachability
ML Bujorianu, J Lygeros
2007 46th IEEE Conference on Decision and Control, 6172-6177, 2007
192007
Theoretical foundations of stochastic hybrid systems
ML Bujorianu, J Lygeros
Mathematical theory of Networks and Systems Conference, Leuwen, BG, 2004
162004
Theoretical foundations of stochastic hybrid systems
ML Bujorianu, J Lygeros
Mathematical theory of Networks and Systems Conference, Leuwen, BG, 2004
162004
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
132006
A stochastic hybrid system modeling framework
ML Bujorianu, J Lygeros, W Glover, G Pola
HYBRIDGE D1 2, 2003
132003
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
122008
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
112008
Abstractions of stochastic hybrid systems
ML Bujorianu, MC Bujorianu, J Lygeros
Proceedings of the 44th IEEE Conference on Decision and Control, 4712-4717, 2005
92005
Distributed Stochastic Hybrid Systems
ML Bujorianu, MC Bujorianu, S Maharaj
Proceedings of IFAC, 378-378, 2005
92005
The system can't perform the operation now. Try again later.
Articles 1–20