On the supermal controllable sublanguage of a given language
SIAM Journal on Control and Optimization
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Introduction to Discrete Event Systems
Introduction to Discrete Event Systems
Composition of Interactive Web Services Based on Controller Synthesis
SERVICES '08 Proceedings of the 2008 IEEE Congress on Services - Part I
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
An algebraic definition of simulation between programs
IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
Automatic synthesis of new behaviors from a library of available behaviors
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Realising deterministic behavior from multiple non-deterministic behaviors
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Decision theoretic behavior composition
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Qualitative approximate behavior composition
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Automatic behavior composition synthesis
Artificial Intelligence
| Hi-index | 0.00 |
The behavior composition problem involves the automatic synthesis of a controller able to "realize" (i.e., implement) a desired target behavior specification by suitably coordinating a set of already available behaviors. While the problem has been thoroughly studied, one open issue has resisted a principled solution: if the target specification is not fully realizable, is there a way to realize it "at best"? In this paper we answer positively, by showing that there exists a unique supremal realizable target behavior satisfying the specification. More importantly we give an effective procedure to compute such a target. Then, we introduce exogenous events, and show that the supremal can again be computed, though this time, into two variants, depending on the ability to observe such events.