Switching controller synthesis for time-delayed hybrid systems

DOI10.1360/SSM-2019-0334MaRDI QIDQ5064257zbMATH OpenFDO

Authors Y. J. Bai, Ting Gan, Li Jiao, Bai Xue, Naijun Zhan

Publication date 21 March 2022

Published in SCIENTIA SINICA Mathematica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1360/SSM-2019-0334

zbMATH Keywords

delayed differential equationsdifferential invariantssafetyswitching controllertime-delayed hybrid systems

Mathematics Subject Classification ID

Synthesis problems (93B50) Networked control (93B70) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Delay control/observation systems (93C43)

Recommendations

• Automatic synthesis of switching controllers for linear hybrid systems: safety control
• Timed-automata abstraction of switched dynamical systems using control invariants
• Synthesizing SystemC Code from Delay Hybrid CSP
• Synthesizing switching controllers for hybrid systems by generating invariants
• Switched discrete-time systems with time-varying delays: A generalized H₂-approach

Cited in

(6)

• Timed-automata abstraction of switched dynamical systems using control invariants
• Switched controller design for stabilization of nonlinear hybrid systems with time-varying delays in state and control
• Synthesizing SystemC Code from Delay Hybrid CSP
• Switching controller design for linear time invariant plant with a single I/O delay
• Checking scheduling-induced violations of control safety properties
• Switching controller synthesis for delay hybrid systems under perturbations

This page was built for publication: Switching controller synthesis for time-delayed hybrid systems

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