Supervisory Control for Behavior Composition

DOI10.1109/TAC.2016.2570748MaRDI QIDQ2989619zbMATH OpenOpenAlexFDO

Authors Paolo Felli, Sebastian Sardiña, Nitin Kumar Yadav

Publication date 8 June 2017

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1604.08768

Mathematics Subject Classification ID

General systems (93A10) Discrete event control/observation systems (93C65)

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 module (e.g., a house surveillance system) by suitably coordinating a collection of available behaviors (e.g., automatic blinds, 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 that field. As evidence of that we show how simple it is to introduce preferences in the mapped framework.

Cited in

(4)

• On the relation between reactive synthesis and supervisory control of non-terminating processes
• Research Challenges in Orchestration Synthesis
• Advancing orchestration synthesis for contract automata
• Offline supervisory control synthesis: taxonomy and recent developments

This page was built for publication: Supervisory Control for Behavior Composition

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2989619)