Manuela  Luminita  BUJORIANU

 

Centre for Interdisciplinary Computational and Dynamical Analysis

 

               Publications                      

 

 

.

 

Publication List in chronological order

 

Also available sorted by category

 

.

 

 

 

 

.

 

[1]                                 Manuela L. Bujorianu, Marius C. Bujorianu: “Interdisciplinary Modeling of Autonomous Systems Deployed in Uncertain Dynamic Environments” 2010, To appear in LNEE series.

[2]                                 Manuela L. Bujorianu: “Variational Inequalities for Stochastic Reachability” 2010.  In: Proc. of CDC 2010, IEEE Computer Society Press.

[3]                                 Manuela L. Bujorianu, Michael Fisher, Corina Pasareanu (Editors):  “Formal Methods in Aerospace: Techniques from Logic, Mathematics and AI”.  A Special Issue of ANNALS OF MATHEMATICS AND ARTIFIAL INTELLIGENCE, to appear 2010.

[4]                                 Manuela L. Bujorianu, Michael Fisher (Editors): “Formal Methods in Aerospace Workshop” Proceedings Electronic Proceedings in Theoretical Computer Science, 2010, Vol. 20, ISSN: 2075-  2180

[5]                                 Marius C. Bujorianu, Manuela L. Bujorianu:  “Towards Formal Modeling of Communicating Autonomous Cyber-physical Systems” 2009. Ewen Denney, Dimitra Giannakopoulou, Corina Pasareanu editors: Proceedings of the First Nasa Formal Methods Symposyum, pp. 176-180.

[6]                                 Manuela L. Bujorianu, Marius C. Bujorianu: “Co-Evolution Preserving Abstract Model Reduction of Uncertain Cyber-Physical Systems” 2009. 6th International Conference on Informatics in Control, Automation, and Robotics 2009.

[7]                                 Manuela L. Bujorianu, Marius C. Bujorianu: “State Constrained Reachability Analysis of Stochastic Hybrid Systems” 2009. In Proc of Analysis and design of Hybrid Systems ADHS 2009, Elsevier Press, pp.168-173.

[8]                                 Manuela L. Bujorianu and Hong Wang: “Large deviations methods for stochastic reachability” 2009. In: Proc. of CDC 2009, IEEE Computer Society Press.

[9]                                 Manuela L. Bujorianu: “Stochastic reachability as an optimal stopping problem” 2009. In: Proc . of CDC 2009, IEEE Computer Society Press.

[10]                             Manuela L. Bujorianu and Henk A.P. Blom: “ Stochastic Reachability as an Exit Problem ” 2009.  In: 17th Mediterranean Conference on Control and Automation, 2009, IEEE Computer Society Press, pp.1026-1031.

[11]                             Marius C. Bujorianu, Manuela L. Bujorianu, and Howard Barringer: “A unifying specification logic for cyber-physical systems” 2009.  In: 17th Mediterranean Conference on Control and Automation, 2009, IEEE Computer Society  Press, pp. 1166-1171.

[12]                             Manuela L. Bujorianu and Joost-Piter Katoen: “ Symmetry reduction for stochastic hybrid systems” 2008. In: Proc. of IEEE 47th Conference on Decision and Control (CDC’2008), pp. 233-238.

[13]                             Marius C. Bujorianu and Manuela L. Bujorianu: “A Randomized Model for Communicating Embedded Systems” 2008. Proceedings of the 16th Mediterranean Conference on Control and Automation, IEEE Press, pp. 1435-1440.            

[14]                             Manuela L. Bujorianu, Marius C. Bujorianu and Henk A.P. Blom: “Approximate Abstractions of Stochastic Hybrid Systems” 2008. Proceedings 17th IFAC World Congress 2008, Elsevier Science Press.

