Predicates and Predicate Transformers for Supervisory Control of Discrete Event Dynamical Systems

Mapping Intimacies ◽

10.21236/ada454854 ◽

1992 ◽

Author(s):

Ratnesh Kumar ◽

Vijay Garg ◽

Steven I. Marcus

Keyword(s):

Dynamical Systems ◽

Supervisory Control ◽

Discrete Event ◽

Predicate Transformers

Download Full-text

Predicates and predicate transformers for supervisory control of discrete event dynamical systems

IEEE Transactions on Automatic Control ◽

10.1109/9.250512 ◽

1993 ◽

Vol 38 (2) ◽

pp. 232-247 ◽

Author(s):

R. Kumar ◽

V. Garg ◽

S.I. Marcus

Keyword(s):

Dynamical Systems ◽

Supervisory Control ◽

Discrete Event ◽

Predicate Transformers

Download Full-text

Optimal Supervisory Control of Discrete Event Dynamical Systems

SIAM Journal on Control and Optimization ◽

10.1137/s0363012992235183 ◽

1995 ◽

Vol 33 (2) ◽

pp. 419-439 ◽

Author(s):

Ratnesh Kumar ◽

Vijay K. Garg

Keyword(s):

Dynamical Systems ◽

Supervisory Control ◽

Download Full-text

Fault-tolerant supervisory control of discrete event dynamical systems”“

International Journal of Systems Science ◽

10.1080/00207729708929463 ◽

1997 ◽

Vol 28 (10) ◽

pp. 1001-1009

Author(s):

K.-H. CHO ◽

J.-T. LIM

Keyword(s):

Dynamical Systems ◽

Supervisory Control ◽

Fault Tolerant ◽

Download Full-text

Supervisory control of nondeterministic discrete event dynamical systems

Proceedings of 32nd IEEE Conference on Decision and Control ◽

10.1109/cdc.1993.325370 ◽

2002 ◽

Author(s):

M.A. Shayman ◽

R. Kumar

Keyword(s):

Dynamical Systems ◽

Supervisory Control ◽

Download Full-text

Predicates and predicate transformers for the supervisory control of timed discrete event system

1999 7th IEEE International Conference on Emerging Technologies and Factory Automation. Proceedings ETFA '99 (Cat. No.99TH8467) ◽

10.1109/etfa.1999.813110 ◽

2003 ◽

Author(s):

A. Khatab ◽

E. Niel

Keyword(s):

Supervisory Control ◽

Discrete Event ◽

Discrete Event System ◽

Event System ◽

Predicate Transformers ◽

Timed Discrete Event System

Download Full-text

Online discrete event supervisory control of hybrid dynamical systems using embedded simulation

Control Engineering Practice ◽

10.1016/j.conengprac.2007.11.007 ◽

2008 ◽

Vol 16 (8) ◽

pp. 1004-1021 ◽

Author(s):

James P. Millan ◽

Siu D. O’Young

Keyword(s):

Dynamical Systems ◽

Supervisory Control ◽

Discrete Event ◽

Hybrid Dynamical Systems

Download Full-text

Layered optimal supervisory control of discrete event dynamical systems

International Journal of Systems Science ◽

10.1080/002077299292344 ◽

1999 ◽

Vol 30 (4) ◽

pp. 395-405 ◽

Author(s):

K.-H. Cho

Keyword(s):

Dynamical Systems ◽

Supervisory Control ◽

Download Full-text

Fault-tolerant supervisory control of discrete-event systems

10.31274/etd-180810-2755 ◽

2009 ◽

Author(s):

Qin Wen

Keyword(s):

Supervisory Control ◽

Discrete Event Systems ◽

Fault Tolerant ◽

Discrete Event ◽

Download Full-text

Strong co-observability conditions for decentralized supervisory control of discrete event systems

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

10.1109/cdc.2001.980821 ◽

2003 ◽

Author(s):

S. Takai ◽

T. Ushio

Keyword(s):

Supervisory Control ◽

Discrete Event Systems ◽

Discrete Event ◽

Download Full-text

Intersection-based Decentralized Supervisory Control of Probabilistic Discrete Event Systems

IEEE Transactions on Automatic Control ◽

10.1109/tac.2021.3061673 ◽

2021 ◽

pp. 1-1

Author(s):

Weilin Deng ◽

Daowen Qiu ◽

Jingkai Yang

Keyword(s):

Supervisory Control ◽

Discrete Event Systems ◽

Discrete Event ◽

Download Full-text