Matches in SemOpenAlex for { <https://semopenalex.org/work/W4319453487> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W4319453487 abstract "Reach-avoid analysis combines the construction of safety and specific progress guarantees, and is able to formalize many important engineering problems. In this paper we study the reach-avoid verification problem of systems modelled by ordinary differential equations using Lyapunov densities. Firstly, the weak reach-avoid verification is considered. Given an initial set, a safe set and a target set, the weak reach-avoid verification is to verify whether the reach-avoid property (i.e., the system will enter the target set eventually while staying inside the safe set before the first target hitting time) holds for almost all states in the initial set. We propose two novel sufficient conditions using Lyapunov densities for the weak reach-avoid verification. These two sufficient conditions are shown to be weaker than existing ones, providing more possibilities of verifying weak reach-avoid properties successfully. Then, we generalize these conditions to the verification of reach-avoid properties for all states in the initial set. Finally, an example demonstrates theoretical developments of proposed conditions." @default.
- W4319453487 created "2023-02-09" @default.
- W4319453487 creator A5089413793 @default.
- W4319453487 date "2023-02-06" @default.
- W4319453487 modified "2023-09-27" @default.
- W4319453487 title "Reach-avoid Verification using Lyapunov Densities" @default.
- W4319453487 doi "https://doi.org/10.48550/arxiv.2302.02777" @default.
- W4319453487 hasPublicationYear "2023" @default.
- W4319453487 type Work @default.
- W4319453487 citedByCount "0" @default.
- W4319453487 crossrefType "posted-content" @default.
- W4319453487 hasAuthorship W4319453487A5089413793 @default.
- W4319453487 hasBestOaLocation W43194534871 @default.
- W4319453487 hasConcept C111472728 @default.
- W4319453487 hasConcept C121332964 @default.
- W4319453487 hasConcept C126255220 @default.
- W4319453487 hasConcept C127413603 @default.
- W4319453487 hasConcept C134306372 @default.
- W4319453487 hasConcept C138885662 @default.
- W4319453487 hasConcept C146978453 @default.
- W4319453487 hasConcept C154945302 @default.
- W4319453487 hasConcept C158622935 @default.
- W4319453487 hasConcept C177264268 @default.
- W4319453487 hasConcept C189950617 @default.
- W4319453487 hasConcept C199360897 @default.
- W4319453487 hasConcept C2775924081 @default.
- W4319453487 hasConcept C28826006 @default.
- W4319453487 hasConcept C33923547 @default.
- W4319453487 hasConcept C41008148 @default.
- W4319453487 hasConcept C47446073 @default.
- W4319453487 hasConcept C51544822 @default.
- W4319453487 hasConcept C60640748 @default.
- W4319453487 hasConcept C62520636 @default.
- W4319453487 hasConcept C78045399 @default.
- W4319453487 hasConcept C93226319 @default.
- W4319453487 hasConceptScore W4319453487C111472728 @default.
- W4319453487 hasConceptScore W4319453487C121332964 @default.
- W4319453487 hasConceptScore W4319453487C126255220 @default.
- W4319453487 hasConceptScore W4319453487C127413603 @default.
- W4319453487 hasConceptScore W4319453487C134306372 @default.
- W4319453487 hasConceptScore W4319453487C138885662 @default.
- W4319453487 hasConceptScore W4319453487C146978453 @default.
- W4319453487 hasConceptScore W4319453487C154945302 @default.
- W4319453487 hasConceptScore W4319453487C158622935 @default.
- W4319453487 hasConceptScore W4319453487C177264268 @default.
- W4319453487 hasConceptScore W4319453487C189950617 @default.
- W4319453487 hasConceptScore W4319453487C199360897 @default.
- W4319453487 hasConceptScore W4319453487C2775924081 @default.
- W4319453487 hasConceptScore W4319453487C28826006 @default.
- W4319453487 hasConceptScore W4319453487C33923547 @default.
- W4319453487 hasConceptScore W4319453487C41008148 @default.
- W4319453487 hasConceptScore W4319453487C47446073 @default.
- W4319453487 hasConceptScore W4319453487C51544822 @default.
- W4319453487 hasConceptScore W4319453487C60640748 @default.
- W4319453487 hasConceptScore W4319453487C62520636 @default.
- W4319453487 hasConceptScore W4319453487C78045399 @default.
- W4319453487 hasConceptScore W4319453487C93226319 @default.
- W4319453487 hasLocation W43194534871 @default.
- W4319453487 hasOpenAccess W4319453487 @default.
- W4319453487 hasPrimaryLocation W43194534871 @default.
- W4319453487 hasRelatedWork W2051554344 @default.
- W4319453487 hasRelatedWork W2064458303 @default.
- W4319453487 hasRelatedWork W2371693297 @default.
- W4319453487 hasRelatedWork W2943299393 @default.
- W4319453487 hasRelatedWork W2950559952 @default.
- W4319453487 hasRelatedWork W2969451120 @default.
- W4319453487 hasRelatedWork W3011692213 @default.
- W4319453487 hasRelatedWork W3080748243 @default.
- W4319453487 hasRelatedWork W3182158739 @default.
- W4319453487 hasRelatedWork W4300795862 @default.
- W4319453487 isParatext "false" @default.
- W4319453487 isRetracted "false" @default.
- W4319453487 workType "article" @default.