Synopsis
Having already understood the analytical implications of control loops in cyber-physical systems via their logical characterizations with unwinding and invariants, this chapter investigates their impact on the important design paradigm of event-triggered control systems, also known as event-driven control systems. In such a system the controllers respond to certain events whenever they happen. The resulting event detection for the various events of interest is then executed in a control loop. A safe controller makes the appropriate response for each of the events of relevance. This direct response principle for the respective events provides systematic ways of designing event-triggered CPS controllers and leads to relatively simple safety arguments. But event-triggered systems are hard if not impossible to implement, because they require perfect event detection. That makes this chapter an ideal setting for a number of crucial modeling lessons for CPS.
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). Events & Responses. In: Logical Foundations of Cyber-Physical Systems. Springer, Cham. https://doi.org/10.1007/978-3-319-63588-0_8
Download citation
DOI: https://doi.org/10.1007/978-3-319-63588-0_8
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)