Similarity-based supervisory control of discrete-event systems

被引:3
作者
Cao, YZ [1 ]
Ying, MS [1 ]
机构
[1] Tsing Hua Univ, Dept Comp Sci & Technol, State Key Lab Intelligent Technol & Syst, Beijing 100084, Peoples R China
关键词
controllability; discrete event systems; metric space; Pareto optimality; supervisory control;
D O I
10.1109/TAC.2005.863515
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Due to the appearance of uncontrollable events in discrete-event systems, one may wish to replace the behavior leading to the uncontrollability of pre-specified language by some quite similar one. To capture this similarity, we introduce metric to traditional supervisory control theory and generalize the concept of original controllability to lambda-controllability, where lambda indicates the similarity degree of two languages. A necessary and sufficient condition for a language to be lambda-controllable is provided. We then examine some properties of lambda-controllable languages and present an approach to optimizing a realization.
引用
收藏
页码:325 / 330
页数:6
相关论文
共 22 条
[1]  
[Anonymous], 1996, CONTROL FLOW SEMANTI
[2]   FORMULAS FOR CALCULATING SUPREMAL CONTROLLABLE AND NORMAL SUBLANGUAGES [J].
BRANDT, RD ;
GARG, V ;
KUMAR, R ;
LIN, F ;
MARCUS, SI ;
WONHAM, WM .
SYSTEMS & CONTROL LETTERS, 1990, 15 (02) :111-117
[3]  
Cassandras C.G., 2021, Introduction to Discrete Event Systems, V3rd
[4]   DEALING WITH BLOCKING IN SUPERVISORY CONTROL OF DISCRETE-EVENT SYSTEMS [J].
CHEN, E ;
LAFORTUNE, S .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1991, 36 (06) :724-735
[5]  
Eilenberg S., 1974, AUTOMATA LANGUAGES M, VA
[6]   LANGUAGE STABILITY AND STABILIZABILITY OF DISCRETE-EVENT DYNAMICAL-SYSTEMS [J].
KUMAR, R ;
GARG, V ;
MARCUS, SI .
SIAM JOURNAL ON CONTROL AND OPTIMIZATION, 1993, 31 (05) :1294-1320
[7]  
Lafortune S., 1991, Discrete Event Dynamic Systems: Theory & Applications, V1, P61, DOI 10.1007/BF01797143
[8]   THE INFIMAL CLOSED CONTROLLABLE SUPERLANGUAGE AND ITS APPLICATION IN SUPERVISORY CONTROL [J].
LAFORTUNE, S ;
CHEN, E .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1990, 35 (04) :398-405
[9]  
LAFORTUNE S, 1990, PROCEEDINGS OF THE 29TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-6, P3434, DOI 10.1109/CDC.1990.203436
[10]   Supervisory control of probabilistic discrete-event systems with recovery [J].
Li, YH ;
Lin, F ;
Lin, ZH .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1999, 44 (10) :1971-1975