| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 719598 | IFAC Proceedings Volumes | 2010 | 6 Pages |
Abstract
The goal of control synthesis is to build a control law which forces the system to respect given specifications. In this paper we propose a new type of specification called Marking Exclusion Constraint (MEC). The main advantage of MEC specification is an increased modeling power regarding General Mutual Exclusion Constraints (GMEC). We define two types of MEC: MEC-OR and MEC-AND and we propose a technique to build the controller which enforces MEC specifications for discrete events systems modeled by marking graphs.
Related Topics
Physical Sciences and Engineering
Engineering
Computational Mechanics
