Matches in SemOpenAlex for { <https://semopenalex.org/work/W1597517060> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W1597517060 abstract "In this report proofs are presented for a method for abstracting continuous dynamical systems by timed automata. The method is based on partitioning the state space of dynamical systems with invariant sets, which form cells representing locations of the timed automata. To enable verification of the dynamical system based on the abstraction, conditions for obtaining sound, complete, and refinable abstractions are set up. It is proposed to partition the state space utilizing sub-level sets of Lyapunov functions, since they are positive invariant sets. The existence of sound abstractions for Morse-Smale systems and complete and refinable abstractions for linear systems are proved." @default.
- W1597517060 created "2016-06-24" @default.
- W1597517060 creator A5021433621 @default.
- W1597517060 creator A5088328087 @default.
- W1597517060 date "2010-08-19" @default.
- W1597517060 modified "2023-09-27" @default.
- W1597517060 title "Proofs for an Abstraction of Continuous Dynamical Systems Utilizing Lyapunov Functions" @default.
- W1597517060 cites W1568502976 @default.
- W1597517060 cites W1960239420 @default.
- W1597517060 cites W1987677181 @default.
- W1597517060 cites W2041103407 @default.
- W1597517060 cites W2060369194 @default.
- W1597517060 cites W2089606669 @default.
- W1597517060 cites W2094017389 @default.
- W1597517060 cites W2101508170 @default.
- W1597517060 cites W2110910849 @default.
- W1597517060 cites W2159037864 @default.
- W1597517060 hasPublicationYear "2010" @default.
- W1597517060 type Work @default.
- W1597517060 sameAs 1597517060 @default.
- W1597517060 citedByCount "1" @default.
- W1597517060 crossrefType "posted-content" @default.
- W1597517060 hasAuthorship W1597517060A5021433621 @default.
- W1597517060 hasAuthorship W1597517060A5088328087 @default.
- W1597517060 hasConcept C105795698 @default.
- W1597517060 hasConcept C108710211 @default.
- W1597517060 hasConcept C111472728 @default.
- W1597517060 hasConcept C112505250 @default.
- W1597517060 hasConcept C114614502 @default.
- W1597517060 hasConcept C121332964 @default.
- W1597517060 hasConcept C124304363 @default.
- W1597517060 hasConcept C138885662 @default.
- W1597517060 hasConcept C158622935 @default.
- W1597517060 hasConcept C190470478 @default.
- W1597517060 hasConcept C2524010 @default.
- W1597517060 hasConcept C33923547 @default.
- W1597517060 hasConcept C33962884 @default.
- W1597517060 hasConcept C37914503 @default.
- W1597517060 hasConcept C41008148 @default.
- W1597517060 hasConcept C42812 @default.
- W1597517060 hasConcept C60640748 @default.
- W1597517060 hasConcept C62520636 @default.
- W1597517060 hasConcept C72434380 @default.
- W1597517060 hasConcept C79379906 @default.
- W1597517060 hasConcept C80444323 @default.
- W1597517060 hasConceptScore W1597517060C105795698 @default.
- W1597517060 hasConceptScore W1597517060C108710211 @default.
- W1597517060 hasConceptScore W1597517060C111472728 @default.
- W1597517060 hasConceptScore W1597517060C112505250 @default.
- W1597517060 hasConceptScore W1597517060C114614502 @default.
- W1597517060 hasConceptScore W1597517060C121332964 @default.
- W1597517060 hasConceptScore W1597517060C124304363 @default.
- W1597517060 hasConceptScore W1597517060C138885662 @default.
- W1597517060 hasConceptScore W1597517060C158622935 @default.
- W1597517060 hasConceptScore W1597517060C190470478 @default.
- W1597517060 hasConceptScore W1597517060C2524010 @default.
- W1597517060 hasConceptScore W1597517060C33923547 @default.
- W1597517060 hasConceptScore W1597517060C33962884 @default.
- W1597517060 hasConceptScore W1597517060C37914503 @default.
- W1597517060 hasConceptScore W1597517060C41008148 @default.
- W1597517060 hasConceptScore W1597517060C42812 @default.
- W1597517060 hasConceptScore W1597517060C60640748 @default.
- W1597517060 hasConceptScore W1597517060C62520636 @default.
- W1597517060 hasConceptScore W1597517060C72434380 @default.
- W1597517060 hasConceptScore W1597517060C79379906 @default.
- W1597517060 hasConceptScore W1597517060C80444323 @default.
- W1597517060 hasLocation W15975170601 @default.
- W1597517060 hasOpenAccess W1597517060 @default.
- W1597517060 hasPrimaryLocation W15975170601 @default.
- W1597517060 hasRelatedWork W1481878833 @default.
- W1597517060 hasRelatedWork W1523452604 @default.
- W1597517060 hasRelatedWork W1616046338 @default.
- W1597517060 hasRelatedWork W1865218796 @default.
- W1597517060 hasRelatedWork W1955897725 @default.
- W1597517060 hasRelatedWork W1989471575 @default.
- W1597517060 hasRelatedWork W1998764275 @default.
- W1597517060 hasRelatedWork W2031364117 @default.
- W1597517060 hasRelatedWork W2042636729 @default.
- W1597517060 hasRelatedWork W2072215604 @default.
- W1597517060 hasRelatedWork W2072229594 @default.
- W1597517060 hasRelatedWork W2099719845 @default.
- W1597517060 hasRelatedWork W2125708587 @default.
- W1597517060 hasRelatedWork W2159037864 @default.
- W1597517060 hasRelatedWork W2167770969 @default.
- W1597517060 hasRelatedWork W2185916798 @default.
- W1597517060 hasRelatedWork W2566596569 @default.
- W1597517060 hasRelatedWork W2591854757 @default.
- W1597517060 hasRelatedWork W1574909761 @default.
- W1597517060 hasRelatedWork W3091394290 @default.
- W1597517060 isParatext "false" @default.
- W1597517060 isRetracted "false" @default.
- W1597517060 magId "1597517060" @default.
- W1597517060 workType "article" @default.