Supervisory Control for Behavior Composition
MetadataShow full item record
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.
Showing items related by title, author, creator and subject.
Azzali, S; Mazza, T (Springer-Verlag, 2013)The objective of this research is to investigate the relation between the Internal Control over Financial Reporting (ICFR) Quality and Information Technology Control (ITC) frameworks compliance. We selected a sample of ...
Bernardi, R; Calvanese, D; Thorne, C (Bozen-Bolzano University Press, 2007)In this paper we deal with the problem of providing natural language front-ends to databases upon which an ontology layer has been added. Specifically, we are interested in expressing ontologies formalized in Description ...