Authors:
- Provides the reader with state-of-the-art treatment of a powerful new technique for the analysis and control of hybrid systems
- Coverage of open gives researchers a solid grounding for future work
- Uses case studies to demonstrate how practising engineers can construct more flexible, reliable and robust systems based on the theory presented
- Includes supplementary material: sn.pub/extras
Part of the book series: Communications and Control Engineering (CCE)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (12 chapters)
-
Front Matter
-
Back Matter
About this book
Reviews
From the reviews:
“The author presents recent developments in the hybrid stochastic modeling for the analysis of embedded systems. The book starts with a smooth introduction into the problems related to Markovian models. The author defines and characterizes discrete space and continuous space Markov models. … The book is appended by description of some mathematical standard tools that makes it self-contained.” (A. Świerniak, Zentralblatt MATH, Vol. 1245, 2012)
Authors and Affiliations
-
School of Mathematics, University of Manchester School of Mathematics, Manchester, United Kingdom
Luminita Manuela Bujorianu
About the author
Between June 2002 and January 2005, Doctor Bujorianu was a research associate in the Control Group, at the Department of Engineering at the University of Cambridge. After this appointment she remained in the Department as a research visitor for six months. During her appointment at Cambridge, she was involved in two European projects on hybrid systems: the IST-2001-38314 project COLUMBUS: “Design of Embedded Controllers for Safety Critical Systems” (partners: INRIA, University of Berkeley, PARADES (Rome), etc. http www.columbus.gr); and the IST-2001-32460 project HYBRIDGE: “Distributed Control and Stochastic Analysis of Hybrid Systems Supporting Safety Critical Real-Time Systems Design” (partners: National Aerospace Laboratory-NLR Amsterdam, BAE UK, Eurocontrol, AEA Technology, CENA, etc. http: www.nlr.nl/public/hosted-sites/hybridge) From November 2005 to June 2008 Doctor Bujorianu was a Research Associate with the Formal Methods and Tools Group at the Faculty of Mathematics and Computer Science, University of Twente, the Netherlands. Her research was funded by the NOW project AiSHA “Abstraction in Stochastic and Hybrid Process Algebra”. During her appointment with University of Twente, she was also involved in the German-Dutch project VOSS. Since June 2008 Manuela Bujorianu has been a Research Associate with the Centre for Interdisciplinary Computational and Dynamical Analysis (CICADA) at the University of Manchester in the UK.
Bibliographic Information
Book Title: Stochastic Reachability Analysis of Hybrid Systems
Authors: Luminita Manuela Bujorianu
Series Title: Communications and Control Engineering
DOI: https://doi.org/10.1007/978-1-4471-2795-6
Publisher: Springer London
eBook Packages: Engineering, Engineering (R0)
Copyright Information: Springer-Verlag London Limited 2012
Hardcover ISBN: 978-1-4471-2794-9Published: 19 February 2012
Softcover ISBN: 978-1-4471-6209-4Published: 13 April 2014
eBook ISBN: 978-1-4471-2795-6Published: 23 April 2012
Series ISSN: 0178-5354
Series E-ISSN: 2197-7119
Edition Number: 1
Number of Pages: XVIII, 250
Topics: Systems Theory, Control, Control and Systems Theory, Math Applications in Computer Science