Switching controller synthesis for delay hybrid systems under perturbations

DOI10.1145/3447928.3456657arXiv2103.11565OpenAlexW3158359551MaRDI QIDQ6201580FDOQ6201580

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

Publication date: 21 February 2024

Published in: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Abstract: Delays are ubiquitous in modern hybrid systems, which exhibit both continuous and discrete dynamical behaviors. Induced by signal transmission, conversion, the nature of plants, and so on, delays may appear either in the continuous evolution of a hybrid system such that the evolution depends not only on the present state but also on its execution history, or in the discrete switching between its different control modes. In this paper we come up with a new model of hybrid systems, called emph{delay hybrid automata}, to capture the dynamics of systems with the aforementioned two kinds of delays. Furthermore, based upon this model we study the robust switching controller synthesis problem such that the controlled delay system is able to satisfy the specified safety properties regardless of perturbations. To the end, a novel method is proposed to synthesize switching controllers based on the computation of differential invariants for continuous evolution and backward reachable sets of discrete jumps with delays. Finally, we implement a prototypical tool of our approach and demonstrate it on some case studies.

Full work available at URL: https://arxiv.org/abs/2103.11565

zbMATH Keywords

delay differential equationsdifferential invariantssafetyswitching controllersdelay hybrid systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Cites Work

• Symbolic models for nonlinear time-delay systems using approximate bisimulations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Verification and Control of Hybrid Systems
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• The algorithmic analysis of hybrid systems
• A new approach to state bounding for linear time-varying systems with delay and bounded disturbances
• Title not available (Why is that?)
• Title not available (Why is that?)
• Controller synthesis for safety and reachability via approximate bisimulation
• Switching controller synthesis for time-delayed hybrid systems
• Augmented finite transition systems as abstractions for control synthesis
• Formal methods for discrete-time dynamical systems
• Feedback Refinement Relations for the Synthesis of Symbolic Controllers
• Safe over- and under-approximation of reachable sets for delay differential equations
• Single-species model under seasonal succession alternating between Gompertz and logistic growth and impulsive perturbations
• Automatic verification of stability and safety for delay differential equations
• Symbolic models for time-varying time-delay systems via alternating approximate bisimulation
• Bounded invariant verification for time-delayed nonlinear networked dynamical systems
• Multi-layered abstraction-based controller synthesis for continuous-time systems
• Inner and outer reachability for the verification of control systems
• What's to come is still unsure. Synthesizing controllers resilient to delayed interaction
• An optimal error bound for a finite element approximation of spatially extended predator-prey interaction model
• Indecision and delays are the parents of failure -- taming them algorithmically by synthesizing delay-resilient control
• Validated simulation-based verification of delayed differential dynamics
• Synthesizing switching controllers for hybrid systems by generating invariants
• Over- and Underapproximating Reach Sets for Perturbed Delay Differential Equations

This page was built for publication: Switching controller synthesis for delay hybrid systems under perturbations

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