Optimal Supervisory Control Synthesis
Hassane. Alla (GIPSA-lab)
TL;DR
This paper introduces a systematic method to reduce the size and number of constraints in Petri net controllers, enabling the construction of maximally permissive controllers for safe and conservative Petri nets.
Contribution
It presents a novel approach to optimize the place invariant method, making controller synthesis more efficient by minimizing constraints.
Findings
Reduces the number of control places needed
Applicable to safe and conservative Petri nets
Produces maximally permissive controllers
Abstract
The place invariant method is well known as an elegant way to construct a Petri net controller. It is possible to use the constraint for preventing forbidden states. But in general case, the number forbidden states can be very large giving a great number of control places. In this paper is presented a systematic method to reduce the size and the number of constraints. This method is applicable for safe and conservative Petri nets giving a maximally permissive controller.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsPetri Nets in System Modeling · Business Process Modeling and Analysis · Formal Methods in Verification