Compositional Supervisory Control via Reactive Synthesis and Automated Planning

We show how reactive synthesis and automated planning can be leveraged effectively to find nonmaximal solutions to deterministic supervisory control problems of discrete event systems. To do so, we propose efficient translations of the supervisory control problem into the reactive synthesis and plan...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on automatic control 2020-08, Vol.65 (8), p.3502-3516
Main Authors: Ciolek, Daniel Alfredo, Braberman, Victor, D'Ippolito, Nicolas, Sardina, Sebastian, Uchitel, Sebastian
Format: Article
Language:English
Subjects:
Automata
Automated planning
Automation
Discrete event systems
Explosions
Planning
reactive synthesis
Semantics
Supervisory control
Synthesis
Task analysis
Translations
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:We show how reactive synthesis and automated planning can be leveraged effectively to find nonmaximal solutions to deterministic supervisory control problems of discrete event systems. To do so, we propose efficient translations of the supervisory control problem into the reactive synthesis and planning frameworks. Notably, our translation methods capture the compositional and reactive nature of control specifications, avoiding a potential exponential explosion found in alternative translation approaches. Additionally, we report on experimental results comparing the efficacy of different tools from the three disciplines, for a particular supervisory control benchmark.
ISSN:0018-9286
1558-2523
DOI:10.1109/TAC.2019.2948270