Matches in SemOpenAlex for { <https://semopenalex.org/work/W3022952807> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W3022952807 abstract "This paper introduces an original framework for planning and acting with hierarchical input/output automata for systems defined by the parallel composition of the models of their components. Typical applications are, for example, in harbor or warehouse automation. The framework extends the usual parallel composition operation of I/O au-tomata with a hierarchical composition operation that can refine a task. It defines planning as the synthesis of a control component to drive, through I/O interactions and task refinement, the system toward desired states. A new nondeterministic algorithm performs this synthesis. We tackle these issues on a theoretical basis. We formally define the representation and prove that the two operations of parallel and hierarchical composition are distributive, which is essential for the correctness and completeness of the proposed planning algorithm." @default.
- W3022952807 created "2020-05-13" @default.
- W3022952807 creator A5004581055 @default.
- W3022952807 creator A5038185516 @default.
- W3022952807 creator A5039482178 @default.
- W3022952807 creator A5084686808 @default.
- W3022952807 date "2017-06-01" @default.
- W3022952807 modified "2023-10-11" @default.
- W3022952807 title "Planning and Acting with Hierarchical Input/Output Automata" @default.
- W3022952807 cites W106053879 @default.
- W3022952807 cites W1230237032 @default.
- W3022952807 cites W125130877 @default.
- W3022952807 cites W1487268018 @default.
- W3022952807 cites W1498342204 @default.
- W3022952807 cites W1509999309 @default.
- W3022952807 cites W183138741 @default.
- W3022952807 cites W1973367484 @default.
- W3022952807 cites W1981627423 @default.
- W3022952807 cites W1994451575 @default.
- W3022952807 cites W2001680357 @default.
- W3022952807 cites W2021834578 @default.
- W3022952807 cites W2051722759 @default.
- W3022952807 cites W2057483083 @default.
- W3022952807 cites W2072963858 @default.
- W3022952807 cites W2085018315 @default.
- W3022952807 cites W2088406278 @default.
- W3022952807 cites W2099529102 @default.
- W3022952807 cites W2111481694 @default.
- W3022952807 cites W2122931894 @default.
- W3022952807 cites W2135622311 @default.
- W3022952807 cites W2147243315 @default.
- W3022952807 cites W2154612730 @default.
- W3022952807 cites W2171724570 @default.
- W3022952807 cites W2337098149 @default.
- W3022952807 cites W2479648088 @default.
- W3022952807 cites W3640929 @default.
- W3022952807 hasPublicationYear "2017" @default.
- W3022952807 type Work @default.
- W3022952807 sameAs 3022952807 @default.
- W3022952807 citedByCount "0" @default.
- W3022952807 crossrefType "proceedings-article" @default.
- W3022952807 hasAuthorship W3022952807A5004581055 @default.
- W3022952807 hasAuthorship W3022952807A5038185516 @default.
- W3022952807 hasAuthorship W3022952807A5039482178 @default.
- W3022952807 hasAuthorship W3022952807A5084686808 @default.
- W3022952807 hasBestOaLocation W30229528071 @default.
- W3022952807 hasConcept C112505250 @default.
- W3022952807 hasConcept C41008148 @default.
- W3022952807 hasConcept C80444323 @default.
- W3022952807 hasConceptScore W3022952807C112505250 @default.
- W3022952807 hasConceptScore W3022952807C41008148 @default.
- W3022952807 hasConceptScore W3022952807C80444323 @default.
- W3022952807 hasLocation W30229528071 @default.
- W3022952807 hasLocation W30229528072 @default.
- W3022952807 hasOpenAccess W3022952807 @default.
- W3022952807 hasPrimaryLocation W30229528071 @default.
- W3022952807 hasRelatedWork W2124122503 @default.
- W3022952807 hasRelatedWork W2130043461 @default.
- W3022952807 hasRelatedWork W2350741829 @default.
- W3022952807 hasRelatedWork W2358668433 @default.
- W3022952807 hasRelatedWork W2376932109 @default.
- W3022952807 hasRelatedWork W2382290278 @default.
- W3022952807 hasRelatedWork W2390279801 @default.
- W3022952807 hasRelatedWork W2748952813 @default.
- W3022952807 hasRelatedWork W2899084033 @default.
- W3022952807 hasRelatedWork W2530322880 @default.
- W3022952807 isParatext "false" @default.
- W3022952807 isRetracted "false" @default.
- W3022952807 magId "3022952807" @default.
- W3022952807 workType "article" @default.