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

DOI10.1109/TAC.2020.2992446MaRDI QIDQ4990152zbMATH OpenFDO

Authors Adnane Saoud, Antoine Girard, Laurent Fribourg

Publication date 28 May 2021

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

Full work available at URL https://doi.org/10.1109/TAC.2020.2992446

Mathematics Subject Classification ID

Systems theory; control (93-XX)

Cited in

(8)

• On distributed symbolic control of interconnected systems under persistency specifications
• 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
• Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions
• Assume-guarantee contracts for continuous-time systems
• Compositional safety rules for inter-triggering hybrid automata
• Decompositional reach-and-stay contract-based control of nonlinear systems with an application to glucose control

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4990152)