[15]                             Manuela L. Bujorianu, John Lygeros and Romanus Langerak:  “Stochastic Reachability Analysis by Optimal Control” 2008. In: M.Egerstedt and B. Mishra  Proceedings 11th International Conference on Hybrid Systems: Computation and Control (HSCC'08), pp.610-613,  Springer LNCS 4981.

[16]                             Manuela L. Bujorianu and Marius C. Bujorianu: “ Bisimulation, Logic and Mobility for Markovian Systems” 2008. In: Proc of Eighteenth International symposium on Mathematical Theory of Networks and Systems (MTNS2008), SIAM Publishing House.

[17]                             Manuela L. Bujorianu, Marius C. Bujorianu and Romanus Langerak “ An Interpretation of Concurrent Hybrid Time Systems over Multi-clock  System” 2008. Proceedings 17th IFAC World Congress 2008, Elsevier Science Press.

[18]                             Marius C. Bujorianu and Manuela L. Bujorianu: “An Integrated Specification Framework for Embedded Systems” 2007. Proceedings of the 5th IEEE International Conference on Software Engineering and Formal Methods – SEFM’07, IEEE Computer Society Press, pp. 161-172.

[19]                             Marius C. Bujorianu and Manuela L. Bujorianu: “Towards Hilbertian Formal Methods” 2007. Proceedings of Application of Concurrency to System Design ACSD’07, IEEE Computer Society Press, pp. 240-241

[20]                             Manuela L. Bujorianu and John Lygeros: “New Insights on Stochastic Reachability” 2007. In: 46th IEEE Conference Conference Decision and Control, 2007 CDC '06. pp 6172 - 6177. IEEE Computer Society Press.

[21]                             Manuela L. Bujorianu and Marius C. Bujorianu: “Topological Superposition of Abstractions of Stochastic Processes” 2007. 15th Mediterranean Conference on Control and Automation MED’07, pp. 1 – 6.

[22]                             Manuela L. Bujorianu and John Lygeros: “Towards Stochastic Hybrid System Modeling” 2006. Springer Verlag Lecture Notes in Control and Information Sciences 337.  pp. 3-30.

[23]                             Manuela L. Bujorianu and Marius C. Bujorianu:  “A Model Checking Strategy for a Performance Measure of Fluid Stochastic Models” 2006.  In: Third European Performance Engineering Workshop (EPEW), 2006, pp. 93-107. LNCS 4054. Springer Verlag.

[24]                             Manuela L. Bujorianu, Henk A.P. Blom and Holger Hermanns: “Functional Abstractions of Stochastic Hybrid Systems” 2006. In: 2nd IFAC Conf. on Analysis and Design of Hybrid Systems, ADHS 2006, Elsevier Press.

[25]                             Manuela L. Bujorianu and Marius C. Bujorianu:  “Viewpoint Development of Stochastic Hybrid Systems” 2006. In: 45th IEEE Conference on Decision and Control, 2006 CDC '06. pp 6241 - 6246. IEEE Computer Society Press.

[26]                             Manuela L. Bujorianu, John Lygeros and  Marius C. Bujorianu: “Bisimulation for Stochastic Hybrid Systems” 2005. In: M. Morari and L. Thiele Eds. Proceedings Hybrid Systems: Computation and Control, 8th International Workshop, HSCC 2005, pp.198-216, Springer LNCS vol. 3414

[27]                             Manuela L. Bujorianu: “A Statistical Inference Method for the Stochastic Reachability Analysis” 2005. In: 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:  “Abstractions of Stochastic Hybrid Systems” 2005. 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:  “Distributed Stochastic Hybrid Systems” 2005. In Horacek, P., Simandl, M. and Zitek, P., Proceedings of IFAC 2005, Elsevier Science Press.

[30]                             Manuela L. Bujorianu, Marius C. Bujorianu and John Lygeros: “True Concurrent Stochastic Processes” 2005.  In Horacek, P., Simandl, M. and Zitek, P., 16th IFAC World Congress 2005, Elsevier Science Press.

[31]                             Manuela L. Bujorianu: “Extended Stochastic Hybrid Systems and their Reachability Problem” 2004. In: Proceedings Hybrid Systems: Computation and Control, 7th International Workshop, HSCC 2004, pp. 234-249, Springer LNCS vol. 2993.

[32]                             Manuela L. Bujorianu: “Capacities and Markov Processes” 2004. Libertas Math., No. 24, pp. 201-210.

[33]                             Manuela L. Bujorianu and John Lygeros:  “Theoretical Foundations of Stochastic Hybrid Systems” 2004. Proceedings Sixteenth International Symposium on Mathematical Theory of Networks and Systems MTNS 2004

[34]                             Manuela L. Bujorianu and John Lygeros:  “General Stochastic Hybrid Systems: Modeling and Optimal Control” 2004. In: 43th IEEE Conference Decision and Control, 2004 CDC '04. pp 1872 - 1877 Vol.2. IEEE Computer Society Press.

[35]                             Manuela L. Bujorianu and John Lygeros: “ General Stochastic Hybrid Systems” 2004. 12th Mediterranean Conference on Control and Automation MED’04, 2004.

[36]                             Manuela L. Bujorianu and Marius C. Bujorianu: “ Formal Engineering Stochastic Hybrid with UML” 2004. 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.

[37]                             Manuela L. Bujorianu and John Lygeros: “Reachability Questions in Piecewise Deterministic Markov Processes” 2003. In O. Maler, A. Pnueli Eds., Proceedings Hybrid Systems: Computation and Control, 6th International Workshop, HSCC 2003, Prague, Czech Republic, April 2003, Lecture Notes in Computer Science 2623, pp.126-140.

[38]                             Giordano. Pola, Manuela L. Bujorianu, John Lygeros and Maria Di Benedetto: “Stochastic Hybrid Models: An Overview with Application to Air Traffic Management” 2003. In: 1st IFAC Conf. on Analysis and Design of Hybrid Systems, ADHS 2003, pp. 45-50.

[39]                             Manuela L. Bujorianu: “Some Results in the Lattice of Capacities on a non-Hausdorff Space” 2002. Studii si Cercetari Stiintifice, Mathematics Series, No. 12 (2002), pp. 31-50.

[40]                             Manuela L. Bujorianu, Marius C. Bujorianu and Savi Maharaj: “Toward a Formalization of Viewpoints Testing” 2002.  In Rob Hierons and Thierry Jeron (eds) Proceedings Formal Approaches to Testing of Software FATES’02, pp. 137-151.  

[41]                             Marius C. Bujorianu and Manuela L. Bujorianu: “On Hilbert Machines Quantitative Computational Model” 2001.  In . A. Di Pierro and H. Wiklicky, eds QAPL'01 ACM Workshop on Quantitative Aspects of Programming Laguages, September 3 - 7, 2001 -- Firenze, Italy.

[42]                             Marius C. Bujorianu and Manuela L. Bujorianu: “Lattice Theoretic Topologies for Hybrid Systems ” 2001: 5th Galway Colloquium on General Topology , June 27 - 29, University of Hull

 

Further items will be added in due course!

 

.

 

 

 

 

 

 

 

 

 

 

 

                                               

 

 

 

 

 

You are here: Mathematics > Staff members > Dr. Manuela Bujorianu > Research