Stochastic reachability analysis of hybrid systems. (Q663166)

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. Then, the problem of hybrid systems modeling in both deterministic and stochastic context is discussed. The fourth section of the book is devoted to different types of stochastic hybrid systems and their examples in the real world. The examples include single--server queues, a hybrid manufacturing system, a truck with flexible transmission and a stochastic thermostat. Then different concepts of stochastic reachability are introduced and discussed. The author considers probabilistic, analytic and statistical methods for stochastic reachability analysis. The next section is devoted to stochastic bisimulation and its use in analysis of stochastic reachability. Yet another problem discussed by the author is an effect of constraints for the properties of the hybrid stochastic models. More precisely, the problem of state-constrained stochastic reachability is defined and analyzed. Finally some applications of stochastic reachability in air traffic management are considered. The book is appended by description of some mathematical standard tools that makes it self-contained.