Time Optimal Synthesis Based Upon Sequential Abstraction and Its Application to Cluster Tools

被引：21

作者：

Ware, Simon ^{[1
]}

Su, Rong ^{[1
]}

机构：

[1] Nanyang Technol Univ, Sch Elect & Elect Engn, Singapore 639798, Singapore

来源：

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING | 2017年 / 14卷 / 02期

关键词：

Discrete-event systems (DESs); distributed synthesis; finite-state automata; time optimal supervisory control; DISCRETE-EVENT SYSTEMS; SUPERVISORY CONTROL; VERIFICATION; ALGORITHM; LANGUAGE;

D O I：

10.1109/TASE.2016.2613911

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

The Ramadge-Wonham supervisory control paradigm has been shown effective in dealing with logic control. Nevertheless, time-related performance is always one of the major concerns in industry. Current methods for synthesizing time optimal supervisors are incapable of dealing with large discrete-event systems (DESs) with massive state spaces. This paper proposes an approach for finding a time optimal accepting trace for large DESs based upon sequential language projection, and pruning. The algorithms are tested on a linear cluster tool to show their effectiveness.

引用

页码：772 / 784

页数：13

共 26 条

[1] SUPERVISORY CONTROL OF TIMED DISCRETE-EVENT SYSTEMS [J].

BRANDIN, BA ;

WONHAM, WM .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1994, 39 (02) :329-342

[2] Incremental verification and synthesis of discrete-event systems guided by counter examples [J].

Brandin, BA ;

Malik, R ;

Malik, P .

IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 2004, 12 (03) :387-401

[3]

Brzozowski J. A., 1962, P S MATHEMATICAL THE, P529

[4]

Dijkstra E.W., 1959, Numerische Mathematik, V1, P269, DOI 10.1007/BF01386390

[5] COMPOSITIONAL VERIFICATION IN SUPERVISORY CONTROL [J].

Flordal, Hugo ;

Malik, Robi .

SIAM JOURNAL ON CONTROL AND OPTIMIZATION, 2009, 48 (03) :1914-1938

[6]

Hoare C. A. R., 1985, Communicating Sequential Processes

[7]

Hopcroft J. E., 2007, Introduction to automata theory, languages, and computation, V3rd

[8]

Mohajerani S., 2011, P 3 IFAC WORKSH DEP, P84

[9]

Mohajerani S, 2011, CHIN CONT DECIS CONF, P1549, DOI 10.1109/CCDC.2011.5968439

[10]

Pinedo M.L., 2008, Scheduling: Theory, algorithms, and systems

← 1 2 3 →