Matches in SemOpenAlex for { <https://semopenalex.org/work/W65013896> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W65013896 abstract "This thesis proposes a practical framework for the verification and synthesis of hybrid systems, that is, systems combining continuous and discrete dynamics. The lack of methods for computing reachable sets of continuous dynamics has been the main obstacle towards an algorithmic verification methodology for hybrid systems. We develop two effective approximate reachability techniques for continuous systems based on an efficient representation of sets and a combination of techniques from simulation, computational geometry, optimization, and optimal control. One is specialized for linear systems and extended to systems with uncertain input, and the other can be applied for non-linear systems. Using these reachability techniques we develop a safety verification algorithm which can work for a broad class of hybrid systems with arbitrary continuous dynamics and rather general switching behavior. We next study the problem of synthesizing switching controllers for hybrid systems with respect to a safety property. We present an effective synthesis algorithm based on the calculation of the maximal invariant set and the approximate reachability techniques. Finally, we describe the experimental tool d/dt which provides automatic safety verification and controller synthesis for hybrid systems with linear differential inclusions. Besides numerous academic examples, we have successfully applied the tool to verify some practical systems." @default.
- W65013896 created "2016-06-24" @default.
- W65013896 creator A5013301555 @default.
- W65013896 date "2000-10-10" @default.
- W65013896 modified "2023-09-23" @default.
- W65013896 title "Verification and Synthesis of Hybrid Systems" @default.
- W65013896 hasPublicationYear "2000" @default.
- W65013896 type Work @default.
- W65013896 sameAs 65013896 @default.
- W65013896 citedByCount "22" @default.
- W65013896 countsByYear W650138962015 @default.
- W65013896 countsByYear W650138962016 @default.
- W65013896 crossrefType "dissertation" @default.
- W65013896 hasAuthorship W65013896A5013301555 @default.
- W65013896 hasConcept C111498074 @default.
- W65013896 hasConcept C11413529 @default.
- W65013896 hasConcept C119857082 @default.
- W65013896 hasConcept C121332964 @default.
- W65013896 hasConcept C134306372 @default.
- W65013896 hasConcept C136643341 @default.
- W65013896 hasConcept C17744445 @default.
- W65013896 hasConcept C190470478 @default.
- W65013896 hasConcept C199539241 @default.
- W65013896 hasConcept C203479927 @default.
- W65013896 hasConcept C2776359362 @default.
- W65013896 hasConcept C33923547 @default.
- W65013896 hasConcept C37914503 @default.
- W65013896 hasConcept C41008148 @default.
- W65013896 hasConcept C50897621 @default.
- W65013896 hasConcept C62520636 @default.
- W65013896 hasConcept C6557445 @default.
- W65013896 hasConcept C6802819 @default.
- W65013896 hasConcept C79379906 @default.
- W65013896 hasConcept C80444323 @default.
- W65013896 hasConcept C86803240 @default.
- W65013896 hasConcept C94625758 @default.
- W65013896 hasConceptScore W65013896C111498074 @default.
- W65013896 hasConceptScore W65013896C11413529 @default.
- W65013896 hasConceptScore W65013896C119857082 @default.
- W65013896 hasConceptScore W65013896C121332964 @default.
- W65013896 hasConceptScore W65013896C134306372 @default.
- W65013896 hasConceptScore W65013896C136643341 @default.
- W65013896 hasConceptScore W65013896C17744445 @default.
- W65013896 hasConceptScore W65013896C190470478 @default.
- W65013896 hasConceptScore W65013896C199539241 @default.
- W65013896 hasConceptScore W65013896C203479927 @default.
- W65013896 hasConceptScore W65013896C2776359362 @default.
- W65013896 hasConceptScore W65013896C33923547 @default.
- W65013896 hasConceptScore W65013896C37914503 @default.
- W65013896 hasConceptScore W65013896C41008148 @default.
- W65013896 hasConceptScore W65013896C50897621 @default.
- W65013896 hasConceptScore W65013896C62520636 @default.
- W65013896 hasConceptScore W65013896C6557445 @default.
- W65013896 hasConceptScore W65013896C6802819 @default.
- W65013896 hasConceptScore W65013896C79379906 @default.
- W65013896 hasConceptScore W65013896C80444323 @default.
- W65013896 hasConceptScore W65013896C86803240 @default.
- W65013896 hasConceptScore W65013896C94625758 @default.
- W65013896 hasOpenAccess W65013896 @default.
- W65013896 hasRelatedWork W1489501223 @default.
- W65013896 hasRelatedWork W1498285565 @default.
- W65013896 hasRelatedWork W1499853177 @default.
- W65013896 hasRelatedWork W1522448884 @default.
- W65013896 hasRelatedWork W1522694098 @default.
- W65013896 hasRelatedWork W1534714322 @default.
- W65013896 hasRelatedWork W1569692898 @default.
- W65013896 hasRelatedWork W1573344143 @default.
- W65013896 hasRelatedWork W1586568018 @default.
- W65013896 hasRelatedWork W1726255445 @default.
- W65013896 hasRelatedWork W1900127520 @default.
- W65013896 hasRelatedWork W2004463571 @default.
- W65013896 hasRelatedWork W2060095702 @default.
- W65013896 hasRelatedWork W2101508170 @default.
- W65013896 hasRelatedWork W2123357397 @default.
- W65013896 hasRelatedWork W2129965357 @default.
- W65013896 hasRelatedWork W2147340401 @default.
- W65013896 hasRelatedWork W2162196264 @default.
- W65013896 hasRelatedWork W2163590987 @default.
- W65013896 hasRelatedWork W2165489953 @default.
- W65013896 isParatext "false" @default.
- W65013896 isRetracted "false" @default.
- W65013896 magId "65013896" @default.
- W65013896 workType "dissertation" @default.