Decentralized supervisory control of Generalized Mutual Exclusion Constraints in Petri Nets

2017 13th IEEE Conference on Automation Science and Engineering (CASE) ◽

10.1109/coase.2017.8256129 ◽

2017 ◽

Author(s):

Junyao Hou ◽

Hesuan Hu ◽

Yuan Zhou ◽

Yang Liu

Keyword(s):

Supervisory Control ◽

Mutual Exclusion

Download Full-text

Optimal Supervisory Control for Flexible Manufacturing Systems Model With Petri Nets: A Place-Transition Control

IEEE Access ◽

10.1109/access.2021.3072892 ◽

2021 ◽

Vol 9 ◽

pp. 58566-58578

Author(s):

Muhammad Bashir ◽

Jian Zhou ◽

Bashir Bala Muhammad

Keyword(s):

Supervisory Control ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Transition Control ◽

Download Full-text

Diagnosability enforcement in labeled Petri nets using supervisory control

10.1016/j.automatica.2021.109776 ◽

2021 ◽

Vol 131 ◽

pp. 109776

Author(s):

Yihui Hu ◽

Ziyue Ma ◽

Zhiwu Li ◽

Alessandro Giua

Keyword(s):

Supervisory Control

Download Full-text

Supervisory control of railway networks with Petri nets

Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228) ◽

10.1109/cdc.2001.981003 ◽

2003 ◽

Author(s):

A. Giua ◽

C. Seatzu

Keyword(s):

Supervisory Control ◽

Railway Networks

Download Full-text

Program Solution of Supervisory Control Based on Petri Nets

IFAC Proceedings Volumes ◽

10.1016/s1474-6670(17)41458-3 ◽

1997 ◽

Vol 30 (21) ◽

pp. 323-327

Author(s):

Jana Flochová ◽

Branislav Hrúz ◽

Peter Jirsák

Keyword(s):

Supervisory Control

Download Full-text

Supervisory Control of Manufacturing Systems Using Petri Nets *

Formal Methods in Manufacturing ◽

10.1201/9781315216140-9 ◽

2018 ◽

pp. 259-294

Author(s):

Carla Seatzu ◽

Xiaolan Xie

Keyword(s):

Supervisory Control ◽

Manufacturing Systems

Download Full-text

Optimal Control of Timed Petri Nets Under Temporal Logic Constraints with Generalized Mutual Exclusion

IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences ◽

10.1587/transfun.2021map0003 ◽

2021 ◽

Author(s):

Kohei FUJITA ◽

Toshimitsu USHIO

Keyword(s):

Optimal Control ◽

Temporal Logic ◽

Mutual Exclusion ◽

Timed Petri Nets

Download Full-text

Blocking and controllability of Petri nets in supervisory control

IEEE Transactions on Automatic Control ◽

10.1109/9.286260 ◽

1994 ◽

Vol 39 (4) ◽

pp. 818-823 ◽

Author(s):

A. Giua ◽

F. DiCesare

Keyword(s):

Supervisory Control

Download Full-text

Structural method for supervisory control of discrete event within the framework of Petri nets: a one-to-one link between the supervisory control theory and the place invariant method

International Journal of Systems Science Operations & Logistics ◽

10.1080/23302674.2019.1567860 ◽

2019 ◽

Vol 7 (3) ◽

pp. 217-232

Author(s):

Mohaman Gonza ◽

Hassane Alla ◽

Laurent Bitjoka

Keyword(s):

Control Theory ◽

Supervisory Control ◽

Discrete Event ◽

Structural Method ◽

Invariant Method ◽

Supervisory Control Theory ◽

Download Full-text

Supervisory Control of Discrete Event Systems Using Petri Nets

10.1007/978-1-4615-5711-1 ◽

1998 ◽

Author(s):

John O. Moody ◽

Panos J. Antsaklis

Keyword(s):

Supervisory Control ◽

Discrete Event Systems ◽

Discrete Event ◽

Download Full-text

On Supervisory Control of a Class of Discrete Event Systems Modeled by Petri Nets

2007 IEEE International Conference on Automation Science and Engineering ◽

10.1109/coase.2007.4341801 ◽

2007 ◽

Author(s):

Mi Zhao ◽

Zhiwu Li ◽

MengChu Zhou

Keyword(s):

Supervisory Control ◽

Discrete Event Systems ◽

Discrete Event ◽

Download Full-text