Publications

Recent
[1] Manuela L. Bujorianu, Robert S. MacKay: Exponential Ergodicity of Time-Inhomogeneous Markovian Models
[2] Manuela L. Bujorianu, Rafael Wisniewski: Safety Analysis of Stochastic Hybrid Systems. Automatica.
[3] Manuela L. Bujorianu, Rafael Wisniewski: Bisimulation Preserving Stochastic Barrier Certificates
[4] Manuela L. Bujorianu. Multi-agent stochastic hybrid systems.


Books
[1] Bujorianu, L. M. (2012). Stochastic Reachability for Hybrid Systems. Springer, Communications and Control Engineering, ISBN 978-1-4471-2794-9.
[2] Bujorianu, L.M., Bortolussi, L., Pola, G. (2013): Proceedings of Hybrid Autonomous Systems Workshop. Electronic Proceedings in Theoretical Computer Science ISSN: 2075-2180.
[3] Manuela L. Bujorianu and Michael Fisher (Editors) (2010): “Formal Methods in Aerospace Workshop” Proceedings Electronic Proceedings in Theoretical Computer Science, 2010, Vol. 20, ISSN: 2075- 2180.


Journals and Book Chapters
[1] Wisniewski, R., Bujorianu, L.M. Safety of Stochastic Systems: An Analytic and Computational Approach. accepted to IFAC Journal Automatica.
[2] Manuela L. Bujorianu, Rafael Wisniewski, Evangelos Boulougouris. Stochastic Safety for Markov Chains. IEEE Control Systems Letters, Volume: 5 , Issue: 2 pp. 427-432, April 2021.
[3] Wisniewski, R., Bujorianu, L.M., & Sloth, C. p-Safe Analysis of Stochastic Hybrid Processes. IEEE & Trans. Aut. Control Volume: 65, Issue: 12, pp. 5220-5235, December 2020.
[4] Bujorianu, L. M. (2019). CPS Dependability Framework Based on Inhomogeneous Stochastic Hybrid Systems. In: Chamberlain R., Taha W., Törngren M. (eds) Cyber Physical Systems. Model-Based Design. CyPhy 2018, WESE 2018. Lecture Notes in Computer Science, vol 11615. Springer, pp. 134-153.
[5] Victor Bolbot, Gerasimos Theotokatos, Manuela L. Bujorianu et al. (2018). Vulnerabilities and safety assurance methods in Cyber-Physical Systems: A comprehensive review. Journal: Reliability Engineering and System Safety.
J.Reliability Engineering and System Safety. Vol 182, pp. 179-193.
[6] Manuela L. Bujorianu (2018): Towards a Modelling Language for Distributed Control of Cyber-Physical Systems. IFAC NecSys 2018 Elsevier Press, Vol. 51, Issue 23, pp. 432-437.
[7] Rafael Wisniewski, Christoffer Sloth, Manuela Bujorianu and Nir Piterman (2016). Safety Verification of Piecewise-Deterministic Markov Processes, Proceeding Hybrid Systems Computation and Control HSCC, pp. 257-266.
[8] Manuela L. Bujorianu and Nir Piterman (2015). A Modelling Framework for Cyber-Physical System Resilience. Cyber Physical Systems. Design, Modeling, and Evaluation – 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings: pp. 67-82
[9] Manuela L. Bujorianu and Marius C. Bujorianu (2012). Contingent Hybrid Systems. In: Proceedings of Analysis and design of Hybrid Systems ADHS 2012, Elsevier Press, Vol. 45, Issue 9, pp. 442-447.
[10] Manuela L. Bujorianu, Michael Fisher and Corina Pasareanu (Editors) (2011). Formal Methods in Aerospace: Techniques from Logic, Mathematics and AI. Special Issue of ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE.
[11] Manuela L. Bujorianu and Marius C. Bujorianu (2011) State constrained reachability for stochastic hybrid systems. Nonlinear Analysis: Hybrid Systems, 5 (2). pp. 320-342.
[12] Manuela L. Bujorianu and Marius C. Bujorianu (2011). Stochastic Analysis for Non-sequitur Trajectories of Stochastic Hybrid Systems. ACM press, pp. 53-62.
[13] Manuela L. Bujorianu, Marius C. Bujorianu (2011). Interdisciplinary Modeling of Autonomous Systems Deployed in Uncertain Dynamic Environments. Lecture Notes in Electrical Engineering, Vol. 85, Part 4, pp. 337-349.
[14] Manuela L. Bujorianu, Marius C. Bujorianu and Howard Barringer (2009). A Formal Framework for User-centric Control of Multi-Agent Cyber-physical Systems. Lecture Notes in Artificial Intelligence Vol. 5405, pp. 97-116.
[15] Marius C. Bujorianu, Manuela L. Bujorianu (2009). Towards Formal Modeling of Communicating Autonomous Cyber-physical Systems. In Ewen Denney, Dimitra Giannakopoulou, Corina Pasareanu editors: Proceedings of the First NASA Formal Methods Symposium, pp. 176-180.
[16] Manuela L. Bujorianu and Marius C. Bujorianu (2009). State Constrained Reachability Analysis of Stochastic Hybrid Systems. In: Proceedings of Analysis and design of Hybrid Systems ADHS 2009, Elsevier Press, Vol. 42, Issue 17, pp. 168-173.
[17] Manuela L. Bujorianu, John Lygeros and Romanus Langerak (2008). Stochastic Reachability Analysis by Optimal Control. Lecture Notes in Computer Science, Vol. 4981, pp.610-613.
[18] Manuela L. Bujorianu, Marius C. Bujorianu and Henk A.P. Blom (2008). Approximate Abstractions of Stochastic Hybrid Systems. Proceedings 17th IFAC World Congress 2008, Elsevier Science Press, Vol. 41, Issue 2, pp.
8978-8983.
[19] Manuela L. Bujorianu, Marius C. Bujorianu and Romanus Langerak (2008). An Interpretation of Concurrent Hybrid Time Systems over Multi-clock System. Proceedings of 17th IFAC World Congress 2008, Elsevier Science Press, Vol. 41, Issue 2, pp. 3635-3640.
[20] Marius C. Bujorianu and Manuela L. Bujorianu (2007). An Integrated Specification Framework for Embedded Systems. Proceedings of the 5th IEEE International Conference on Software Engineering and Formal Methods – SEFM’07, IEEE Computer Society Press, pp. 161-172.
[21] Marius C. Bujorianu and Manuela L. Bujorianu (2007). Towards Hilbertian Formal Methods. Proceedings of Application of Concurrency to System Design ACSD’07, IEEE Computer Society Press, pp. 240-241.
[22] Manuela L. Bujorianu and John Lygeros (2006). Towards Stochastic Hybrid System Modeling. Lecture Notes in Control and Information Sciences, Vol. 337, pp. 3-30.
[23] Manuela L. Bujorianu and Marius C. Bujorianu (2006). A Model Checking Strategy for a Performance Measure of Fluid Stochastic Models. Lecture Notes in Computer Science, Vol. 4054, pp. 93-107.
[24] Manuela L. Bujorianu, Henk A.P. Blom and Holger Hermanns (2006). Functional Abstractions of Stochastic Hybrid Systems. In: 2nd IFAC Conf. on Analysis and Design of Hybrid Systems, ADHS 2006, Elsevier Press,
Vol. 39, Issue 5, pp. 160-165.
[25] Manuela L. Bujorianu, John Lygeros, and Marius C. Bujorianu (2005). Bisimulation for Stochastic Hybrid Systems. Lecture Notes in Computer Science, Vol. 3414, (2005): pp.198-216. ISSN 0302-9743 (Print) 1611-3349. (Online) ISBN 978-3-540-25108-8 DOI 10.1007/b106766
[26] Manuela L. Bujorianu (2004). Extended Stochastic Hybrid Systems and their Reachability Problem. Lecture Notes in Computer Science, Vol. 2993, pp. 234-249. ISSN 0302-9743 (Print) 1611-3349
[27] Giordano. Pola, Manuela L. Bujorianu, John Lygeros and Maria Di Benedetto (2003). Stochastic Hybrid Models: An Overview with Application to Air Traffic Management. In: 1st IFAC Conf. on Analysis and Design of Hybrid Systems, ADHS 2003. Elsevier Press, Vol. 36, Issue 6, pp. 45-50.
[28] Manuela L. Bujorianu and John Lygeros (2003). “Reachability Questions in Piecewise Deterministic Markov Processes”. Lecture Notes in Computer Science, Vol. 2623, pp.126-140.
[29] Manuela L. Bujorianu (2003) Capacities and Markov processes. Libertas Math., No. 24, pp. 201-210. 60J45 (31C15 60J45) ISSN 0278-5307
[30] Manuela L. Bujorianu: “Some Results in the Lattice of Capacities on a non-Hausdorff Space”. Studii si Cercetari Stiintifice, Mathematics Series, No. 12 (2002), pp. 31-50. 31C15 (31C45) ISSN 1224-2519


