Characterizations of safety in hybrid inclusions via barrier functions

DOI10.1145/3302504.3311816MaRDI QIDQ5239226zbMATH OpenOpenAlexFDO

Authors Mohamed Adlene Maghenem, Ricardo G. Sanfelice

Publication date 22 October 2019

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

Full work available at URL https://doi.org/10.1145/3302504.3311816

zbMATH Keywords

barrier functionshybrid inclusionshybrid systemssafety

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)

Recommendations

• Sufficient conditions for robust safety in differential inclusions using barrier functions
• Sufficient conditions for forward invariance and contractivity in hybrid inclusions using barrier functions
• Hybrid Systems: Computation and Control
• Lyapunov-barrier characterization of robust reach-avoid-stay specifications for hybrid systems
• Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications

Cited in

(8)

• Safety verification for distributed parameter systems using barrier functionals
• Razumikhin and Krasovskii approaches for safe stabilization
• Converse Theorems for Safety and Barrier Certificates
• Necessary and sufficient conditions for the nonincrease of scalar functions along solutions to constrained differential inclusions
• Constrained control of multi-input systems with distinct input delays
• Characterization of eventual conditional invariance for hybrid dynamical systems
• Sufficient conditions for robust safety in differential inclusions using barrier functions
• On converse zeroing barrier functions

This page was built for publication: Characterizations of safety in hybrid inclusions via barrier functions

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