Synopsis
This chapter begins the study of an entirely new model of cyber-physical systems: that of hybrid games, which combine discrete, continuous, and adversarial dynamics. While hybrid systems with their discrete and continuous dynamics have served us well in the analysis of cyber-physical systems so far, other cyber-physical systems crucially require an understanding of additional dynamical effects. Adversarial dynamics is relevant whenever choices in the system can be resolved by different players. This happens frequently in CPSs with multiple agents who may or may not agree on a common goal or who, even if they share a common goal, may act differently based on a different perception of the world. This chapter discusses the far-reaching consequences of this insight and advances hybrid programs to a programming language for hybrid games.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this chapter
Cite this chapter
Platzer, A. (2018). Hybrid Systems & Games. In: Logical Foundations of Cyber-Physical Systems. Springer, Cham. https://doi.org/10.1007/978-3-319-63588-0_14
Download citation
DOI: https://doi.org/10.1007/978-3-319-63588-0_14
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-63587-3
Online ISBN: 978-3-319-63588-0
eBook Packages: Computer ScienceComputer Science (R0)