Kappé, T;
Arbab, F;
Talcott, C;
(2016)
A Compositional Framework for Preference-Aware Agents.
In: Kargahi, M and Trivedi, A, (eds.)
Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems.
(pp. pp. 21-35).
Open Publishing Association
Preview |
Text
Kappe_A compositional framework for preference-aware agents_VoR.pdf - Published Version Download (290kB) | Preview |
Abstract
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.
| Type: | Proceedings paper |
|---|---|
| Title: | A Compositional Framework for Preference-Aware Agents |
| Event: | The First Workshop on Verification and Validation of Cyber-Physical Systems |
| Location: | Reykjavík, Iceland |
| Dates: | 4th-5th June 2016 |
| Open access status: | An open access version is available from UCL Discovery |
| DOI: | 10.4204/EPTCS.232.6 |
| Publisher version: | http://eptcs.web.cse.unsw.edu.au/paper.cgi?V2CPS16... |
| Language: | English |
| Additional information: | This version is the version of record. For information on re-use, please refer to the publisher’s terms and conditions. |
| UCL classification: | UCL UCL > Provost and Vice Provost Offices UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science |
| URI: | https://discovery-pp.ucl.ac.uk/id/eprint/10068389 |
Archive Staff Only
 |
View Item |
