Characterizing simulation relations through control architectures in abstraction-based control

Julien Calbert, Antoine Girard, Raphaël M. Jungers

Abstraction-based control design is a promising approach for ensuring safety-critical control of complex cyber-physical systems. A key aspect of this methodology is the relation be…