Abstract
This chapter represents a succinct introduction of the book. It gives some highlights on the stochastic reachability problem, which is the topic of this monograph, and its importance in the framework of hybrid continuous discrete systems that exhibit randomness. Furthermore, a short description of each book chapter is provided. From the beginning, it should be clear that stochastic hybrid systems and their reachability problem constitute a research area that lies at the border between control engineering, computer science and applied mathematics. Therefore, the analysis methods of such systems combine in a fruitful way ideas and tools from these disciplines.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Henzinger, T.A., Kopke, P.W., Puri, A., Varaiya, P.: What’s decidable about hybrid automata? J. Comput. Syst. Sci. 57(1), 94–124 (1998)
Huth, M., Ryan, M.: Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge University Press, Cambridge (2000)
Kushner, H.J.: Probability Methods for Approximations in Stochastic Control and for Elliptic Equations. Academic Press, New York (1977)
Manna, Z., Pnueli, A.: The temporal Logic of Reactive and Concurrent Systems Specification. Springer, New York (1992)
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag London Limited
About this chapter
Cite this chapter
Bujorianu, L.M. (2012). Introduction. In: Stochastic Reachability Analysis of Hybrid Systems. Communications and Control Engineering. Springer, London. https://doi.org/10.1007/978-1-4471-2795-6_1
Download citation
DOI: https://doi.org/10.1007/978-1-4471-2795-6_1
Published:
Publisher Name: Springer, London
Print ISBN: 978-1-4471-2794-9
Online ISBN: 978-1-4471-2795-6
eBook Packages: EngineeringEngineering (R0)