On Specification Informatics in Discrete-event Systems - State-transparency for Clarity of Finite Automata as Control Specifications

Proceedings of the 9th International Conference on Informatics in Control, Automation and Robotics ◽

10.5220/0003977403570367 ◽

2012 ◽

Keyword(s):

Discrete Event Systems ◽

Finite Automata ◽

Discrete Event ◽

Download Full-text

Modeling of discrete event systems using finite automata with variables

2007 46th IEEE Conference on Decision and Control ◽

10.1109/cdc.2007.4434894 ◽

2007 ◽

Author(s):

Markus Skoldstam ◽

Knut Akesson ◽

Martin Fabian

Keyword(s):

Discrete Event Systems ◽

Finite Automata ◽

Discrete Event ◽

Download Full-text

A symbolic approach to large-scale discrete event systems modeled as finite automata with variables

2012 IEEE International Conference on Automation Science and Engineering (CASE) ◽

10.1109/coase.2012.6386479 ◽

2012 ◽

Author(s):

Z. Fei ◽

S. Miremadi ◽

K. Akesson ◽

B. Lennartson

Keyword(s):

Large Scale ◽

Discrete Event Systems ◽

Finite Automata ◽

Discrete Event ◽

Event Systems ◽

Symbolic Approach

Download Full-text

Optimization of Discrete Event Systems using Extended Finite Automata and Mixed-Integer Nonlinear Programming

IFAC Proceedings Volumes ◽

10.3182/20110828-6-it-1002.03630 ◽

2011 ◽

Vol 44 (1) ◽

pp. 6969-6975

Author(s):

Carl Thorstensson ◽

Sathyamyla Kanthabhabhajeya ◽

Bengt Lennartson ◽

Petter Falkman

Keyword(s):

Nonlinear Programming ◽

Discrete Event Systems ◽

Finite Automata ◽

Discrete Event ◽

Mixed Integer Nonlinear Programming ◽

Mixed Integer ◽

Event Systems ◽

Integer Nonlinear Programming

Download Full-text

Nonblocking and Safe Control of Discrete-Event Systems Modeled as Extended Finite Automata

IEEE Transactions on Automation Science and Engineering ◽

10.1109/tase.2011.2124457 ◽

2011 ◽

Vol 8 (3) ◽

pp. 560-569 ◽

Author(s):

L. Ouedraogo ◽

R. Kumar ◽

R. Malik ◽

K. Akesson

Keyword(s):

Discrete Event Systems ◽

Finite Automata ◽

Discrete Event ◽

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

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

Specification of Intelligent Controllers for Discrete Event Systems in a Temporal Logic Framework

IFAC Proceedings Volumes ◽

10.1016/s1474-6670(17)49868-5 ◽

1992 ◽

Vol 25 (20) ◽

pp. 237-242

Author(s):

Dan Ionescu ◽

Jing-Yue Lin ◽

Hyung Soo Hwang

Keyword(s):

Temporal Logic ◽

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

Intelligent Controllers

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

On Optimal Supervisor Design for Discrete-Event Systems Modeled With Petri Nets via Constraint Simplification

IEEE Transactions on Systems Man and Cybernetics Systems ◽

10.1109/tsmc.2021.3069201 ◽

2021 ◽

pp. 1-15

Author(s):

YuFeng Chen ◽

YuTing Li ◽

ZhiWu Li ◽

NaiQi Wu

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

Supervisor Design

Download Full-text