Matches in SemOpenAlex for { <https://semopenalex.org/work/W3200541611> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W3200541611 endingPage "252" @default.
- W3200541611 startingPage "247" @default.
- W3200541611 abstract "Real world systems of interest often feature interactions between discrete and continuous dynamics. Various hybrid system formalisms have been used to model and analyze this combination of dynamics, ranging from mathematical descriptions, e.g., using impulsive differential equations and switching, to automata-theoretic and language-based approaches. This paper bridges two such formalisms by showing how various classes of switched systems can be modeled using the language of hybrid programs from differential dynamic logic (dL). The resulting models enable the formal specification and verification of switched systems using dL and its existing deductive verification tools such as KeYmaera X. Switched systems also provide a natural avenue for the generalization of dL's deductive proof theory for differential equations. The completeness results for switched system invariants proved in this paper enable effective safety verification of those systems in dL." @default.
- W3200541611 created "2021-09-27" @default.
- W3200541611 creator A5021598141 @default.
- W3200541611 creator A5080481427 @default.
- W3200541611 date "2021-01-01" @default.
- W3200541611 modified "2023-10-10" @default.
- W3200541611 title "Switched Systems as Hybrid Programs" @default.
- W3200541611 cites W1590463358 @default.
- W3200541611 cites W2018427788 @default.
- W3200541611 cites W2019474894 @default.
- W3200541611 cites W2099308299 @default.
- W3200541611 cites W2120666720 @default.
- W3200541611 cites W2761407096 @default.
- W3200541611 cites W3101115050 @default.
- W3200541611 cites W3124336112 @default.
- W3200541611 cites W3153326561 @default.
- W3200541611 cites W597772687 @default.
- W3200541611 doi "https://doi.org/10.1016/j.ifacol.2021.08.506" @default.
- W3200541611 hasPublicationYear "2021" @default.
- W3200541611 type Work @default.
- W3200541611 sameAs 3200541611 @default.
- W3200541611 citedByCount "2" @default.
- W3200541611 countsByYear W32005416112022 @default.
- W3200541611 countsByYear W32005416112023 @default.
- W3200541611 crossrefType "journal-article" @default.
- W3200541611 hasAuthorship W3200541611A5021598141 @default.
- W3200541611 hasAuthorship W3200541611A5080481427 @default.
- W3200541611 hasBestOaLocation W32005416111 @default.
- W3200541611 hasConcept C111498074 @default.
- W3200541611 hasConcept C112505250 @default.
- W3200541611 hasConcept C11413529 @default.
- W3200541611 hasConcept C119857082 @default.
- W3200541611 hasConcept C134306372 @default.
- W3200541611 hasConcept C171018156 @default.
- W3200541611 hasConcept C17231256 @default.
- W3200541611 hasConcept C177148314 @default.
- W3200541611 hasConcept C199360897 @default.
- W3200541611 hasConcept C25016198 @default.
- W3200541611 hasConcept C2524010 @default.
- W3200541611 hasConcept C2776028153 @default.
- W3200541611 hasConcept C33923547 @default.
- W3200541611 hasConcept C41008148 @default.
- W3200541611 hasConcept C4777664 @default.
- W3200541611 hasConcept C50897621 @default.
- W3200541611 hasConcept C75606506 @default.
- W3200541611 hasConcept C80444323 @default.
- W3200541611 hasConceptScore W3200541611C111498074 @default.
- W3200541611 hasConceptScore W3200541611C112505250 @default.
- W3200541611 hasConceptScore W3200541611C11413529 @default.
- W3200541611 hasConceptScore W3200541611C119857082 @default.
- W3200541611 hasConceptScore W3200541611C134306372 @default.
- W3200541611 hasConceptScore W3200541611C171018156 @default.
- W3200541611 hasConceptScore W3200541611C17231256 @default.
- W3200541611 hasConceptScore W3200541611C177148314 @default.
- W3200541611 hasConceptScore W3200541611C199360897 @default.
- W3200541611 hasConceptScore W3200541611C25016198 @default.
- W3200541611 hasConceptScore W3200541611C2524010 @default.
- W3200541611 hasConceptScore W3200541611C2776028153 @default.
- W3200541611 hasConceptScore W3200541611C33923547 @default.
- W3200541611 hasConceptScore W3200541611C41008148 @default.
- W3200541611 hasConceptScore W3200541611C4777664 @default.
- W3200541611 hasConceptScore W3200541611C50897621 @default.
- W3200541611 hasConceptScore W3200541611C75606506 @default.
- W3200541611 hasConceptScore W3200541611C80444323 @default.
- W3200541611 hasIssue "5" @default.
- W3200541611 hasLocation W32005416111 @default.
- W3200541611 hasLocation W32005416112 @default.
- W3200541611 hasOpenAccess W3200541611 @default.
- W3200541611 hasPrimaryLocation W32005416111 @default.
- W3200541611 hasRelatedWork W1518566078 @default.
- W3200541611 hasRelatedWork W1909848294 @default.
- W3200541611 hasRelatedWork W1990350596 @default.
- W3200541611 hasRelatedWork W2165214723 @default.
- W3200541611 hasRelatedWork W2167919796 @default.
- W3200541611 hasRelatedWork W2286265505 @default.
- W3200541611 hasRelatedWork W2795943051 @default.
- W3200541611 hasRelatedWork W2803699674 @default.
- W3200541611 hasRelatedWork W2913154806 @default.
- W3200541611 hasRelatedWork W3200541611 @default.
- W3200541611 hasVolume "54" @default.
- W3200541611 isParatext "false" @default.
- W3200541611 isRetracted "false" @default.
- W3200541611 magId "3200541611" @default.
- W3200541611 workType "article" @default.