Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Number of items: 28.

Article

Bujorianu, Manuela L. and Lygeros, John and Bujorianu, Marius C. (2005) Bisimulation for general stochastic hybrid systems. Hybrid Systems: Computation and Control, Lectur . pp. 198-216.

Book Section

Bujorianu, L.M. and Lygeros, J. (2006) Toward a General Theory of Stochastic Hybrid Systems. In: Stochastic Hybrid Systems: Theory and Safety Critical Applications. Lecture Notes in Control and Information Sciences, 337 . Springer Verlag, Berlin, pp. 3-30. ISBN 9783540334668

Conference or Workshop Item

Bujorianu, L.M. and Lygeros, J. and Langerak, R. (2008) Reachability Analysis of Stochastic Hybrid Systems by Optimal Control. In: 11th International Workshop, HSCC 2008, 22-24 Aril 2008, St. Louis, USA (pp. pp. 610-613).

Bujorianu, L.M. (2005) A statistical inference method for the stochastic reachability analysis. In: 44th IEEE Conference on Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC '05, Seville, Spain (pp. pp. 8088-8093).

Bujorianu, L.M. and Bujorianu, M. C. and Lygeros, J. (2005) Abstractions of stochastic hybrid systems. In: 44th IEEE Conference on Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC, Seville, Spain (pp. pp. 4712-4717).

Bujorianu, L.M. and Bujorianu, M.C. (2006) Model Checking for a Class of Performance Properties of Fluid Stochastic Models. In: Third European Performance Engineering Workshop (EPEW), June 21-22, 2006, Budapest, Hungary (pp. pp. 93-107).

Bujorianu, L.M. and Bujorianu, M.C. (2008) Bisimulation, Logic and Mobility for Markovian Systems. In: Proceedings of the 18th International Symposium on Mathematical Theory of Networks & Systems, 28 July - 1 August 2008, Blacksburg, Virginia, USA (pp. p. 12).

Bujorianu, L.M. and Bujorianu, M.C. (2008) Topological superposition of abstractions of stochastic processes. In: MED '07. Mediterranean Conference on Control & Automation, 27-29 June 2007, Athens, Greece (pp. pp. 1-6).

Bujorianu, L.M. and Bujorianu, M.C. (2007) Viewpoint Development of Stochastic Hybrid Systems. In: 45th IEEE Conference on Decision and Control, 13-15 Dec 2006, San Diego, CA, USA (pp. pp. 6241-6246).

Bujorianu, L.M. and Bujorianu, M.C. and Blom, H.A.P. (2008) Approximate Abstractions of Stochastic Hybrid Systems. In: Proceedings of the 17th IFAC World Congress, 6-11 Jul 2008, Seoul, Korea (pp. pp. 8978-8983).

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

Bujorianu, L.M. and Lygeros, J. (2008) New insights on stochastic reachability. In: 46th IEEE Conference on Decision and Control, 12-14 Dec 2007, New Orleans, Louisiana USA (pp. pp. 6172-6177).

Bujorianu, M.C. and Bujorianu, L.M. (2008) A randomized model for communicating embedded systems. In: 16th Mediterranean Conference on Control and Automation, 25-27 June 2008, Ajaccio, France (pp. pp. 1435-1440).

Bujorianu, M.C. and Bujorianu, L.M. and Langerak, R. (2008) An Interpretation of Concurrent Hybrid Time Systems over Multi-clock Systems. In: Proceedings of the 17th IFAC World Congress, 6-11 Jul 2008, Seoul, Korea (pp. pp. 3635-3640).

Bujorianu, Manuela L. and Blom, Henk A.P. and Hermanns, Holger (2006) Functional Abstraction of Stochastic Hybrid Systems. In: 2nd IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2006, 7-9 June 2006, Alghero, Italy (pp. pp. 160-165).

Bujorianu, Manuela L. and Bujorianu, Marius C. (2007) An Integrated Specification Framework for Embedded Systems. In: Fifth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2007, 10-14 September 2007, London, UK (pp. pp. 161-170).

Bujorianu, Manuela L. and Bujorianu, Marius C. (2007) Towards Hilbertian Formal Methods. In: Seventh International Conference on Application of Concurrency to System Design, ACSD 2007, 10-13 July 2007, Bratislava, Slovak Republic (pp. pp. 240-241).

Report

Bujorianu, L.M. (2008) Different Approaches on Stochastic Reachability as an Optimal Stopping Problem. [Report]

Bujorianu, L.M. and Bujorianu, M.C. (2008) Towards a Formal Framework for Multidimensional Codesign. [Report]

Bujorianu, L.M. and Bujorianu, M.C. (2008) Bisimulation, Logic and Reachability Analysis for Markovian Systems. [Report]

Bujorianu, L.M. and Katoen, J.P. (2008) Symmetry Reduction For Stochastic Hybrid Systems. [Report]

Bujorianu, L.M. and Lygeros, J. and Bujorianu, M.C. (2008) Abstractions of Stochastic Hybrid Systems. [Report]

Bujorianu, L.M. and Lygeros, J. and Bujorianu, M.C. (2008) Towards a General Theory of Stochastic Hybrid Systems. [Report]

Bujorianu, M.C. and Bujorianu, L.M. (2008) Uncertainty and Reconfigurability in Hilbertean Formal Methods. [Report]

Bujorianu, M.C. and Bujorianu, L.M. (2008) A Randomized Model for Communicating Embedded Systems. [Report]

Bujorianu, M.C. and Bujorianu, L.M. (2008) Formal Engineering Hybrid Systems: Semantic Underpinnings. [Report]

Bujorianu, M.C. and Bujorianu, L.M. (2008) Styles in Heterogeneous Modelling With UML. [Report]

Bujorianu, M.C. and Bujorianu, L.M. and Maharaj, S. (2008) Formal Testing of Correspondence Carrying Software. [Report]

This list was generated on Thu Aug 21 05:37:42 2014 CEST.