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…