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

MIMS Preprint

Bujorianu, M.L. and Fisher, M. (2009) Workshop on Formal Methods for Aerospace (FMA). [MIMS Preprint]

Book Section

Bujorianu, M.L. (2009) Dealing with stochastic reachability. In: Proceedings of the 48th IEEE Conference on Decision and Control, CDC 2009. IEEE Control Systems Society, Shanghai, China, pp. 2935-2940.

Bujorianu, M.L. and Wang, Hong (2009) Large deviation methods for stochastic reachability. In: Proceedings of the 48th IEEE Conference on Decision and Control, CDC 2009. IEEE Control Systems Society, Shanghai, China, pp. 3932-3937.

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.