Conferences Papers
[1] Manuela L. Bujorianu, Rafael Wisniewski, Evangelos Boulougouris (2021): p-Safety and Stability. IFAC 24th
International Symposium on Mathematical Theory of Networks and Systems.
[2] Rafael Wisniewski, Manuela L. Bujorianu (2020): Anomaly Detection of Markov Processes with Evolution Equation
and Moments. IFAC WC 2020.
[3] Manuela L. Bujorianu, Rafael Wisniewski (2019): New insights on p-safety, CONFERENCE ON DECISION
AND CONTROL CDC 2019, IEEE Computer Society Press.
[4] Bujorianu, L.M., Wisniewski, R. (2019). New insights on p-safety. 58th IEEE Annual Conference on Decision
and Control, to appear.
[5] Wisniewski, R., Bujorianu, L.M. (2017). Stochastic safety analysis of stochastic hybrid systems. 56th IEEE
Annual Conference on Decision and Control, 2390–2395.
[6] Manuela L. Bujorianu (2015). Functional Model Reduction of Inhomogeneous Markov Chains. IEEE European
Control Conference 2015.
[7] Manuela L. Bujorianu and Robert S. MacKay (2014). Complex systems techniques for cyber-physical systems:
position paper. CyPhy ’14 Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling,
and Evaluation of Cyber-Physical Systems, pp. 27-30.
[8] Manuela L. Bujorianu, Robert S. MacKay (2014). Sensitivity Analysis of Inhomogeneous Markov chains in dynamical
environments. 21st International Symposium on Mathematical Theory of Networks and Systems.
[9] Manuela L. Bujorianu and Robert S. MacKay (2013). Resilience of Inhomogeneous Markov Chains. European
Conference on Complex Systems 2013.
[10] Manuela L. Bujorianu and Marius Bujorianu (2013). Coordination Model for Ultra-Large Scale Systems of Systems. Electronic Proceedings of Theoretical Computer Science.
[11] Manuela L. Bujorianu and Marius Bujorianu (2011). Systems Theory in an Analytic Setting. In: Proceedings of CONFERENCE ON DECISION AND CONTROL CDC 2011, IEEE Computer Society Press.
[12] Manuela L. Bujorianu (2011). How Good are the Stochastic Analysis Methods for Stochastic Reachability. In:
Proceedings of CONFERENCE ON DECISION AND CONTROL CDC 2011, IEEE Computer Society Press.
[13] Manuela L. Bujorianu: “Stochastic Reachability (2011). From Markov Chains to Stochastic Hybrid Systems. In:
Proceedings of CONFERENCE IFAC World Congress IFAC WC 2011. Elsevier Vol. 44 Issue 1, pp. 4534-4539.
[14] Manuela L. Bujorianu and Marius Bujorianu (2011). A Theory of Symbolic Dynamics for Hybrid Systems. In:
Proceedings of CONFERENCE IFAC World Congress IFAC WC 2011. Elsevier Vol. 44 Issue 1, pp. 8754-8759.
[15] Manuela L. Bujorianu (2010). Variational inequalities for stochastic reachability. In: Proceedings of CONFERENCE
ON DECISION AND CONTROL CDC 2010, IEEE Computer Society Press.
[16] Manuela L. Bujorianu and Marius C. Bujorianu (2009). Co-Evolution Preserving Abstract Model Reduction of
Uncertain Cyber-Physical Systems. 6th International Conference on Informatics in Control, Automation, and
Robotics 2009, ISBN: 978-989-8111-99-9
[17] Manuela L. Bujorianu and Hong Wang (2009). Large deviations methods for stochastic reachability. In: Proceedings
of CONFERENCE ON DECISION AND CONTROL CDC 2009, IEEE Computer Society Press.
[18] Manuela L. Bujorianu (2009). Dealing with stochastic reachability. In: Proceedings of CONFERENCE ON DECISION
AND CONTROL CDC 2009, IEEE Computer Society Press.
[19] Manuela L. Bujorianu and Henk A.P. Blom (2009). Stochastic Reachability as an Exit Problem. In: Proceedings of
17th Mediterranean Conference on Control and Automation, 2009, IEEE Computer Society Press, pp.1026-1031.
[20] Marius C. Bujorianu, Manuela L. Bujorianu, and Howard Barringer (2009). A unifying specification logic for cyber-physical systems. In: Proceedings of 17th Mediterranean Conference on Control and Automation, 2009, IEEE Computer Society Press, pp. 1166-1171.
[21] Manuela L. Bujorianu and Joost-Pieter Katoen (2008). Symmetry reduction for stochastic hybrid systems. Proceedings of IEEE 47th CONFERENCE ON DECISION AND CONTROL (CDC’2008), pp. 233-238, IEEE Computer Society Press.
[22] Marius C. Bujorianu and Manuela L. Bujorianu (2008). A Randomized Model for Communicating Embedded Systems. Proceedings of the 16th Mediterranean Conference on Control and Automation, IEEE Press, pp. 1435-1440.
[23] Manuela L. Bujorianu and Marius C. Bujorianu (2008). Bisimulation, Logic and Mobility for Markovian Systems.
In: Proc of Eighteenth International symposium on Mathematical Theory of Networks and Systems (MTNS2008), SIAM Publishing House.
[24] Manuela L. Bujorianu and John Lygeros (2007). New Insights on Stochastic Reachability. In Proceedings of 46th IEEE Conference Decision and Control, CDC 2007, pp 6172 – 6177. IEEE Computer Society Press.
[25] Manuela L. Bujorianu and Marius C. Bujorianu (2007). Topological Superposition of Abstractions of Stochastic
Processes. Proceedings of 15th Mediterranean Conference on Control and Automation MED’07, pp. 1 – 6, . IEEE Computer Society Press.
[26] Manuela L. Bujorianu and Marius C. Bujorianu (2006) Viewpoint Development of Stochastic Hybrid Systems. Proceedings of 45th IEEE Conference Decision and Control, 2006 CDC ’06. pp 6241 – 6246. IEEE Computer Society Press.
[27] Manuela L. Bujorianu (2005). A Statistical Inference Method for the Stochastic Reachability Analysis. Proceedings of 44th IEEE Conference Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC’05. pp. 8088-8093. IEEE Computer Society Press.
[28] Manuela L. Bujorianu, Marius C. Bujorianu and John Lygeros (2005). Abstractions of Stochastic Hybrid Systems. In: 44th IEEE Conference Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC ’05.
pp. 4712 – 4717. IEEE Computer Society Press.
[29] Manuela L. Bujorianu, Marius C. Bujorianu and Savi Maharaj (2005). Distributed Stochastic Hybrid Systems. In Horacek, P., Simandl, M. and Zitek, P(Editors):. Proceedings of 16th IFAC World Congress 2005, Elsevier Science Press, Vol. 38, Issue 1, pp. 158-163.
[30] Manuela L. Bujorianu, Marius C. Bujorianu and John Lygeros (2005). True Concurrent Stochastic Processes. In Horacek, P., Simandl, M. and Zitek, P. (Editors): Proceedings of 16th IFAC World Congress 2005, Elsevier Science
Press, Vol. 38, Issue 1, pp.260-265.
[31] Manuela L. Bujorianu and John Lygeros (2004). Theoretical Foundations of Stochastic Hybrid Systems. Proceedings Sixteenth International Symposium on Mathematical Theory of Networks and Systems MTNS 2004.
[32] Manuela L. Bujorianu and John Lygeros (2004). General Stochastic Hybrid Systems: Modeling and OptimalControl. In: 43th IEEE Conference Decision and Control, 2004 CDC ’04. pp.1872 – 1877 Vol.2. IEEE Computer Society Press.


