Towards optimal supervisory controller synthesis of stochastic nondeterministic discrete-event systems

52nd IEEE Conference on Decision and Control ◽

10.1109/cdc.2013.6761098 ◽

2013 ◽

Author(s):

Jasen Markovski ◽

Rong Su

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Controller Synthesis ◽

Supervisory Controller ◽

Download Full-text

Computer Aided Design of Supervisory Controller for Discrete Event Systems

IFAC Proceedings Volumes ◽

10.1016/s1474-6670(17)36866-0 ◽

2000 ◽

Vol 33 (24) ◽

pp. 45-50

Author(s):

A.H. Jones ◽

Y.M. Li

Keyword(s):

Computer Aided Design ◽

Discrete Event Systems ◽

Discrete Event ◽

Supervisory Controller ◽

Event Systems ◽

Computer Aided ◽

Download Full-text

Comments on "Control of vector discrete-event systems. II. Controller synthesis

IEEE Transactions on Automatic Control ◽

10.1109/9.506252 ◽

1996 ◽

Vol 41 (6) ◽

pp. 922-924

Author(s):

Z. Zhao

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Controller Synthesis ◽

Download Full-text

Control of vector discrete-event systems. II. Controller synthesis

IEEE Transactions on Automatic Control ◽

10.1109/9.280750 ◽

1994 ◽

Vol 39 (3) ◽

pp. 512-531 ◽

Author(s):

Yong Li ◽

W.M. Wonham

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Controller Synthesis ◽

Download Full-text

Petri-Net Controller Synthesis for Partially Controllable and Observable Discrete Event Systems

IEEE Transactions on Automatic Control ◽

10.1109/tac.2016.2586604 ◽

2017 ◽

Vol 62 (3) ◽

pp. 1301-1313 ◽

Author(s):

JiLiang Luo ◽

MengChu Zhou

Keyword(s):

Petri Net ◽

Discrete Event Systems ◽

Discrete Event ◽

Controller Synthesis ◽

Download Full-text

Controller synthesis method for Discrete Event Systems

Proceedings of 2012 IEEE International Conference on Automation, Quality and Testing, Robotics ◽

10.1109/aqtr.2012.6237680 ◽

2012 ◽

Author(s):

Tiberiu S. Letia ◽

Mihai Hulea ◽

Octavian Cuibus

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Synthesis Method ◽

Controller Synthesis ◽

Download Full-text

An approach for the design of supervisory controller of discrete event systems

Proceedings of the 3rd World Congress on Intelligent Control and Automation (Cat. No.00EX393) ◽

10.1109/wcica.2000.862433 ◽

2002 ◽

Author(s):

Y.M. Li ◽

M.Z. Wang ◽

A.H. Jones

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Supervisory Controller ◽

Download Full-text

Modeling, specification and controller synthesis for discrete event systems

SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218) ◽

10.1109/icsmc.1998.725495 ◽

2002 ◽

Author(s):

B. Lennartson ◽

M. Tittus ◽

M. Fabian

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Controller Synthesis ◽

Download Full-text

Directed Controller Synthesis of discrete event systems: Taming composition with heuristics

2016 IEEE 55th Conference on Decision and Control (CDC) ◽

10.1109/cdc.2016.7798996 ◽

2016 ◽

Author(s):

Daniel Ciolek ◽

Victor Braberman ◽

Nicolas D'Ippolito ◽

Sebastian Uchitel

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Controller Synthesis ◽

Download Full-text

Controller synthesis for some control problems in timed discrete-event systems

Proceedings of the 36th IEEE Conference on Decision and Control ◽

10.1109/cdc.1997.649709 ◽

2002 ◽

Author(s):

T.-J. Ho

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Controller Synthesis ◽

Control Problems ◽

Download Full-text

Petri net controller synthesis for discrete event systems using weighted inhibitor arc

Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164) ◽

10.1109/robot.2001.933173 ◽

2002 ◽

Author(s):

Weimin Wu ◽

Hongye Su ◽

Jianbo Hu ◽

Jian Chu ◽

Haifeng Zhai ◽

...

Keyword(s):

Petri Net ◽

Discrete Event Systems ◽

Discrete Event ◽

Controller Synthesis ◽

Download Full-text