Matches in SemOpenAlex for { <https://semopenalex.org/work/W2901287300> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2901287300 endingPage "122" @default.
- W2901287300 startingPage "97" @default.
- W2901287300 abstract "As the automobile evolves toward full autonomy, many driver convenience and safety automation systems are being introduced into production vehicles. These systems often include controllers designed for individual tasks. Designing individual controllers for interacting subsystems, and composing them in a way that preserves the guarantees that each controller provides on each subsystem, is a challenging task. This chapter presents recent results addressing this problem through the use of formal methods and correct-by-construction controller synthesis. Mechanisms for handling implementation- and model imperfections, and contract-based composition of functionality, are discussed. The ideas are demonstrated in high-fidelity simulations in CarSim, and also on a real vehicle in Mcity, the autonomous vehicle testing facility at the University of Michigan." @default.
- W2901287300 created "2018-11-29" @default.
- W2901287300 creator A5054418471 @default.
- W2901287300 creator A5084385053 @default.
- W2901287300 date "2018-11-15" @default.
- W2901287300 modified "2023-09-25" @default.
- W2901287300 title "Provably-Correct Compositional Synthesis of Vehicle Safety Systems" @default.
- W2901287300 cites W1524886571 @default.
- W2901287300 cites W1608875152 @default.
- W2901287300 cites W1941176105 @default.
- W2901287300 cites W1991698050 @default.
- W2901287300 cites W2036383492 @default.
- W2901287300 cites W2057133391 @default.
- W2901287300 cites W2104619509 @default.
- W2901287300 cites W2124185518 @default.
- W2901287300 cites W2127580532 @default.
- W2901287300 cites W2140154822 @default.
- W2901287300 cites W2156628719 @default.
- W2901287300 cites W2160781031 @default.
- W2901287300 cites W2171505650 @default.
- W2901287300 cites W2292798165 @default.
- W2901287300 cites W2305588532 @default.
- W2901287300 cites W2343845444 @default.
- W2901287300 cites W2344321026 @default.
- W2901287300 cites W2487779201 @default.
- W2901287300 cites W2570272688 @default.
- W2901287300 cites W2779379498 @default.
- W2901287300 cites W2889708634 @default.
- W2901287300 cites W2964310440 @default.
- W2901287300 cites W3098925401 @default.
- W2901287300 cites W3106144869 @default.
- W2901287300 doi "https://doi.org/10.1007/978-3-319-97301-2_6" @default.
- W2901287300 hasPublicationYear "2018" @default.
- W2901287300 type Work @default.
- W2901287300 sameAs 2901287300 @default.
- W2901287300 citedByCount "3" @default.
- W2901287300 countsByYear W29012873002020 @default.
- W2901287300 crossrefType "book-chapter" @default.
- W2901287300 hasAuthorship W2901287300A5054418471 @default.
- W2901287300 hasAuthorship W2901287300A5084385053 @default.
- W2901287300 hasConcept C113364801 @default.
- W2901287300 hasConcept C115901376 @default.
- W2901287300 hasConcept C119599485 @default.
- W2901287300 hasConcept C127413603 @default.
- W2901287300 hasConcept C133731056 @default.
- W2901287300 hasConcept C149635348 @default.
- W2901287300 hasConcept C154945302 @default.
- W2901287300 hasConcept C201995342 @default.
- W2901287300 hasConcept C203479927 @default.
- W2901287300 hasConcept C2775924081 @default.
- W2901287300 hasConcept C2776053266 @default.
- W2901287300 hasConcept C2776068756 @default.
- W2901287300 hasConcept C2776459999 @default.
- W2901287300 hasConcept C2780451532 @default.
- W2901287300 hasConcept C41008148 @default.
- W2901287300 hasConcept C6557445 @default.
- W2901287300 hasConcept C76155785 @default.
- W2901287300 hasConcept C78519656 @default.
- W2901287300 hasConcept C86803240 @default.
- W2901287300 hasConcept C87833898 @default.
- W2901287300 hasConceptScore W2901287300C113364801 @default.
- W2901287300 hasConceptScore W2901287300C115901376 @default.
- W2901287300 hasConceptScore W2901287300C119599485 @default.
- W2901287300 hasConceptScore W2901287300C127413603 @default.
- W2901287300 hasConceptScore W2901287300C133731056 @default.
- W2901287300 hasConceptScore W2901287300C149635348 @default.
- W2901287300 hasConceptScore W2901287300C154945302 @default.
- W2901287300 hasConceptScore W2901287300C201995342 @default.
- W2901287300 hasConceptScore W2901287300C203479927 @default.
- W2901287300 hasConceptScore W2901287300C2775924081 @default.
- W2901287300 hasConceptScore W2901287300C2776053266 @default.
- W2901287300 hasConceptScore W2901287300C2776068756 @default.
- W2901287300 hasConceptScore W2901287300C2776459999 @default.
- W2901287300 hasConceptScore W2901287300C2780451532 @default.
- W2901287300 hasConceptScore W2901287300C41008148 @default.
- W2901287300 hasConceptScore W2901287300C6557445 @default.
- W2901287300 hasConceptScore W2901287300C76155785 @default.
- W2901287300 hasConceptScore W2901287300C78519656 @default.
- W2901287300 hasConceptScore W2901287300C86803240 @default.
- W2901287300 hasConceptScore W2901287300C87833898 @default.
- W2901287300 hasLocation W29012873001 @default.
- W2901287300 hasOpenAccess W2901287300 @default.
- W2901287300 hasPrimaryLocation W29012873001 @default.
- W2901287300 hasRelatedWork W1532762289 @default.
- W2901287300 hasRelatedWork W1596801655 @default.
- W2901287300 hasRelatedWork W2277606789 @default.
- W2901287300 hasRelatedWork W2358668433 @default.
- W2901287300 hasRelatedWork W2373011076 @default.
- W2901287300 hasRelatedWork W2376932109 @default.
- W2901287300 hasRelatedWork W2387147530 @default.
- W2901287300 hasRelatedWork W2390279801 @default.
- W2901287300 hasRelatedWork W2748952813 @default.
- W2901287300 hasRelatedWork W2899084033 @default.
- W2901287300 isParatext "false" @default.
- W2901287300 isRetracted "false" @default.
- W2901287300 magId "2901287300" @default.
- W2901287300 workType "book-chapter" @default.