.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Stochastic Reachability Analysis of Hybrid Systems
Luminita Manuela Bujorianu
€ 127.46
FREE Delivery in Ireland
Description for Stochastic Reachability Analysis of Hybrid Systems
Paperback. This interdisciplinary book defines reachability in the stochastic framework, covering such concepts as stochastic reachability based on Markov process theory; martingale methods; stochastic reachability as an optimal stopping problem and dynamic programming. Series: Communications and Control Engineering. Num Pages: 268 pages, 1 black & white tables, biography. BIC Classification: GPFC; TJFM; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 415.
Stochastic reachability analysis (SRA) is a method of analyzing the behavior of control systems which mix discrete and continuous dynamics. For probabilistic discrete systems it has been shown to be a practical verification method but for stochastic hybrid systems it can be rather more. As a verification technique SRA can assess the safety and performance of, for example, autonomous systems, robot and aircraft path planning and multi-agent coordination but it can also be used for the adaptive control of such systems. Stochastic Reachability Analysis of Hybrid Systems is a self-contained and accessible introduction to this novel topic in the analysis ... Read more
Stochastic reachability analysis (SRA) is a method of analyzing the behavior of control systems which mix discrete and continuous dynamics. For probabilistic discrete systems it has been shown to be a practical verification method but for stochastic hybrid systems it can be rather more. As a verification technique SRA can assess the safety and performance of, for example, autonomous systems, robot and aircraft path planning and multi-agent coordination but it can also be used for the adaptive control of such systems. Stochastic Reachability Analysis of Hybrid Systems is a self-contained and accessible introduction to this novel topic in the analysis ... Read more
Product Details
Format
Paperback
Publication date
2014
Publisher
Springer London Ltd United Kingdom
Number of pages
268
Condition
New
Series
Communications and Control Engineering
Number of Pages
250
Place of Publication
England, United Kingdom
ISBN
9781447162094
SKU
V9781447162094
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
About Luminita Manuela Bujorianu
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: ... Read more
Reviews for Stochastic Reachability Analysis of Hybrid Systems
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 ... Read more