Matches in SemOpenAlex for { <https://semopenalex.org/work/W2023183798> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2023183798 abstract "In the search of design principles that allow compositional reasoning about safety and stability properties of hybrid controllers we examine a case study on a simplified driver assistance system for lane keeping and velocity control. We thereby target loosely coupled systems: the composed system has to accomplish a task that may depend on several of its subcomponents while little coordination between them is necessary. Our assistance system has to accomplish a comfortable centrifugal force, lane keeping and velocity control. This leads to an architecture composed of a velocity controller and a steering controller, where each controller has its local objectives and together they maintain a global objective. The steering controller makes time bounded promises about its steering, which the velocity controller uses for optimization. For this system, we deductively prove from the components' properties that the objectives of the composed system are accomplished." @default.
- W2023183798 created "2016-06-24" @default.
- W2023183798 creator A5018009456 @default.
- W2023183798 creator A5053665575 @default.
- W2023183798 creator A5076336925 @default.
- W2023183798 date "2014-04-15" @default.
- W2023183798 modified "2023-09-27" @default.
- W2023183798 title "Component based design of hybrid systems" @default.
- W2023183798 cites W1607353007 @default.
- W2023183798 cites W1883009234 @default.
- W2023183798 cites W2085138905 @default.
- W2023183798 cites W2233931405 @default.
- W2023183798 doi "https://doi.org/10.1145/2562059.2562120" @default.
- W2023183798 hasPublicationYear "2014" @default.
- W2023183798 type Work @default.
- W2023183798 sameAs 2023183798 @default.
- W2023183798 citedByCount "12" @default.
- W2023183798 countsByYear W20231837982014 @default.
- W2023183798 countsByYear W20231837982015 @default.
- W2023183798 countsByYear W20231837982016 @default.
- W2023183798 countsByYear W20231837982017 @default.
- W2023183798 crossrefType "proceedings-article" @default.
- W2023183798 hasAuthorship W2023183798A5018009456 @default.
- W2023183798 hasAuthorship W2023183798A5053665575 @default.
- W2023183798 hasAuthorship W2023183798A5076336925 @default.
- W2023183798 hasConcept C112972136 @default.
- W2023183798 hasConcept C119599485 @default.
- W2023183798 hasConcept C119857082 @default.
- W2023183798 hasConcept C121332964 @default.
- W2023183798 hasConcept C127413603 @default.
- W2023183798 hasConcept C133731056 @default.
- W2023183798 hasConcept C134306372 @default.
- W2023183798 hasConcept C154945302 @default.
- W2023183798 hasConcept C168167062 @default.
- W2023183798 hasConcept C17500928 @default.
- W2023183798 hasConcept C201995342 @default.
- W2023183798 hasConcept C203479927 @default.
- W2023183798 hasConcept C2775924081 @default.
- W2023183798 hasConcept C2780451532 @default.
- W2023183798 hasConcept C33923547 @default.
- W2023183798 hasConcept C34388435 @default.
- W2023183798 hasConcept C41008148 @default.
- W2023183798 hasConcept C47446073 @default.
- W2023183798 hasConcept C50897621 @default.
- W2023183798 hasConcept C6557445 @default.
- W2023183798 hasConcept C86803240 @default.
- W2023183798 hasConcept C97355855 @default.
- W2023183798 hasConceptScore W2023183798C112972136 @default.
- W2023183798 hasConceptScore W2023183798C119599485 @default.
- W2023183798 hasConceptScore W2023183798C119857082 @default.
- W2023183798 hasConceptScore W2023183798C121332964 @default.
- W2023183798 hasConceptScore W2023183798C127413603 @default.
- W2023183798 hasConceptScore W2023183798C133731056 @default.
- W2023183798 hasConceptScore W2023183798C134306372 @default.
- W2023183798 hasConceptScore W2023183798C154945302 @default.
- W2023183798 hasConceptScore W2023183798C168167062 @default.
- W2023183798 hasConceptScore W2023183798C17500928 @default.
- W2023183798 hasConceptScore W2023183798C201995342 @default.
- W2023183798 hasConceptScore W2023183798C203479927 @default.
- W2023183798 hasConceptScore W2023183798C2775924081 @default.
- W2023183798 hasConceptScore W2023183798C2780451532 @default.
- W2023183798 hasConceptScore W2023183798C33923547 @default.
- W2023183798 hasConceptScore W2023183798C34388435 @default.
- W2023183798 hasConceptScore W2023183798C41008148 @default.
- W2023183798 hasConceptScore W2023183798C47446073 @default.
- W2023183798 hasConceptScore W2023183798C50897621 @default.
- W2023183798 hasConceptScore W2023183798C6557445 @default.
- W2023183798 hasConceptScore W2023183798C86803240 @default.
- W2023183798 hasConceptScore W2023183798C97355855 @default.
- W2023183798 hasFunder F4320320879 @default.
- W2023183798 hasLocation W20231837981 @default.
- W2023183798 hasOpenAccess W2023183798 @default.
- W2023183798 hasPrimaryLocation W20231837981 @default.
- W2023183798 hasRelatedWork W1620357657 @default.
- W2023183798 hasRelatedWork W1987637264 @default.
- W2023183798 hasRelatedWork W2047787160 @default.
- W2023183798 hasRelatedWork W2075475981 @default.
- W2023183798 hasRelatedWork W2088852141 @default.
- W2023183798 hasRelatedWork W2351150037 @default.
- W2023183798 hasRelatedWork W2365785480 @default.
- W2023183798 hasRelatedWork W2393509435 @default.
- W2023183798 hasRelatedWork W2791491203 @default.
- W2023183798 hasRelatedWork W2182011417 @default.
- W2023183798 isParatext "false" @default.
- W2023183798 isRetracted "false" @default.
- W2023183798 magId "2023183798" @default.
- W2023183798 workType "article" @default.