Supremal Realizability of Behaviors with Uncontrollable Exogenous Events
Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence. Pages 1176-1181.
Abstract
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.
@inproceedings{ijcai2013p177,
title = {Supremal Realizability of Behaviors with Uncontrollable Exogenous Events},
author = {Yadav, Nitin and Felli, Paolo and De Giacomo, Giuseppe and Sardina, Sebastian},
booktitle = {Proceedings of the Twenty-Third International Joint Conference on
Artificial Intelligence, {IJCAI-13}},
publisher = {AAAI Press / International Joint Conferences on Artificial Intelligence},
editor = {Francesca Rossi},
pages = {1176--1181},
year = {2013},
month = {8},
url = {https://ijcai.org/proceedings/2013/177},
}
TY - CPAPER TI - Supremal Realizability of Behaviors with Uncontrollable Exogenous Events AU - Yadav, Nitin AU - Felli, Paolo AU - De Giacomo, Giuseppe AU - Sardina, Sebastian T2 - Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI-13 PB - AAAI Press / International Joint Conferences on Artificial Intelligence PY - 2013 SP - 1176 EP - 1181 UR - https://ijcai.org/proceedings/2013/177 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
