Automatic synthesis of a global behavior from multiple distributed behaviors

Authors:
Sebastian Sardina;Fabio Patrizi;Giuseppe De Giacomo
Affiliations:
Department of Computer Science, RMIT University, Melbourne, Australia;Dipartimento di Informatica e Sistemistica, Sapienza Universita' di Roma, Roma, Italy;Dipartimento di Informatica e Sistemistica, Sapienza Universita' di Roma, Roma, Italy
Venue:
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Year:
2007

Citing 9
Cited 7

On the synthesis of a reactive module

POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Dynamic Logic

Dynamic Logic
Synthesizing Distributed Systems

LICS '01 Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science
Automatic composition of transition-based semantic web services with messaging

VLDB '05 Proceedings of the 31st international conference on Very large data bases
PEIS ecologies: ambient intelligence meets autonomous robotics

Proceedings of the 2005 joint conference on Smart objects and ambient intelligence: innovative context-aware services: usages and technologies
Distributed reactive systems are hard to synthesize

SFCS '90 Proceedings of the 31st Annual Symposium on Foundations of Computer Science
Automatic synthesis of new behaviors from a library of available behaviors

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Learning finite-state controllers for partially observable environments

UAI'99 Proceedings of the Fifteenth conference on Uncertainty in artificial intelligence
RoboCup 2005: robot Soccer World Cup IX

RoboCup 2005: robot Soccer World Cup IX

Synthesis from Component Libraries

FOSSACS '09 Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition

Electronic Notes in Theoretical Computer Science (ENTCS)
Realising deterministic behavior from multiple non-deterministic behaviors

IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Automated composition of Web services via planning in asynchronous domains

Artificial Intelligence
Automated composition of nondeterministic stateful services

WS-FM'09 Proceedings of the 6th international conference on Web services and formal methods
Behavior based service composition

WS-FM'11 Proceedings of the 8th international conference on Web Services and Formal Methods
Automatic behavior composition synthesis

Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

We consider the problem of synthesizing a team of local behavior controllers to realize a fully controllable target behavior from a set of available partially controllable behaviors that execute distributively within a shared partially predictable, but fully observable, environment. Available behaviors stand for existing distributed components and are represented with (finite) nondeterministic transition systems. The target behavior is assumed to be fully deterministic and stands for the collective behavior that the system as a whole needs to guarantee. We formally define the problem within a general framework, characterize its computational complexity, and propose techniques to actually generate a solution. Also, we investigate the relationship between the distributed solutions and the centralized ones, in which a single global controller is conceivable.