Matches in SemOpenAlex for { <https://semopenalex.org/work/W4310658979> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W4310658979 abstract "Stability and safety are two important aspects in safety-critical control of dynamical systems. It has been a well established fact in control theory that stability properties can be characterized by Lyapunov functions. Reachability properties can also be naturally captured by Lyapunov functions for finite-time stability. Motivated by safety-critical control applications, such as in autonomous systems and robotics, there has been a recent surge of interests in characterizing safety properties using barrier functions. Lyapunov and barrier functions conditions, however, are sometimes viewed as competing objectives. In this paper, we provide a unified theoretical treatment of Lyapunov and barrier functions in terms of converse theorems for stability properties with safety guarantees and reach-avoid-stay type specifications. We show that if a system (modeled as a dynamical system with measurable perturbations) possesses a stability with safety property, then there exists a smooth Lyapunov function to certify such a property. This Lyapunov function is shown to be defined on the entire set of initial conditions from which solutions satisfy this property. A similar but slightly weaker statement is made for reach-avoid-stay specifications. We show by a simple example that the latter statement cannot be strengthened without additional assumptions. We further extend the results for systems with control inputs and prove existence of converse Lyapunov-barrier functions for reach-and-avoid specifications. While the converse Lyapunov-barrier theorems are not constructive, as with classical converse Lyapunov theorems, we believe that the unified necessary and sufficient conditions with a single Lyapunov-barrier function are of theoretical interest and can hopefully shed some light on computational approaches." @default.
- W4310658979 created "2022-12-14" @default.
- W4310658979 creator A5000093771 @default.
- W4310658979 creator A5027835055 @default.
- W4310658979 creator A5039265504 @default.
- W4310658979 creator A5073575800 @default.
- W4310658979 date "2020-09-09" @default.
- W4310658979 modified "2023-09-28" @default.
- W4310658979 title "Smooth Converse Lyapunov-Barrier Theorems for Asymptotic Stability with Safety Constraints and Reach-Avoid-Stay Specifications" @default.
- W4310658979 doi "https://doi.org/10.48550/arxiv.2009.04432" @default.
- W4310658979 hasPublicationYear "2020" @default.
- W4310658979 type Work @default.
- W4310658979 citedByCount "0" @default.
- W4310658979 crossrefType "posted-content" @default.
- W4310658979 hasAuthorship W4310658979A5000093771 @default.
- W4310658979 hasAuthorship W4310658979A5027835055 @default.
- W4310658979 hasAuthorship W4310658979A5039265504 @default.
- W4310658979 hasAuthorship W4310658979A5073575800 @default.
- W4310658979 hasBestOaLocation W43106589791 @default.
- W4310658979 hasConcept C101403955 @default.
- W4310658979 hasConcept C112972136 @default.
- W4310658979 hasConcept C119857082 @default.
- W4310658979 hasConcept C121332964 @default.
- W4310658979 hasConcept C154945302 @default.
- W4310658979 hasConcept C158622935 @default.
- W4310658979 hasConcept C191544260 @default.
- W4310658979 hasConcept C201030206 @default.
- W4310658979 hasConcept C2524010 @default.
- W4310658979 hasConcept C25854792 @default.
- W4310658979 hasConcept C2775924081 @default.
- W4310658979 hasConcept C2776809875 @default.
- W4310658979 hasConcept C2777052490 @default.
- W4310658979 hasConcept C33923547 @default.
- W4310658979 hasConcept C37935115 @default.
- W4310658979 hasConcept C41008148 @default.
- W4310658979 hasConcept C47446073 @default.
- W4310658979 hasConcept C60640748 @default.
- W4310658979 hasConcept C62520636 @default.
- W4310658979 hasConcept C79379906 @default.
- W4310658979 hasConceptScore W4310658979C101403955 @default.
- W4310658979 hasConceptScore W4310658979C112972136 @default.
- W4310658979 hasConceptScore W4310658979C119857082 @default.
- W4310658979 hasConceptScore W4310658979C121332964 @default.
- W4310658979 hasConceptScore W4310658979C154945302 @default.
- W4310658979 hasConceptScore W4310658979C158622935 @default.
- W4310658979 hasConceptScore W4310658979C191544260 @default.
- W4310658979 hasConceptScore W4310658979C201030206 @default.
- W4310658979 hasConceptScore W4310658979C2524010 @default.
- W4310658979 hasConceptScore W4310658979C25854792 @default.
- W4310658979 hasConceptScore W4310658979C2775924081 @default.
- W4310658979 hasConceptScore W4310658979C2776809875 @default.
- W4310658979 hasConceptScore W4310658979C2777052490 @default.
- W4310658979 hasConceptScore W4310658979C33923547 @default.
- W4310658979 hasConceptScore W4310658979C37935115 @default.
- W4310658979 hasConceptScore W4310658979C41008148 @default.
- W4310658979 hasConceptScore W4310658979C47446073 @default.
- W4310658979 hasConceptScore W4310658979C60640748 @default.
- W4310658979 hasConceptScore W4310658979C62520636 @default.
- W4310658979 hasConceptScore W4310658979C79379906 @default.
- W4310658979 hasLocation W43106589791 @default.
- W4310658979 hasLocation W43106589792 @default.
- W4310658979 hasOpenAccess W4310658979 @default.
- W4310658979 hasPrimaryLocation W43106589791 @default.
- W4310658979 hasRelatedWork W1968203585 @default.
- W4310658979 hasRelatedWork W2029833017 @default.
- W4310658979 hasRelatedWork W2057715428 @default.
- W4310658979 hasRelatedWork W2129966419 @default.
- W4310658979 hasRelatedWork W2160751513 @default.
- W4310658979 hasRelatedWork W2349796700 @default.
- W4310658979 hasRelatedWork W2383986032 @default.
- W4310658979 hasRelatedWork W2496188264 @default.
- W4310658979 hasRelatedWork W2534107666 @default.
- W4310658979 hasRelatedWork W2571223673 @default.
- W4310658979 isParatext "false" @default.
- W4310658979 isRetracted "false" @default.
- W4310658979 workType "article" @default.