Compositional synthesis of supervisors in the form of state machines and state maps

被引：24

作者：

Mohajerani, Sahar ^{[1
]}

Malik, Robi ^{[2
]}

Fabian, Martin ^{[3
]}

机构：

[1] Volvo Cars Corp, Vehicle Dynam & Act Safety Ctr, Gothenburg, Sweden

[2] Univ Waikato, Dept Comp Sci, Hamilton, New Zealand

[3] Chalmers, Dept Signals & Syst, Gothenburg, Sweden

来源：

AUTOMATICA | 2017年 / 76卷

基金：

中国国家自然科学基金;

关键词：

Discrete event systems; Compositional synthesis; Controller constraints and structure; Algorithms and software; Computational issues; DISCRETE-EVENT SYSTEMS;

D O I：

10.1016/j.automatica.2016.10.012

中图分类号：

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

学科分类号：

0812 ;

摘要：

This paper investigates the compositional abstraction-based synthesis of least restrictive, controllable, and nonblocking supervisors for discrete event systems that are given as a large number of finite-state machines. It compares a previous algorithm that synthesises modular supervisors in the form of state machines, with an alternative that records state maps after each abstraction step and uses these to control the system. The state map-based algorithm supports all abstraction methods used previously, and in addition allows for nondeterminism, hiding, and transition removal. It has been implemented in the software tool Supremica and applied to several large industrial models. The experimental results and the complexity analysis show that state maps can be computed efficiently and in many cases require less memory than state machine-based supervisors. (C) 2016 Elsevier Ltd. All rights reserved.

引用

页码：277 / 281

页数：5

共 46 条

[21] Implementation of supervisory control using extended finite-state machines
Yang, Y.
Mannani, A.
Gohari, P.
INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 2008, 39 (12) : 1115 - 1125
[22] Computation of Admissible Marking Sets in Weighted State Machines by Dynamic Programming
Ma, Ziyue
Li, Zhiwu
Giua, Alessandro
2017 IEEE 56TH ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2017,
[23] Modeling of discrete event systems using finite state machines with parameters
Chen, YL
Lin, F
PROCEEDINGS OF THE 2000 IEEE INTERNATIONAL CONFERENCE ON CONTROL APPLICATIONS, 2000, : 941 - 946
[24] Maximum Likelihood Failure Diagnosis in Finite State Machines Under Unreliable Observations
Athanasopoulou, Eleftheria
Li, Lingxi
Hadjicostis, Christoforos N.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2010, 55 (03) : 579 - 593
[25] Safety control of discrete event systems using finite state machines with parameters
Chen, YL
Lin, F
PROCEEDINGS OF THE 2001 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2001, : 975 - 980
[26] Supervisory Control of DES With Extended Finite-State Machines and Variable Abstraction
Teixeira, Marcelo
Malik, Robi
Cury, Jose E. R.
de Queiroz, Max H.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2015, 60 (01) : 118 - 129
[27] Hierarchical Modeling and abstraction of discrete event systems using finite state machines with parameters
Chen, YL
Lin, F
PROCEEDINGS OF THE 40TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-5, 2001, : 4110 - 4115
[28] Design of decentralized critical observers for networks of finite state machines: A formal method approach
Pola, Giordano
De Santis, Elena
Di Benedetto, Maria Domenica
Pezzuti, Davide
AUTOMATICA, 2017, 86 : 174 - 182
[29] A Compact and Uniform Approach for Synthesizing State-Based Property-Enforcing Supervisors for Discrete-Event Systems
Meira-Goes, Romulo
Weitze, Jack
Lafortune, Stephane
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2022, 67 (07) : 3567 - 3573
[30] Forbidden state avoidance controller synthesis for a class of DES
Luo, Jiliang
Cui, Huajun
Huang, Caihong
2007 IEEE INTERNATIONAL CONFERENCE ON CONTROL AND AUTOMATION, VOLS 1-7, 2007, : 1207 - +

← 1 2 3 4 5 →