FRINK Linked Data Fragments server

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

• W2099354898 endingPage "1001" @default.
• W2099354898 startingPage "986" @default.
• W2099354898 abstract "Hybrid system theory lies at the intersection of the fields of engineering control theory and computer science verification. It is defined as the modeling, analysis, and control of systems that involve the interaction of both discrete state systems, represented by finite automata, and continuous state dynamics, represented by differential equations. The embedded autopilot of a modern commercial jet is a prime example of a hybrid system: the autopilot modes correspond to the application of different control laws, and the logic of mode switching is determined by the continuous state dynamics of the aircraft, as well as through interaction with the pilot. To understand the behavior of hybrid systems, to simulate, and to control these systems, theoretical advances, analyses, and numerical tools are needed. In this paper, we first present a general model for a hybrid system along with an overview of methods for verifying continuous and hybrid systems. We describe a particular verification technique for hybrid systems, based on two-person zero-sum game theory for automata and continuous dynamical systems. We then outline a numerical implementation of this technique using level set methods, and we demonstrate its use in the design and analysis of aircraft collision avoidance protocols and in verification of autopilot logic." @default.
• W2099354898 created "2016-06-24" @default.
• W2099354898 creator A5021116704 @default.
• W2099354898 creator A5045155646 @default.
• W2099354898 creator A5070060161 @default.
• W2099354898 creator A5086488324 @default.
• W2099354898 date "2003-07-01" @default.
• W2099354898 modified "2023-10-03" @default.
• W2099354898 title "Computational techniques for the verification of hybrid systems" @default.
• W2099354898 cites W1487586009 @default.
• W2099354898 cites W1504756454 @default.
• W2099354898 cites W153353184 @default.
• W2099354898 cites W1569051713 @default.
• W2099354898 cites W1582694860 @default.
• W2099354898 cites W1598634407 @default.
• W2099354898 cites W1604704855 @default.
• W2099354898 cites W1868193499 @default.
• W2099354898 cites W1879112630 @default.
• W2099354898 cites W1964996923 @default.
• W2099354898 cites W1991113069 @default.
• W2099354898 cites W2011403367 @default.
• W2099354898 cites W2023499821 @default.
• W2099354898 cites W2027438381 @default.
• W2099354898 cites W2059057465 @default.
• W2099354898 cites W2060095702 @default.
• W2099354898 cites W2061438988 @default.
• W2099354898 cites W2079578802 @default.
• W2099354898 cites W2099687889 @default.
• W2099354898 cites W2101508170 @default.
• W2099354898 cites W2105826449 @default.
• W2099354898 cites W2115309705 @default.
• W2099354898 cites W2115595609 @default.
• W2099354898 cites W2116364955 @default.
• W2099354898 cites W2117441058 @default.
• W2099354898 cites W2123357397 @default.
• W2099354898 cites W2127513952 @default.
• W2099354898 cites W2144965436 @default.
• W2099354898 cites W2147340401 @default.
• W2099354898 cites W2161581263 @default.
• W2099354898 cites W2165489953 @default.
• W2099354898 cites W3010292040 @default.
• W2099354898 cites W4212901716 @default.
• W2099354898 cites W4240424600 @default.
• W2099354898 cites W4241127195 @default.
• W2099354898 cites W4244726376 @default.
• W2099354898 cites W4297744580 @default.
• W2099354898 doi "https://doi.org/10.1109/jproc.2003.814621" @default.
• W2099354898 hasPublicationYear "2003" @default.
• W2099354898 type Work @default.
• W2099354898 sameAs 2099354898 @default.
• W2099354898 citedByCount "322" @default.
• W2099354898 countsByYear W20993548982012 @default.
• W2099354898 countsByYear W20993548982013 @default.
• W2099354898 countsByYear W20993548982014 @default.
• W2099354898 countsByYear W20993548982015 @default.
• W2099354898 countsByYear W20993548982016 @default.
• W2099354898 countsByYear W20993548982017 @default.
• W2099354898 countsByYear W20993548982018 @default.
• W2099354898 countsByYear W20993548982019 @default.
• W2099354898 countsByYear W20993548982020 @default.
• W2099354898 countsByYear W20993548982021 @default.
• W2099354898 countsByYear W20993548982022 @default.
• W2099354898 countsByYear W20993548982023 @default.
• W2099354898 crossrefType "journal-article" @default.
• W2099354898 hasAuthorship W2099354898A5021116704 @default.
• W2099354898 hasAuthorship W2099354898A5045155646 @default.
• W2099354898 hasAuthorship W2099354898A5070060161 @default.
• W2099354898 hasAuthorship W2099354898A5086488324 @default.
• W2099354898 hasBestOaLocation W20993548982 @default.
• W2099354898 hasConcept C112505250 @default.
• W2099354898 hasConcept C11413529 @default.
• W2099354898 hasConcept C119599485 @default.
• W2099354898 hasConcept C119857082 @default.
• W2099354898 hasConcept C121332964 @default.
• W2099354898 hasConcept C126255220 @default.
• W2099354898 hasConcept C127413603 @default.
• W2099354898 hasConcept C133731056 @default.
• W2099354898 hasConcept C146978453 @default.
• W2099354898 hasConcept C154945302 @default.
• W2099354898 hasConcept C17500928 @default.
• W2099354898 hasConcept C18020424 @default.
• W2099354898 hasConcept C203479927 @default.
• W2099354898 hasConcept C2775924081 @default.
• W2099354898 hasConcept C2776028153 @default.
• W2099354898 hasConcept C2779006483 @default.
• W2099354898 hasConcept C33923547 @default.
• W2099354898 hasConcept C41008148 @default.
• W2099354898 hasConcept C47446073 @default.
• W2099354898 hasConcept C48103436 @default.
• W2099354898 hasConcept C50897621 @default.
• W2099354898 hasConcept C62520636 @default.
• W2099354898 hasConcept C64543145 @default.
• W2099354898 hasConcept C6557445 @default.
• W2099354898 hasConcept C79379906 @default.
• W2099354898 hasConcept C80444323 @default.
• W2099354898 hasConcept C86803240 @default.
• W2099354898 hasConceptScore W2099354898C112505250 @default.
• W2099354898 hasConceptScore W2099354898C11413529 @default.

• next