Optimal Supervisory Control Synthesis
Information Theory
2009-04-06 v1 math.IT
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.
Keywords
Cite
@article{arxiv.0904.0586,
title = {Optimal Supervisory Control Synthesis},
author = {Hassane. Alla},
journal= {arXiv preprint arXiv:0904.0586},
year = {2009}
}
Comments
Journ\'ee sur l'Instrumentation Industrielle J2I, ORAN : Alg\'erie (2009)