Items where Author is "Bujorianu, M.C."

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

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.