Control Design for Trajectory Tracking With Untimed Petri Nets

被引：28
作者：
Lefebvre, Dimitri [1 ]
Leclercq, Edouard [1 ]
机构：
[1] GREAH Univ Le Havre, FR-76600 Le Havre, France
来源：
IEEE TRANSACTIONS ON AUTOMATIC CONTROL | 2015年 / 60卷 / 07期
关键词：
Discrete event systems; model predictive control; Petri nets; trajectory tracking; MODEL-PREDICTIVE CONTROL; SUPERVISORY CONTROL; CONSTRAINTS; TRANSITIONS;
D O I：
10.1109/TAC.2014.2363311
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This technical note is about trajectory tracking for discrete event systems. The main contribution is to compute incrementally control sequences with minimal or near-minimal length based on a partial exploration of the Petri net (PN) reachability graph and inspired by the model predictive control approach. The method is suitable for bounded and unbounded PNs, for PNs with weighted arcs and with some uncontrollable transitions. Finally forbidden markings or regions of markings are easily avoided with the proposed approach that can be used for supervisory control issues.
引用
收藏
页码：1921 / 1926
页数：6
相关论文
共 13 条
[1]   Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places [J].
Basile, F ;
Chiacchio, P ;
Giua, A .
AUTOMATICA, 2006, 42 (06) :995-1004
[2]   Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models [J].
Basile, F. ;
Cordone, R. ;
Piroddi, L. .
AUTOMATICA, 2013, 49 (11) :3432-3439
[3]  
Cassandras Christos., 1993, Discrete Event Systems: Modeling and Performance Analysis
[4]   Design of a Maximally Permissive Liveness-Enforcing Petri Net Supervisor for Flexible Manufacturing Systems [J].
Chen, YuFeng ;
Li, Zhiwu ;
Khalgui, Mohamed ;
Mosbahi, Olfa .
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2011, 8 (02) :374-393
[5]   Model predictive control for max-plus-linear discrete event systems [J].
De Schutter, B ;
van den Boom, T .
AUTOMATICA, 2001, 37 (07) :1049-1056
[6]   Reduction of constraints for controller synthesis based on safe Petri Nets [J].
Dideban, Abbas ;
Alla, Hassane .
AUTOMATICA, 2008, 44 (07) :1697-1706
[7]   Local and global deadlock prevention policies for resource allocation systems using partially generated reachability graphs [J].
Hu, Hesuan ;
Li, Zhiwu .
COMPUTERS & INDUSTRIAL ENGINEERING, 2009, 57 (04) :1168-1181
[8]   Decentralized supervision of Petri nets [J].
Iordache, MV ;
Antsaklis, PJ .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2006, 51 (02) :376-381
[9]   Approach for Transforming Linear Constraints on Petri Nets [J].
Luo, Jiliang ;
Nonami, Kenzo .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2011, 56 (12) :2745-2759
[10]   Optimal model predictive control of timed continuous Petri nets [J].
Mahulea, Cristian ;
Giua, Alessandro ;
Recalde, Laura ;
Seatzu, Carla ;
Silva, Manuel .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2008, 53 (07) :1731-1735
12