2 papers
eess.SY2021
Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture
Josefine Graebener, Tung Phan-Minh, Jiaqi Yan +2
Increased complexity in cyber-physical systems calls for modular system design methodologies that guarantee correct and reliable behavior, both in normal operations and in the pres…
eess.SY2020
Assume/Guarantee Contracts for Dynamical Systems: Theory and Computational Tools
Miel Sharf, Bart Besselink, Adam Molin +2
Modern engineering systems include many components of different types and functions. Verifying that these systems satisfy given specifications can be an arduous task, as most forma…