Items related to Stochastic Reachability Analysis of Hybrid Systems
Synopsis
The Need for Interdisciplinarity in Modern Systems Engineering.- Markov Models.- Randomness Issues when Modeling Hybrid Systems.- Stochastic Hybrid Systems.- Reachability Analysis for Deterministic Hybrid Systems.- Stochastic Reachability Problems.- Different Methodologies for Stochastic Reachability.- Stochastic Reachability Based on Markov Process Theory.- Martingale Methods.- Stochastic Reachability as an Optimal Stopping Problem.- Dynamic Programming Approach to Stochastic Reachability.- Applications to Autonomous Systems.- Applications of Stochastic Reachability in Air-traffic Management.
"synopsis" may belong to another edition of this title.
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.
Review
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)
"About this title" may belong to another edition of this title.
(No Available Copies)
Search Books: Create a WantCan't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!
Create a Want