Other Conference Proceedings (peer reviewed)
[1] Gkerekos, C., Theotokatos, G., Bujorianu, L., Boulougouris, E., Vassalos, D., Carballedo, B., McCluskey, S., Sloan, R. Coats, T. (2019). Digitalisation in the UK maritime sector: a stakeholders’ pulse check. Marine Industry 4.0. Nov 2019. 7 p.
[2] Manuela L. Bujorianu and Marius C. Bujorianu (2008). A Stochastic Agent Logic and its Model Checking. Pre-proceedings of CLIMA’ 2008, edited by the JELIA conference (satellite workshop).
[3] Manuela L. Bujorianu and John Lygeros (2004). General Stochastic Hybrid Systems. 12th Mediterranean Conference on Control and Automation MED’04, 2004.
[4] Manuela L. Bujorianu and Marius C. Bujorianu: “Formal Foundation of Constructive Stochastic Analysis: A Linear Logic Approach”. In N.J. Cutland A. Berarducci, editor, NS 2002 Non-standard Methods and Applications
in Mathematics, page 14, Pisa, Italy, June 2002. AMS-UMI, University of Pisa Mini-symposion ”Reuniting the Antipodes II: Constructive and Nonstandard Views of the Continuum”. Reviewed Contributions to Conference Proceedings published as Research Reports
[1] Manuela L. Bujorianu and Marius C. Bujorianu (2004). Formal Engineering Stochastic Hybrid with UML. In: J. Jurjens (ed.) Proc. Of CSD-UML’04 3rd International Workshop on Critical Systems Development with UML,
October 2004. Technical University Munich Research Report.
[2] Manuela L. Bujorianu, Marius C. Bujorianu and Savi Maharaj (2002). Toward a Formalization of Viewpoints Testing. In Rob Hierons and Thierry Jeron (eds) Proceedings Formal Approaches to Testing of Software
FATES’02, pp. 137-151.
[3] Marius C. Bujorianu and Manuela L. Bujorianu (2001). On Hilbert Machines Quantitative Computational Model. In: A. Di Pierro and H. Wiklicky, eds QAPL’01 ACM Workshop on Quantitative Aspects of Programming Laguages, September 3 – 7, 2001 – Firenze, Italy, University of Pisa research report.
[4] Marius C. Bujorianu and Manuela L. Bujorianu (2001) Lattice Theoretic Topologies for Hybrid Systems. 5th Galway Colloquium on General Topology, June 27 – 29, University of Hull.


Research reports
[1] Manuela L. Bujorianu, John Lygeros, William Glover and Giordano Pola: “A Stochastic Hybrid System Modelling Framework”. Hybridge IST-2001-32460 Project. Deliverable D1.2
[2] Manuela L. Bujorianu and John Lygeros: “Reachability Issues for Stochastic Hybrid Processes” Project IST-2001-38314 COLUMBUS, Deliverable DSHS1.
[3] Manuela L. Bujorianu and John Lygeros: “Theoretical Foundations of General Stochastic Hybrid Processes” Project IST-2001-38314 COLUMBUS, Deliverable DSHS2.