Switching controller synthesis for delay hybrid systems under perturbations
From MaRDI portal
Publication:6201580
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.
Cites work
- scientific article; zbMATH DE number 432503 (Why is no real title available?)
- scientific article; zbMATH DE number 1263213 (Why is no real title available?)
- scientific article; zbMATH DE number 734901 (Why is no real title available?)
- scientific article; zbMATH DE number 1444339 (Why is no real title available?)
- A new approach to state bounding for linear time-varying systems with delay and bounded disturbances
- An optimal error bound for a finite element approximation of spatially extended predator-prey interaction model
- Augmented finite transition systems as abstractions for control synthesis
- Automatic verification of stability and safety for delay differential equations
- Bounded invariant verification for time-delayed nonlinear networked dynamical systems
- Controller synthesis for safety and reachability via approximate bisimulation
- Feedback Refinement Relations for the Synthesis of Symbolic Controllers
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Formal methods for discrete-time dynamical systems
- Indecision and delays are the parents of failure -- taming them algorithmically by synthesizing delay-resilient control
- Inner and outer reachability for the verification of control systems
- Multi-layered abstraction-based controller synthesis for continuous-time systems
- Over- and Underapproximating Reach Sets for Perturbed Delay Differential Equations
- 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
- Switching controller synthesis for time-delayed hybrid systems
- Symbolic models for nonlinear time-delay systems using approximate bisimulations
- Symbolic models for time-varying time-delay systems via alternating approximate bisimulation
- Synthesizing switching controllers for hybrid systems by generating invariants
- The algorithmic analysis of hybrid systems
- Validated simulation-based verification of delayed differential dynamics
- Verification and Control of Hybrid Systems
- What's to come is still unsure. Synthesizing controllers resilient to delayed interaction
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)
