The Library
Browse by Warwick Author
Up a level |
Number of items: 18.
Book Item
Bujorianu, Manuela and Bujorianu, Marius C. (2011) Interdisciplinary modeling of autonomous systems deployed in uncertain dynamic environments. In: Informatics in Control Automation and Robotics. Berlin: Springer, pp. 337-349. ISBN 9783642197291
Bujorianu, Marius C. and Bujorianu, Manuela (2009) Towards co-engineering communicating autonomous cyber-physical systems. In: Denney, Ewen and Giannakopoulou, Dimitra and Pasareanu, Corina, (eds.) Proceedings of the First NASA Formal Methods Symposium. NASA, pp. 176-180.
Conference Item
Bujorianu, Manuela and MacKay, Robert S. (2014) Complex systems techniques for cyber-physical systems. In: CyPhy '14 , Berlin, 14 - 17 Apr 2014 . Published in: CyPhy '14 Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems Pages 27-30 pp. 27-30. ISBN 9781450328715 . doi:10.1145/2593458.2593460
Bujorianu, Manuela (2010) Variational inequalities for the stochastic reachability problem. In: 49th IEEE Conference on Decision and Control (CDC), 2010, Atlanta, GA, 15-17 Dec 2010. Published in: Design and Control pp. 1854-1859. doi:10.1109/CDC.2010.5718059 ISSN 0743-1546.
Bujorianu, Manuela and Bujorianu, Marius C. (2009) Co-evolution preserving model reduction for uncertain cyber-physical systems - towards a framework for nanoscience. In: ICINCO 2009, Milan, Italy, 2-5 Jul 2009. Published in: ICINCO 2009, Proceedings of the 6th International Conference on Informatics in Control, Automation and Robotics - Signal Processing, Systems Modeling and Control pp. 39-46. ISSN 9783642197307 .
Bujorianu, Manuela and Wang, Hong (2009) Dealing with stochastic reachability. In: 48th IEEE Conference on Decision and Control, Shanghai, 15-18 Dec 2009. Published in: Proceedings of the 48th IEEE Conference on Decision and Control and 28th Chinese Control Conference pp. 2939-2940. doi:10.1109/CDC.2009.5400635 ISSN 0191-2216.
Bujorianu, Manuela and Wang, Hong (2009) Large deviation methods for stochastic reachability. In: 48th IEEE Conference on Decision and Control, Shanghai, 15-18 Dec 2009. Published in: Proceedings of the 48th IEEE Conference on Decision and Control and 28th Chinese Control Conference pp. 3932-3937. doi:10.1109/CDC.2009.5400635 ISSN 0191-2216.
Bujorianu, Manuela and Bujorianu, Marius C. (2009) State constrained reachability analysis of stochastic hybrid systems. In: 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'09), Zaragoza, Spain, 16-18 Sep 2009. Published in: Nonlinear Analysis: Hybrid Systems, Vol.5 (No.2). pp. 320-342. doi:10.1016/j.nahs.2010.10.008 ISSN 1878-7460.
Bujorianu, Manuela and Blom, H. A. P. (2009) Stochastic reachability as an exit problem. In: 17th Mediterranean Conference on Control and Automation, 2009. MED '09, Thessaloniki, Greece, 24-26 Jun 2009. Published in: 17th Mediterranean Conference on Control & Automation June 24-26, 2009, Makedonia Palace, Thessaloniki, Greece pp. 1026-1031. doi:10.1109/MED.2009.5164681 ISSN 9781424446841.
Bujorianu, Marius C., Bujorianu, Manuela and Barringer, H. (2009) A unifying specification logic for cyber-physical systems. In: 17th Mediterranean Conference on Control and Automation, 2009. MED '09, Thessaloniki, Greece, 24-26 Jun 2009. Published in: 17th Mediterranean Conference on Control & Automation June 24-26, 2009, Makedonia Palace, Thessaloniki, Greece pp. 1166-1171. doi:10.1109/MED.2009.5164681 ISSN 9781424446841.
Bujorianu, Manuela, Bujorianu, Marius C. and Blom, H. A. P. (2008) Approximate abstractions of stochastic hybrid systems. In: 17th IFAC World Congress, 2008, COEX, Korea, South, 6-11 Jul 2008. Published in: Proceedings of the 17th IFAC World Conference doi:10.3182/20080706-5-KR-1001.4232 ISSN 9783902661005.
Bujorianu, Manuela and Bujorianu, Marius C. (2008) Bisimulation, logic and mobility for Markovian systems. In: Eighteenth International symposium on Mathematical Theory of Networks and Systems (MTNS2008) , Virginia, USA, 28 Jul - 2 Aug 2008. Published in: Proceedings of the 18th International Symposium on Mathematical Theory of Networks & Systems, 28 July - 1 August 2008, Blacksburg, Virginia, USA
Bujorianu, Manuela, Lygeros, John and Langerak, Rom (2008) Reachability analysis of stochastic hybrid systems by optimal control. In: 11th International Conference on Hybrid Systems: Computation and Control : HSCC 2008, St. Louis, USA, 22-24 Apr 2008. Published in: Lecture Notes in Computer Science, Vol.4981 pp. 610-613. doi:10.1007/978-3-540-78929-1-46 ISSN 0302-9743.
Bujorianu, Manuela and Katoen, Joost-Piter (2008) Symmetry reduction for stochastic hybrid systems. In: 47th IEEE Conference on Decision and Control, 2008. CDC 2008., Cancun, Mexico, 9-11 Dec 2008. Published in: 47th IEEE Conference on Decision and Control December 9-11, 2008, Cancun, Mexico pp. 233-238. doi:10.1109/CDC.2008.4739086 ISSN 9781424431236.
Bujorianu, Manuela, Bujorianu, Marius C. and Langerak , Romanus (2008) An interpretation of concurrent hybrid time systems over multi-clock systems. In: 17th IFAC World Congress, 2008, COEX, Korea, South, 2008. Published in: Proceedings of the 17th IFAC World Congress, 2008, Vol.17 (No.1). pp. 3635-3640. doi:10.3182/20080706-5-KR-1001.00614 ISSN 1474-6670.
Bujorianu, Marius C. and Bujorianu, Manuela (2008) A randomized model for communicating embedded systems. In: 16th Mediterranean Conference on Control and Automation, 2008, Conference Center Ajaccio-Corsica, France, 25-27 Jun 2008. Published in: 2008 Mediterranean Conference on Control & Automation June 25-27, 2008, Conference Center Ajaccio-Corsica, France : conference proceedings pp. 1435-1440. doi:10.1109/MED.2008.4602263 ISSN 9781424425051.
Book
Bujorianu, Manuela and Fisher, Michael, eds. (2009) Proceedings FM-09 workshop on formal methods for aerospace Eindhoven, The Netherlands, 3rd November 2009. Australia: Electronic Proceedings in Theoretical Computer Science.
Journal Item
Bujorianu, Manuela, Fisher, Michael and Pasareanu, Corina (2011) Preface. Annals of Mathematics and Artificial Intelligence, Vol.63 (No.1). pp. 1-3. ISSN 1012-2443 doi:10.1007/s10472-011-9273-7
This list was generated on Fri Mar 29 05:38:51 2024 GMT.