Reduction of constraints for controller synthesis based on safe Petri Nets Export

@article{citeulike:3171512, abstract = {In this paper, we present an efficient method based on safe Petri Nets to construct a controller. A set of linear constraints allows 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 to reduce the size and the number of constraints for safe Petri Nets is offered. By using a method based on Petri Net invariants, maximal permissive controllers are determined.}, author = {Dideban, Abbas and Alla, Hassane}, citeulike-article-id = {3171512}, citeulike-linkout-0 = {http://dx.doi.org/10.1016/j.automatica.2007.10.031}, citeulike-linkout-1 = {http://www.sciencedirect.com/science/article/B6V21-4S69S9T-2/2/ecd79fc18fa88d9142413d0bd95ed1a8}, doi = {10.1016/j.automatica.2007.10.031}, journal = {Automatica}, keywords = {constraints, control, linear, nets, petri}, month = {July}, number = {7}, pages = {1697--1706}, posted-at = {2008-08-29 10:37:13}, priority = {2}, title = {Reduction of constraints for controller synthesis based on safe Petri Nets}, url = {http://dx.doi.org/10.1016/j.automatica.2007.10.031}, volume = {44}, year = {2008} }

TY - JOUR ID - citeulike:3171512 L3 - citeulike-article-id:3171512 N2 - In this paper, we present an efficient method based on safe Petri Nets to construct a controller. A set of linear constraints allows 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 to reduce the size and the number of constraints for safe Petri Nets is offered. By using a method based on Petri Net invariants, maximal permissive controllers are determined. IS - 7 JF - Automatica EP - 1706 TI - Reduction of constraints for controller synthesis based on safe Petri Nets VL - 44 SP - 1697 KW - constraints KW - control KW - linear KW - nets KW - petri AU - Dideban, Abbas AU - Alla, Hassane PY - 2008/07// UR - http://dx.doi.org/10.1016/j.automatica.2007.10.031 ER -