Supervisory control for behavior composition

Felli, P, Yadav, N and Sardina, S 2017, 'Supervisory control for behavior composition', IEEE Transactions on Automatic Control, vol. 62, no. 2, 7473906, pp. 986-991.

Document type: Journal Article
Collection: Journal Articles

Title Supervisory control for behavior composition
Author(s) Felli, P
Yadav, N
Sardina, S
Year 2017
Journal name IEEE Transactions on Automatic Control
Volume number 62
Issue number 2
Article Number 7473906
Start page 986
End page 991
Total pages 6
Publisher Institute of Electrical and Electronics Engineers
Abstract We relate behavior composition, a synthesis task studied in AI, to supervisory control theory from the discrete event systems field. In particular, we show that realizing (i.e., implementing) a target behavior (e.g., a house surveillance system) by suitably coordinating a collection of available behaviors (e.g., doors, lights, cameras, etc.) amounts to imposing a supervisor onto a special discrete event system. Such a link allows us to leverage on the solid foundations and extensive work on discrete event systems, including borrowing tools and ideas from it.
Subject Applied Mathematics not elsewhere classified
Keyword(s) Control theory
Program synthesis
DOI - identifier 10.1109/TAC.2016.2570748
Copyright notice © 2016 IEEE
ISSN 0018-9286
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 4 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 0 times in Scopus Article
Altmetric details:
Access Statistics: 95 Abstract Views  -  Detailed Statistics
Created: Tue, 05 Sep 2017, 13:22:00 EST by Catalyst Administrator
© 2014 RMIT Research Repository • Powered by Fez SoftwareContact us