Bisimilarity enforcing supervisory control for deterministic specifications

被引：11

作者：

Sun, Yajuan ^{[1
]}

Lin, Hai ^{[2
]}

Chen, Ben M. ^{[1
]}

机构：

[1] Natl Univ Singapore, Dept Elect & Comp Engn, Singapore 117548, Singapore

[2] Univ Notre Dame, Dept Elect Engn, Notre Dame, IN 46556 USA

来源：

AUTOMATICA | 2014年 / 50卷 / 01期

关键词：

Supervisory control; Bisimulation; Discrete event systems; DISCRETE-EVENT SYSTEMS;

D O I：

10.1016/j.automatica.2013.09.025

中图分类号：

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

学科分类号：

0812 ;

摘要：

This paper studies the supervisory control of nondeterministic discrete event systems to achieve a bisimulation equivalence between the controlled system and the deterministic specification. In particular, a necessary and sufficient condition is given for the existence of a bisimilarity enforcing supervisor, and a polynomial algorithm is developed to verify such a condition. When the existence condition holds, a bisimilarity enforcing supervisor is constructed. Otherwise, two methods are provided for synthesizing supremal feasible sub-specifications. (C) 2013 Elsevier Ltd. All rights reserved.

引用

页码：287 / 290

页数：4

共 11 条

[1] Symbolic planning and control of robot motion - Finding the missing pieces of current methods and ideas [J].

Belta, Calin ;

Bicchi, Antonio ;

Egerstedt, Magnus ;

Frazzoli, Emilio ;

Klavins, Eric ;

Pappas, George J. .

IEEE ROBOTICS & AUTOMATION MAGAZINE, 2007, 14 (01) :61-70

[2]

Cassandras C. G., 2008, INTRO DISCRETE EVENT

[3] Guaranteed global performance through local coordinations [J].

Karimadini, Mohammad ;

Lin, Hai .

AUTOMATICA, 2011, 47 (05) :890-898

[4]

Milner R., 1989, Communication and concurrency

[5]

Park David., 1981, Concurrency and automata on infinite sequences

[6]

Qin H., 1990, LECT NOTES COMPUT SC, P427

[7] Model Abstraction of Nondeterministic Finite-State Automata in Supervisor Synthesis [J].

Su, Rong ;

van Schuppen, Jan H. ;

Rooda, Jacobus E. .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2010, 55 (11) :2527-2541

[8] Controller synthesis for bisimulation equivalence [J].

Tabuada, Paulo .

SYSTEMS & CONTROL LETTERS, 2008, 57 (06) :443-452

[9] Linear time logic control of discrete-time linear systems [J].

Tabuada, Paulo ;

Pappas, George J. .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2006, 51 (12) :1862-1877

[10] Control of nondeterministic discrete-event systems for bisimulation equivalence [J].

Zhou, Changyan ;

Kumar, Ratnesh ;

Jiang, Shengbing .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2006, 51 (05) :754-765

← 1 2 →