Contract-Based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems

DOI10.1109/TAC.2020.2992446MaRDI QIDQ4990152

Adnane Saoud, Antoine Girard, Laurent Fribourg

Publication date: 28 May 2021

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Mathematics Subject Classification ID

Systems theory; control (93-XX)

Related Items (7)

Assume-guarantee contracts for continuous-time systems ⋮ Compositional safety rules for inter-triggering hybrid automata ⋮ On distributed symbolic control of interconnected systems under persistency specifications ⋮ Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions ⋮ Lazy controller synthesis for monotone transition systems and directed safety specifications ⋮ Symbolic models for infinite networks of control systems: a compositional approach ⋮ Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface

This page was built for publication: Contract-Based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems