Control of discrete event systems modeled as hierarchical state machines

[1991] Proceedings of the 30th IEEE Conference on Decision and Control ◽

10.1109/cdc.1991.261652 ◽

2002 ◽

Author(s):

Y. Brave ◽

M. Heymann

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

State Machines ◽

Event Systems ◽

Hierarchical State Machines

Download Full-text

Control of discrete event systems modeled as hierarchical state machines

IEEE Transactions on Automatic Control ◽

10.1109/9.250558 ◽

1993 ◽

Vol 38 (12) ◽

pp. 1803-1819 ◽

Author(s):

Y. Brave

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

State Machines ◽

Event Systems ◽

Hierarchical State Machines

Download Full-text

Reachability in discrete event systems modeled as hierarchical state machines

17th Convention of Electrical and Electronics Engineers in Israel ◽

10.1109/eeis.1991.217705 ◽

2002 ◽

Author(s):

Y. Brave ◽

M. Heymann

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

State Machines ◽

Event Systems ◽

Hierarchical State Machines

Download Full-text

Safety control of discrete event systems using finite state machines with parameters

Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148) ◽

10.1109/acc.2001.945847 ◽

2001 ◽

Author(s):

Yi-Liang Chen ◽

Feng Lin

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Finite State Machines ◽

State Machines ◽

Safety Control ◽

Event Systems ◽

Download Full-text

Modeling of discrete event systems using finite state machines with parameters

Proceedings of the 2000. IEEE International Conference on Control Applications. Conference Proceedings (Cat. No.00CH37162) ◽

10.1109/cca.2000.897591 ◽

2002 ◽

Author(s):

Yi-Liang Chen ◽

Feng Lin

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Finite State Machines ◽

State Machines ◽

Event Systems ◽

Download Full-text

Modeling and control of discrete event systems using finite state machines with variables and their applications in power grids

Systems & Control Letters ◽

10.1016/j.sysconle.2011.10.010 ◽

2012 ◽

Vol 61 (1) ◽

pp. 212-222 ◽

Author(s):

Junhui Zhao ◽

Yi-Liang Chen ◽

Zhong Chen ◽

Feng Lin ◽

Caisheng Wang ◽

...

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Finite State Machines ◽

Power Grids ◽

State Machines ◽

Modeling And Control ◽

Event Systems ◽

Finite State ◽

Download Full-text

Representing Extended Finite State Machines for SDL by A Novel Control Model of Discrete Event Systems

2006 Sixth International Conference on Quality Software (QSIC'06) ◽

10.1109/qsic.2006.53 ◽

2006 ◽

Author(s):

Peng Wang ◽

Kai-yuan Cai

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Finite State Machines ◽

Control Model ◽

State Machines ◽

Event Systems ◽

Finite State ◽

Extended Finite State Machines

Download Full-text

State machines, temporal logic and control: A framework for discrete event systems

10.1109/cdc.1987.272455 ◽

1987 ◽

Author(s):

J. Ostroff ◽

W. Wonham

Keyword(s):

Temporal Logic ◽

Discrete Event Systems ◽

Discrete Event ◽

State Machines ◽

Event Systems ◽

Download Full-text

Hierarchical modeling and abstraction of discrete event systems using finite state machines with parameters

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

10.1109/cdc.2001.980823 ◽

2003 ◽

Author(s):

Yi-Liang Chen ◽

Feng Lin

Keyword(s):

Discrete Event Systems ◽

Hierarchical Modeling ◽

Discrete Event ◽

Finite State Machines ◽

State Machines ◽

Event Systems ◽

Download Full-text

Linear Discrete-Event Systems: An Architecture and Simulator

10.23919/acc.1990.4790691 ◽

1990 ◽

Author(s):

Martin E. Kaliski ◽

Sylvia Ritz

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Download Full-text

Output Feedback Control for a Class of Nondeterministic Discrete Event Systems

10.23919/acc.1990.4790690 ◽

1990 ◽

Author(s):

Jing-Yue Lin ◽

Dan Ionescu

Keyword(s):

Feedback Control ◽

Output Feedback ◽

Discrete Event Systems ◽

Discrete Event ◽

Output Feedback Control ◽

Download Full-text