Items where Author is "Bujorianu, M.C."
Article
Bujorianu, L.M. and Bujorianu, M.C. (2011) State constrained reachability for stochastic hybrid systems. Nonlinear Analysis: Hybrid Systems, 5 (2). pp. 320-342. ISSN 1751-570X
Book Section
Bujorianu, M.L. and Bujorianu, M.C. (2009) State constrained reachability for stochastic hybrid systems. In: Proceedings of Analysis and Design of Hybrid Systems. IFAC, Elsevier, Zaragoza, Spain.
Bujorianu, M.C. and Bujorianu, M.L. (2009) Towards Co-Engineering Communicating Autonomous Cyber-physical Systems. In: Proceedings of the First NASA Formal Methods Symposium. NASA Ames Research Center, Moffett Field, California, pp. 176-180.