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 ...
Environmental management control. An empirical study on the use of environmental performance measures in management control systems Perego P (Ponsen & Looijen, 2005)Companies increasingly adapt their accounting systems to accommodate the internal demand of environmental-related information for making decisions and control their activities in compliance with extant environmental ...
Bellini, Alessandro (Free University of Bozen-Bolzano, 2018)Greenhouse gas emission reduction is a world-wide challenge that encourages most research in the building sector. Many sources in Europe, assess the penetration of housing final energy needs (Heating Cooling and Domestic ...