Enforcing safety of cyberphysical systems using flatness and abstraction
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 fun...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Article |
| Language: | English |
| Published: |
Association for Computing Machinery (ACM),
2018-11-16T20:55:13Z.
|
| Subjects: | |
| Online Access: | Get fulltext |