FRINK Linked Data Fragments server

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

• W2013202293 abstract "In this paper, the cooperative tasking and automatic controller synthesis problem for multi-agent systems are investigated. It is assumed that the global specification is given as regular languages while the multi-agent system is modeled as a concurrent discrete-event system defined by a collection of finite automata that interact with each other. A top-down and iterative design approach is pursued and the basic idea is to divide-and-conquer. First, the global specification is decomposed into subtasks with respect to each individual agents event sets. Then, a local supervisor is automatically synthesized for each agent respectively using learning based approaches. Thirdly, we use the assume-guarantee reasoning to check whether the collective behaviors of the local controlled agents can satisfy the global specification. Once the checking fails, a counterexample is generated and used to modify the task decomposition and the automatic synthesis process repeats. It is proved that the iterative process converges and a correctness of the design process is guaranteed. Finally, the design process is illustrated through a robot cooperative tasking example." @default.
• W2013202293 created "2016-06-24" @default.
• W2013202293 creator A5045445273 @default.
• W2013202293 creator A5090819411 @default.
• W2013202293 date "2014-12-01" @default.
• W2013202293 modified "2023-09-26" @default.
• W2013202293 title "Automatic synthesis of cooperative multi-agent systems" @default.
• W2013202293 cites W1424654272 @default.
• W2013202293 cites W1590437595 @default.
• W2013202293 cites W1783859360 @default.
• W2013202293 cites W1979349468 @default.
• W2013202293 cites W1988883016 @default.
• W2013202293 cites W1989445634 @default.
• W2013202293 cites W1991596047 @default.
• W2013202293 cites W1997577607 @default.
• W2013202293 cites W2002854550 @default.
• W2013202293 cites W2018380024 @default.
• W2013202293 cites W2024237079 @default.
• W2013202293 cites W2051242440 @default.
• W2013202293 cites W2059057465 @default.
• W2013202293 cites W2071797744 @default.
• W2013202293 cites W2082784990 @default.
• W2013202293 cites W2099096979 @default.
• W2013202293 cites W2117013774 @default.
• W2013202293 cites W2151958719 @default.
• W2013202293 cites W2170448441 @default.
• W2013202293 doi "https://doi.org/10.1109/cdc.2014.7040356" @default.
• W2013202293 hasPublicationYear "2014" @default.
• W2013202293 type Work @default.
• W2013202293 sameAs 2013202293 @default.
• W2013202293 citedByCount "13" @default.
• W2013202293 countsByYear W20132022932015 @default.
• W2013202293 countsByYear W20132022932016 @default.
• W2013202293 countsByYear W20132022932017 @default.
• W2013202293 countsByYear W20132022932018 @default.
• W2013202293 countsByYear W20132022932019 @default.
• W2013202293 countsByYear W20132022932020 @default.
• W2013202293 crossrefType "proceedings-article" @default.
• W2013202293 hasAuthorship W2013202293A5045445273 @default.
• W2013202293 hasAuthorship W2013202293A5090819411 @default.
• W2013202293 hasConcept C112505250 @default.
• W2013202293 hasConcept C118615104 @default.
• W2013202293 hasConcept C120314980 @default.
• W2013202293 hasConcept C121332964 @default.
• W2013202293 hasConcept C124681953 @default.
• W2013202293 hasConcept C154945302 @default.
• W2013202293 hasConcept C161771561 @default.
• W2013202293 hasConcept C162838799 @default.
• W2013202293 hasConcept C167822520 @default.
• W2013202293 hasConcept C17744445 @default.
• W2013202293 hasConcept C18903297 @default.
• W2013202293 hasConcept C199360897 @default.
• W2013202293 hasConcept C199539241 @default.
• W2013202293 hasConcept C201677973 @default.
• W2013202293 hasConcept C2779110517 @default.
• W2013202293 hasConcept C2779662365 @default.
• W2013202293 hasConcept C33923547 @default.
• W2013202293 hasConcept C41008148 @default.
• W2013202293 hasConcept C41550386 @default.
• W2013202293 hasConcept C55439883 @default.
• W2013202293 hasConcept C62520636 @default.
• W2013202293 hasConcept C71559656 @default.
• W2013202293 hasConcept C80444323 @default.
• W2013202293 hasConcept C86803240 @default.
• W2013202293 hasConcept C98045186 @default.
• W2013202293 hasConceptScore W2013202293C112505250 @default.
• W2013202293 hasConceptScore W2013202293C118615104 @default.
• W2013202293 hasConceptScore W2013202293C120314980 @default.
• W2013202293 hasConceptScore W2013202293C121332964 @default.
• W2013202293 hasConceptScore W2013202293C124681953 @default.
• W2013202293 hasConceptScore W2013202293C154945302 @default.
• W2013202293 hasConceptScore W2013202293C161771561 @default.
• W2013202293 hasConceptScore W2013202293C162838799 @default.
• W2013202293 hasConceptScore W2013202293C167822520 @default.
• W2013202293 hasConceptScore W2013202293C17744445 @default.
• W2013202293 hasConceptScore W2013202293C18903297 @default.
• W2013202293 hasConceptScore W2013202293C199360897 @default.
• W2013202293 hasConceptScore W2013202293C199539241 @default.
• W2013202293 hasConceptScore W2013202293C201677973 @default.
• W2013202293 hasConceptScore W2013202293C2779110517 @default.
• W2013202293 hasConceptScore W2013202293C2779662365 @default.
• W2013202293 hasConceptScore W2013202293C33923547 @default.
• W2013202293 hasConceptScore W2013202293C41008148 @default.
• W2013202293 hasConceptScore W2013202293C41550386 @default.
• W2013202293 hasConceptScore W2013202293C55439883 @default.
• W2013202293 hasConceptScore W2013202293C62520636 @default.
• W2013202293 hasConceptScore W2013202293C71559656 @default.
• W2013202293 hasConceptScore W2013202293C80444323 @default.
• W2013202293 hasConceptScore W2013202293C86803240 @default.
• W2013202293 hasConceptScore W2013202293C98045186 @default.
• W2013202293 hasLocation W20132022931 @default.
• W2013202293 hasOpenAccess W2013202293 @default.
• W2013202293 hasPrimaryLocation W20132022931 @default.
• W2013202293 hasRelatedWork W1498432697 @default.
• W2013202293 hasRelatedWork W1587663028 @default.
• W2013202293 hasRelatedWork W1590115654 @default.
• W2013202293 hasRelatedWork W1986865005 @default.
• W2013202293 hasRelatedWork W1989445634 @default.
• W2013202293 hasRelatedWork W1989495662 @default.
• W2013202293 hasRelatedWork W1993346185 @default.

• next