Lyapunov-barrier characterization of robust reach-avoid-stay specifications for hybrid systems
From MaRDI portal
Publication:6116266
DOI10.1016/j.nahs.2023.101340zbMath1520.93458arXiv2211.00814OpenAlexW4323662928MaRDI QIDQ6116266
Publication date: 18 July 2023
Published in: Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2211.00814
robustnesshybrid systemsreach-avoid-stay specificationsconverse Lyapunov-barrier functions theoremsstability with safety
Lyapunov and storage functions (93D30) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Cites Work
- Unnamed Item
- Unnamed Item
- Stabilization with guaranteed safety using control Lyapunov-Barrier function
- Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability
- Approximately bisimilar symbolic models for nonlinear control systems
- Design of stable control systems subject to parametric perturbation
- Asymptotic stability and smooth Lyapunov functions
- Augmented finite transition systems as abstractions for control synthesis
- Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives
- Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications
- Comment on: ``Stabilization with guaranteed safety using control Lyapunov-barrier function
- Introduction to Smooth Manifolds
- Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models
- Converse Barrier Certificate Theorems
- Quantitative Characteristic of Rotating Stall and Surge for Moore–Greitzer PDE Model of an Axial Flow Compressor
- A smooth Lyapunov function from a class-${\mathcal{KL}}$ estimate involving two positive semidefinite functions
- Control Barrier Function Based Quadratic Programs for Safety Critical Systems
- Converse Theorems for Safety and Barrier Certificates
- A Smooth Converse Lyapunov Theorem for Robust Stability
- A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
- Robustly Complete Synthesis of Memoryless Controllers for Nonlinear Systems With Reach-and-Stay Specifications
- Converse Barrier Functions via Lyapunov Functions
- Synthesizing barrier certificates using neural networks
- Robust Abstractions for Control Synthesis
- Linear Time Logic Control of Discrete-Time Linear Systems
- On the inversion of Ljapunov's second theorem on stability of motion. [Continuation]
- Robust nonlinear control design. State-space and Lyapunov techniques
This page was built for publication: Lyapunov-barrier characterization of robust reach-avoid-stay specifications for hybrid systems