Lyapunov-barrier characterization of robust reach-avoid-stay specifications for hybrid systems

DOI10.1016/j.nahs.2023.101340zbMath1520.93458arXiv2211.00814OpenAlexW4323662928MaRDI QIDQ6116266

Jun Liu, Yiming Meng

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

zbMATH Keywords

robustnesshybrid systemsreach-avoid-stay specificationsconverse Lyapunov-barrier functions theoremsstability with safety

Mathematics Subject Classification ID

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