Matches in SemOpenAlex for { <https://semopenalex.org/work/W16408511> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W16408511 abstract "In this thesis, we present a formal control strategy synthesis algorithm for multirobot systems subject to both individual specications and collaboration requirements. We work in an environment that has been abstracted into nonoverlapping regions. The specications are expressed in Linear Temporal Logic, constructed over some predicates on the actions performed by the robots. Each collaboration requirement is given as a set of complementary actions which are distributed on the robots and must always be performed at the same time. In order to avoid computing a synchronized product of the robot behaviours we consider extracting a satisfying run for each agent. These runs satisfy the individual specications but a priori do not meet the collaboration requirements since they are picked in an individual manner. We study the conditions under which we can enforce these collaboration constraints (synchronize the robots) without violating the specications. Under the reasonnable assumption that all the regions are connected to each other, we prove that this property only depends on the sequences of actions performed by the robots. We formulate sufcient conditions for the property to hold, and propose a procedure for revising the initial sequences to solve the problem. The main contribution of this thesis is that it addresses the formal control of collaborative robots without computing any product between Transition Systems. In particular it proposes a characterization of deadlocks, resulting in a computational framework for their detection and removal." @default.
- W16408511 created "2016-06-24" @default.
- W16408511 creator A5024741358 @default.
- W16408511 date "2013-01-01" @default.
- W16408511 modified "2023-09-26" @default.
- W16408511 title "Synthesis Algorithm of Control Strategy for Multi-Robot Systems with Collaborative Behavior under LTL Specifications" @default.
- W16408511 hasPublicationYear "2013" @default.
- W16408511 type Work @default.
- W16408511 sameAs 16408511 @default.
- W16408511 citedByCount "0" @default.
- W16408511 crossrefType "journal-article" @default.
- W16408511 hasAuthorship W16408511A5024741358 @default.
- W16408511 hasConcept C111472728 @default.
- W16408511 hasConcept C11413529 @default.
- W16408511 hasConcept C120314980 @default.
- W16408511 hasConcept C138885662 @default.
- W16408511 hasConcept C154945302 @default.
- W16408511 hasConcept C177264268 @default.
- W16408511 hasConcept C189950617 @default.
- W16408511 hasConcept C199360897 @default.
- W16408511 hasConcept C25016198 @default.
- W16408511 hasConcept C2524010 @default.
- W16408511 hasConcept C33923547 @default.
- W16408511 hasConcept C41008148 @default.
- W16408511 hasConcept C4777664 @default.
- W16408511 hasConcept C75553542 @default.
- W16408511 hasConcept C80444323 @default.
- W16408511 hasConcept C90509273 @default.
- W16408511 hasConcept C90673727 @default.
- W16408511 hasConceptScore W16408511C111472728 @default.
- W16408511 hasConceptScore W16408511C11413529 @default.
- W16408511 hasConceptScore W16408511C120314980 @default.
- W16408511 hasConceptScore W16408511C138885662 @default.
- W16408511 hasConceptScore W16408511C154945302 @default.
- W16408511 hasConceptScore W16408511C177264268 @default.
- W16408511 hasConceptScore W16408511C189950617 @default.
- W16408511 hasConceptScore W16408511C199360897 @default.
- W16408511 hasConceptScore W16408511C25016198 @default.
- W16408511 hasConceptScore W16408511C2524010 @default.
- W16408511 hasConceptScore W16408511C33923547 @default.
- W16408511 hasConceptScore W16408511C41008148 @default.
- W16408511 hasConceptScore W16408511C4777664 @default.
- W16408511 hasConceptScore W16408511C75553542 @default.
- W16408511 hasConceptScore W16408511C80444323 @default.
- W16408511 hasConceptScore W16408511C90509273 @default.
- W16408511 hasConceptScore W16408511C90673727 @default.
- W16408511 hasLocation W164085111 @default.
- W16408511 hasOpenAccess W16408511 @default.
- W16408511 hasPrimaryLocation W164085111 @default.
- W16408511 hasRelatedWork W128966792 @default.
- W16408511 hasRelatedWork W1495528205 @default.
- W16408511 hasRelatedWork W1529423158 @default.
- W16408511 hasRelatedWork W1549417369 @default.
- W16408511 hasRelatedWork W1941942257 @default.
- W16408511 hasRelatedWork W1972590691 @default.
- W16408511 hasRelatedWork W1987604851 @default.
- W16408511 hasRelatedWork W2037336931 @default.
- W16408511 hasRelatedWork W2101113119 @default.
- W16408511 hasRelatedWork W2102804475 @default.
- W16408511 hasRelatedWork W2139981958 @default.
- W16408511 hasRelatedWork W2235028240 @default.
- W16408511 hasRelatedWork W2398740524 @default.
- W16408511 hasRelatedWork W2919979355 @default.
- W16408511 hasRelatedWork W2950778660 @default.
- W16408511 hasRelatedWork W2951376615 @default.
- W16408511 hasRelatedWork W2973769628 @default.
- W16408511 hasRelatedWork W2991392150 @default.
- W16408511 hasRelatedWork W2995173310 @default.
- W16408511 hasRelatedWork W2098549968 @default.
- W16408511 isParatext "false" @default.
- W16408511 isRetracted "false" @default.
- W16408511 magId "16408511" @default.
- W16408511 workType "article" @default.