You are here: MIMS > EPrints
MIMS EPrints

Items submitted by Dr. Manuela Luminita BUJORIANU

Click here to see user's record.

Number of items submitted by this user: 10

2009.19: Marius Bujorianu, Manuela Bujorianu and Howard Barringer (2009) A Formal Framework for User-centric Control of Multi-Agent Cyber-physical Systems. In: Michael Fisher, Fariba Sadri and Michael Thielscher, (eds). Proceeding of the 9th CLIMA workshop. Lecture Notes in Computer Science. Springer Verlag, Berlin, Germany.

2009.24: M. L. Bujorianu and J. P. Katoen (2008) Symmetry reduction for stochastic hybrid systems. In: 47th IEEE Conference on Decision and Control 2008, 9-11 Dec 2008, Cancun, Mexico.

2010.49: M.L. Bujorianu (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.

2010.50: M.L. Bujorianu and Hong Wang (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.

2010.51: M.L. Bujorianu and M. Fisher (2009) Workshop on Formal Methods for Aerospace (FMA).

2010.52: M.L. Bujorianu and M.C. Bujorianu (2009) State constrained reachability for stochastic hybrid systems. In: Proceedings of Analysis and Design of Hybrid Systems. IFAC, Elsevier, Zaragoza, Spain.

2010.53: M.C. Bujorianu and M.L. Bujorianu (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.

2011.46: L.M. Bujorianu and M.C. Bujorianu (2011) State constrained reachability for stochastic hybrid systems. Nonlinear Analysis: Hybrid Systems, 5 (2). pp. 320-342. ISSN 1751-570X

2012.43: L. M. Bujorianu (2012) Stochastic Reachability Analysis of Hybrid Systems. Communications and Control Engineering. Springer, London, UK. ISBN 978-1-4471-2794-9

2012.44: L.M. Bujorianu, M. Fisher and C. Pasareanu, ed. (2011) Special Issue: Formal Methods in Aerospace. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 63 (1). Springer.