A Compositional Framework for Preference-Aware Agents

Tobias Kappé
(LIACS, Leiden University Leiden and Centrum Wiskunde & Informatica Amsterdam, The Netherlands)
Farhad Arbab
(LIACS, Leiden University Leiden and Centrum Wiskunde & Informatica Amsterdam, The Netherlands)
Carolyn Talcott
(SRI International, USA)

A formal description of a Cyber-Physical system should include a rigorous specification of the computational and physical components involved, as well as their interaction. Such a description, thus, lends itself to a compositional model where every module in the model specifies the behavior of a (computational or physical) component or the interaction between different components. We propose a framework based on Soft Constraint Automata that facilitates the component-wise description of such systems and includes the tools necessary to compose subsystems in a meaningful way, to yield a description of the entire system. Most importantly, Soft Constraint Automata allow the description and composition of components' preferences as well as environmental constraints in a uniform fashion. We illustrate the utility of our framework using a detailed description of a patrolling robot, while highlighting methods of composition as well as possible techniques to employ them.

In Mehdi Kargahi and Ashutosh Trivedi: Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems (V2CPS-16), Reykjavík, Iceland, June 4-5, 2016, Electronic Proceedings in Theoretical Computer Science 232, pp. 21–35.
Published: 13th December 2016.

ArXived at: http://dx.doi.org/10.4204/EPTCS.232.6 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org