In this chapter, we define the syntax and semantics of transition systems, and provide several illustrative examples. In particular, we present different (deterministic, nondeterministic, finite, and infinite) transition system representations for discrete-time dynamical systems. We also introduce simulation and bisimulation relations, which are central for the construction of finite abstractions throughout the book.
CITATION STYLE
Belta, C., Yordanov, B., & Aydin Gol, E. (2017). Transition Systems. In Studies in Systems, Decision and Control (Vol. 89, pp. 3–25). Springer International Publishing. https://doi.org/10.1007/978-3-319-50763-7_1
Mendeley helps you to discover research relevant for your work.