FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2570955003> ?p ?o ?g. }

• W2570955003 endingPage "353" @default.
• W2570955003 startingPage "327" @default.
• W2570955003 abstract "The development of formal methods for control design is an important challenge with potential applications in a wide range of safety-critical cyber-physical systems. Focusing on switched dynamical systems, we propose a new abstraction, based on time-varying regions of invariance (control funnels), that models behaviors of systems as timed automata. The main advantage of this method is that it allows for the automated verification and reactive controller synthesis without discretizing the evolution of the state of the system. Efficient and analytic constructions are possible in the case of linear dynamics whereas bounding funnels with conjectured properties based on numerical simulations can be used for general nonlinear dynamics. We demonstrate the potential of our approach with three examples." @default.
• W2570955003 created "2017-01-13" @default.
• W2570955003 creator A5041884792 @default.
• W2570955003 creator A5070485120 @default.
• W2570955003 creator A5071054174 @default.
• W2570955003 creator A5084605938 @default.
• W2570955003 date "2017-01-07" @default.
• W2570955003 modified "2023-10-14" @default.
• W2570955003 title "Timed-automata abstraction of switched dynamical systems using control invariants" @default.
• W2570955003 cites W1568502976 @default.
• W2570955003 cites W1575287092 @default.
• W2570955003 cites W1599995366 @default.
• W2570955003 cites W1606824214 @default.
• W2570955003 cites W1823037702 @default.
• W2570955003 cites W1990388487 @default.
• W2570955003 cites W1994511055 @default.
• W2570955003 cites W2050076818 @default.
• W2570955003 cites W2080316200 @default.
• W2570955003 cites W2093964259 @default.
• W2570955003 cites W2101508170 @default.
• W2570955003 cites W2101780609 @default.
• W2570955003 cites W2142830749 @default.
• W2570955003 cites W2148247550 @default.
• W2570955003 cites W2153219011 @default.
• W2570955003 cites W2172082560 @default.
• W2570955003 cites W2188869759 @default.
• W2570955003 cites W2963714625 @default.
• W2570955003 cites W4233675229 @default.
• W2570955003 cites W4239216443 @default.
• W2570955003 cites W4248646522 @default.
• W2570955003 cites W60768693 @default.
• W2570955003 doi "https://doi.org/10.1007/s11241-016-9262-3" @default.
• W2570955003 hasPublicationYear "2017" @default.
• W2570955003 type Work @default.
• W2570955003 sameAs 2570955003 @default.
• W2570955003 citedByCount "7" @default.
• W2570955003 countsByYear W25709550032018 @default.
• W2570955003 countsByYear W25709550032019 @default.
• W2570955003 countsByYear W25709550032020 @default.
• W2570955003 countsByYear W25709550032021 @default.
• W2570955003 countsByYear W25709550032022 @default.
• W2570955003 crossrefType "journal-article" @default.
• W2570955003 hasAuthorship W2570955003A5041884792 @default.
• W2570955003 hasAuthorship W2570955003A5070485120 @default.
• W2570955003 hasAuthorship W2570955003A5071054174 @default.
• W2570955003 hasAuthorship W2570955003A5084605938 @default.
• W2570955003 hasBestOaLocation W25709550032 @default.
• W2570955003 hasConcept C111472728 @default.
• W2570955003 hasConcept C111498074 @default.
• W2570955003 hasConcept C112505250 @default.
• W2570955003 hasConcept C11413529 @default.
• W2570955003 hasConcept C119857082 @default.
• W2570955003 hasConcept C121332964 @default.
• W2570955003 hasConcept C124304363 @default.
• W2570955003 hasConcept C134306372 @default.
• W2570955003 hasConcept C138885662 @default.
• W2570955003 hasConcept C154945302 @default.
• W2570955003 hasConcept C158622935 @default.
• W2570955003 hasConcept C159985019 @default.
• W2570955003 hasConcept C192562407 @default.
• W2570955003 hasConcept C203479927 @default.
• W2570955003 hasConcept C204323151 @default.
• W2570955003 hasConcept C2776028153 @default.
• W2570955003 hasConcept C33923547 @default.
• W2570955003 hasConcept C41008148 @default.
• W2570955003 hasConcept C48103436 @default.
• W2570955003 hasConcept C50897621 @default.
• W2570955003 hasConcept C62520636 @default.
• W2570955003 hasConcept C63584917 @default.
• W2570955003 hasConcept C6557445 @default.
• W2570955003 hasConcept C73000952 @default.
• W2570955003 hasConcept C79379906 @default.
• W2570955003 hasConcept C80444323 @default.
• W2570955003 hasConcept C86803240 @default.
• W2570955003 hasConceptScore W2570955003C111472728 @default.
• W2570955003 hasConceptScore W2570955003C111498074 @default.
• W2570955003 hasConceptScore W2570955003C112505250 @default.
• W2570955003 hasConceptScore W2570955003C11413529 @default.
• W2570955003 hasConceptScore W2570955003C119857082 @default.
• W2570955003 hasConceptScore W2570955003C121332964 @default.
• W2570955003 hasConceptScore W2570955003C124304363 @default.
• W2570955003 hasConceptScore W2570955003C134306372 @default.
• W2570955003 hasConceptScore W2570955003C138885662 @default.
• W2570955003 hasConceptScore W2570955003C154945302 @default.
• W2570955003 hasConceptScore W2570955003C158622935 @default.
• W2570955003 hasConceptScore W2570955003C159985019 @default.
• W2570955003 hasConceptScore W2570955003C192562407 @default.
• W2570955003 hasConceptScore W2570955003C203479927 @default.
• W2570955003 hasConceptScore W2570955003C204323151 @default.
• W2570955003 hasConceptScore W2570955003C2776028153 @default.
• W2570955003 hasConceptScore W2570955003C33923547 @default.
• W2570955003 hasConceptScore W2570955003C41008148 @default.
• W2570955003 hasConceptScore W2570955003C48103436 @default.
• W2570955003 hasConceptScore W2570955003C50897621 @default.
• W2570955003 hasConceptScore W2570955003C62520636 @default.
• W2570955003 hasConceptScore W2570955003C63584917 @default.
• W2570955003 hasConceptScore W2570955003C6557445 @default.
• W2570955003 hasConceptScore W2570955003C73000952 @default.

• next