Nonblocking supervisory control of state tree structures

被引：0

作者：

Ma, C ^{[1
]}

Wonham, WM ^{[1
]}

机构：

[1] Univ Toronto, Dept Elect & Comp Engn, Toronto, ON M5S 3G43, Canada

来源：

NONBLOCKING SUPERVISORY CONTROL OF STATE TREE STRUCTURES | 2005年 / 317卷

关键词：

D O I：

暂无

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：1 / +

页数：176

共 50 条

[31] Robust nonblocking supervisory control of discrete-event systems under partial observation
Saboori, Anooshiravan
Zad, Shahin Hashtrudi
SYSTEMS & CONTROL LETTERS, 2006, 55 (10) : 839 - 848
[32] Robust and nonblocking supervisory control of nondeterministic discrete event systems using trajectory models
Park, SJ
Lim, JT
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2002, 47 (04) : 655 - 658
[33] Nonblocking Supervisory Control of Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions
Ushio, Toshimitsu
Takai, Shigemasa
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2016, 61 (03) : 799 - 804
[34] Nonblocking supervisory control of timed discrete event systems under communication delays: The existence conditions
Park, Seong-Jin
Cho, Kwang-Hyun
AUTOMATICA, 2008, 44 (04) : 1011 - 1019
[35] Representation of Supervisory Controls using State Tree Structures, Binary Decision Diagrams, Automata, and Supervisor Reduction
Chao, Wujie
Gan, Yongmei
Wang, Zhaoan
Wonham, W. M.
PROCEEDINGS OF THE 2012 24TH CHINESE CONTROL AND DECISION CONFERENCE (CCDC), 2012, : 45 - 50
[36] Robust and nonblocking supervisory control of nondeterministic discrete event systems with communication delay and partial observation
Park, Seong-Jin
INTERNATIONAL JOURNAL OF CONTROL, 2012, 85 (01) : 58 - 68
[37] Decentralized supervisory control of nondeterministic discrete event systems: The existence condition of a robust and nonblocking supervisor
Park, Seong-Jin
Cho, Kwang-Hyun
AUTOMATICA, 2007, 43 (02) : 377 - 383
[38] State aggregation and hierarchical supervisory control
Caines, PE
Hubbard, P
Shen, G
PROCEEDINGS OF THE 36TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-5, 1997, : 3590 - 3591
[39] Supervisory control of finite state machines
Aziz, A
Balarin, F
Brayton, RK
DiBenedetto, MD
Saldanha, A
COMPUTER AIDED VERIFICATION, 1995, 939 : 279 - 292
[40] Optimal finite state supervisory control
Tronci, E
PROCEEDINGS OF THE 35TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 1996, : 2237 - 2242

← 1 2 3 4 5 →