Compositional supervisory control via reactive synthesis and automated planning
File(s)root.pdf (1.69 MB)
Accepted version
Author(s)
Ciolek, Daniel
Braberman, Victor
D'Ippolito, Nicolas
Sardina, Sebastian
Uchitel, Sebastian
Type
Journal Article
Abstract
We show how reactive synthesis and automatedplanning can be leveraged effectively to find non-maximal solu-tions to deterministic supervisory control problems of discreteevent systems. To do so, we propose efficient translations ofthe supervisory control problem into the reactive synthesis andplanning frameworks. Notably, our translation methods capturethe compositional and reactive nature of control specifications,avoiding a potential exponential explosion found in alternativetranslation approaches. Additionally, we report on experimentalresults comparing the efficacy of different tools from the threedisciplines, for a particular supervisory control benchmark.
Date Issued
2020-08-01
Date Acceptance
2019-09-28
Citation
IEEE Transactions on Automatic Control, 2020, 65 (8), pp.3502-3516
ISSN
0018-9286
Publisher
Institute of Electrical and Electronics Engineers
Start Page
3502
End Page
3516
Journal / Book Title
IEEE Transactions on Automatic Control
Volume
65
Issue
8
Copyright Statement
© 2019 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
Subjects
Science & Technology
Technology
Automation & Control Systems
Engineering, Electrical & Electronic
Engineering
Supervisory control
Planning
Automata
Tools
Semantics
Explosions
Task analysis
Automated planning
reactive synthesis
supervisory control
DISCRETE-EVENT SYSTEMS
DIRECTED CONTROL
0102 Applied Mathematics
0906 Electrical and Electronic Engineering
0913 Mechanical Engineering
Industrial Engineering & Automation
Publication Status
Published
Date Publish Online
2019-10-18