Enforcing safety of cyberphysical systems using flatness and abstraction
Name
Colombo.pdf
Size
264.03 KB
Format
Adobe PDF
Checksum (MD5)
adba61a05ac211359384818e0e7868f0
Author(s)
Colombo, Alessandro
Del Vecchio, Domitilla
Date Issued
June 2011
Journal
ACM SIGBED Review
Publisher
Association for Computing Machinery (ACM)
Citation
Colombo, Alessandro, and Domitilla Del Vecchio. “Enforcing Safety of Cyberphysical Systems Using Flatness and Abstraction.” ACM SIGBED Review 8, no. 2 (June 1, 2011): 11–14, New York, NY, USA, Association for Computing Machinery (ACM), 2011.
Version
Author's final manuscript
Abstract
The diffusion of cyberphysical systems acting in human-populated environments brings to the fore the problem of implementing provably safe control laws, to avoid potentially dangerous collisions between moving parts of the system, and with nearby obstacles, without compromising the system's functionality. The limiting factor in most implementations is the model's complexity, and a common workaround includes the reduction of the physical model, based on differential equations, to a finite symbolic model. Following this strategy, we are investigating ways to exploit the specific structure of many mechanical systems (the differentially flat systems) to achieve this simplification. Our objective is to construct a supervisor enforcing a given set of safety rules, while imposing as little constraints as possible on the system's functionality. In this paper, we outline our approach, and present an example -- a collision avoidance algorithm for a fleet of vehicles converging to an intersection. Our approach improves on previous results by providing a deterministic symbolic model for a class of system, regardless of their stability properties, and by addressing explicitly the problem of safety enforcing.
MIT Department
Massachusetts Institute of Technology. Department of Mechanical Engineering
Terms of Use
Creative Commons Attribution-Noncommercial-Share Alike
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1145/2000367.2000369
