Matches in SemOpenAlex for { <https://semopenalex.org/work/W2616839929> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2616839929 endingPage "360" @default.
- W2616839929 startingPage "355" @default.
- W2616839929 abstract "In this paper a systematic methodology to derive controllers for hybrid automata which satisfy eventuality specifications is presented. Since the considered class of automata accepts both continuous and discrete control inputs a two level hierarchical control architecture is proposed. Due to the existence of disturbance inputs, the problem is studied in a game theoretic framework. We show that a least restrictive eventuality controller does not exist and we propose a dynamic programming algorithm that determines the maximal set of initial states from which there exists a solution to the problem and specifies the controller. The controller is finally extracted as the solntion to a system of Hamilton-Jacobi equations" @default.
- W2616839929 created "2017-05-26" @default.
- W2616839929 creator A5002259411 @default.
- W2616839929 creator A5025818290 @default.
- W2616839929 date "2003-06-01" @default.
- W2616839929 modified "2023-09-23" @default.
- W2616839929 title "Hierarchical Control Synthesis for Eventuality Specifications in Hybrid Systems" @default.
- W2616839929 cites W1900127520 @default.
- W2616839929 cites W2051955897 @default.
- W2616839929 cites W2109006312 @default.
- W2616839929 cites W2129965357 @default.
- W2616839929 cites W2154532439 @default.
- W2616839929 cites W2165489953 @default.
- W2616839929 doi "https://doi.org/10.1016/s1474-6670(17)36457-1" @default.
- W2616839929 hasPublicationYear "2003" @default.
- W2616839929 type Work @default.
- W2616839929 sameAs 2616839929 @default.
- W2616839929 citedByCount "0" @default.
- W2616839929 crossrefType "journal-article" @default.
- W2616839929 hasAuthorship W2616839929A5002259411 @default.
- W2616839929 hasAuthorship W2616839929A5025818290 @default.
- W2616839929 hasConcept C112505250 @default.
- W2616839929 hasConcept C119857082 @default.
- W2616839929 hasConcept C126255220 @default.
- W2616839929 hasConcept C127413603 @default.
- W2616839929 hasConcept C133731056 @default.
- W2616839929 hasConcept C154945302 @default.
- W2616839929 hasConcept C177264268 @default.
- W2616839929 hasConcept C199360897 @default.
- W2616839929 hasConcept C203479927 @default.
- W2616839929 hasConcept C2775924081 @default.
- W2616839929 hasConcept C2776028153 @default.
- W2616839929 hasConcept C2777212361 @default.
- W2616839929 hasConcept C33923547 @default.
- W2616839929 hasConcept C37404715 @default.
- W2616839929 hasConcept C41008148 @default.
- W2616839929 hasConcept C47446073 @default.
- W2616839929 hasConcept C50897621 @default.
- W2616839929 hasConcept C6557445 @default.
- W2616839929 hasConcept C80444323 @default.
- W2616839929 hasConcept C86803240 @default.
- W2616839929 hasConceptScore W2616839929C112505250 @default.
- W2616839929 hasConceptScore W2616839929C119857082 @default.
- W2616839929 hasConceptScore W2616839929C126255220 @default.
- W2616839929 hasConceptScore W2616839929C127413603 @default.
- W2616839929 hasConceptScore W2616839929C133731056 @default.
- W2616839929 hasConceptScore W2616839929C154945302 @default.
- W2616839929 hasConceptScore W2616839929C177264268 @default.
- W2616839929 hasConceptScore W2616839929C199360897 @default.
- W2616839929 hasConceptScore W2616839929C203479927 @default.
- W2616839929 hasConceptScore W2616839929C2775924081 @default.
- W2616839929 hasConceptScore W2616839929C2776028153 @default.
- W2616839929 hasConceptScore W2616839929C2777212361 @default.
- W2616839929 hasConceptScore W2616839929C33923547 @default.
- W2616839929 hasConceptScore W2616839929C37404715 @default.
- W2616839929 hasConceptScore W2616839929C41008148 @default.
- W2616839929 hasConceptScore W2616839929C47446073 @default.
- W2616839929 hasConceptScore W2616839929C50897621 @default.
- W2616839929 hasConceptScore W2616839929C6557445 @default.
- W2616839929 hasConceptScore W2616839929C80444323 @default.
- W2616839929 hasConceptScore W2616839929C86803240 @default.
- W2616839929 hasIssue "6" @default.
- W2616839929 hasLocation W26168399291 @default.
- W2616839929 hasOpenAccess W2616839929 @default.
- W2616839929 hasPrimaryLocation W26168399291 @default.
- W2616839929 hasRelatedWork W1590047110 @default.
- W2616839929 hasRelatedWork W1594627722 @default.
- W2616839929 hasRelatedWork W2068954569 @default.
- W2616839929 hasRelatedWork W2154532439 @default.
- W2616839929 hasRelatedWork W2160647525 @default.
- W2616839929 hasRelatedWork W2379339596 @default.
- W2616839929 hasRelatedWork W2614633113 @default.
- W2616839929 hasRelatedWork W2616809300 @default.
- W2616839929 hasRelatedWork W2616839929 @default.
- W2616839929 hasRelatedWork W285872204 @default.
- W2616839929 hasVolume "36" @default.
- W2616839929 isParatext "false" @default.
- W2616839929 isRetracted "false" @default.
- W2616839929 magId "2616839929" @default.
- W2616839929 workType "article" @default.