Title
Partial-Order Reduction for Supervisory Controller Synthesis
Author
van der Sanden, B.
Geilen, M.
Reniers, M.
Basten, T.
Publication year
2022
Abstract
A key challenge in the synthesis and subsequent analysis of supervisory controllers is the impact of state-space explosion caused by concurrency. The main bottleneck is often the memory needed to store the composition of plant and requirement automata and the resulting supervisor. Partial-order reduction (POR) is a well-established technique that alleviates this issue in the field of model checking. It does so by exploiting redundancy in the model with respect to the properties of interest. For controller synthesis, the functional properties of interest are nonblockingness, controllability, and least-restrictiveness, but also performance properties, such as throughput and latency are of interest. We propose an on-the-fly POR on the input model that preserves both functional and performance properties in the synthesized supervisory controller. This improves the scalability of the synthesis (and any subsequent performance analysis). Synthesis experiments show the effectiveness of the POR on a set of realistic manufacturing system models.
Subject
Control system analysis
Control systems
Supervisory control
System analysis and design
System performance
Systems engineering and theory
Automata theory
Concurrency control
Controllers
Redundancy
Scalability
Timing circuits
Aerospace electronics
Automaton
Controller synthesis
Models checking
Partial-order reduction
Performances analysis
Property
State-space explosion
Supervisory controllers
Well-established techniques
Model checking
To reference this document use:
http://resolver.tudelft.nl/uuid:a146f3f0-ed89-4d42-82fa-2e6463900685
TNO identifier
980884
Publisher
Institute of Electrical and Electronics Engineers Inc.
ISSN
0018-9286
Source
IEEE Transactions on Automatic Control, 67 (67), 870-885
Document type
article