Controller synthesis with very simplified linear constraints in PN model
Information Theory
2009-04-06 v1 math.IT
Abstract
This paper addresses the problem of forbidden states for safe Petri net modeling discrete event systems. We present an efficient method to construct a controller. A set of linear constraints allow forbidding the reachability of specific states. The number of these so-called forbidden states and consequently the number of constraints are large and lead to a large number of control places. A systematic method for constructing very simplified controller is offered. By using a method based on Petri nets partial invariants, maximal permissive controllers are determined.
Keywords
Cite
@article{arxiv.0904.0585,
title = {Controller synthesis with very simplified linear constraints in PN model},
author = {Abbas Dideban and M. Zareiee and Hassane Alla},
journal= {arXiv preprint arXiv:0904.0585},
year = {2009}
}
Comments
Dependable Control of discrete Systems, Bari : Italie (2009)