Supervisor Synthesis: Bridging Theory and Practice

被引：6

作者：

Fokkink, Wan ^{[1
,2
]}

Goorden, Martijn ^{[3
]}

Van de Mortel-Fronczak, Joanna ^{[4
]}

Reijnen, Ferdie ^{[5
]}

Rooda, Jacobus ^{[6
]}

机构：

[1] Vrije Univ Amsterdam, Theoret Comp Sci, NL-1081 HV Amsterdam, Netherlands

[2] Eindhoven Univ Technol, Model Based Syst Engn, NL-5612 AZ Eindhoven, Netherlands

[3] Aalborg Univ, DK-9220 Aalborg, Denmark

[4] Eindhoven Univ Technol, Fac Mech Engn, Eindhoven, Netherlands

[5] Rijkswaterstaat, NL-3526 LA Utrecht, Netherlands

[6] Eindhoven Univ Technol, Mfg Syst Engn, NL-5612 AZ Eindhoven, Netherlands

来源：

COMPUTER | 2022年 / 55卷 / 10期

关键词：

Theory and practice;

D O I：

10.1109/MC.2021.3134934

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

In recent years, owing to important improvements, the applicability of supervisor synthesis has significantly increased. We discuss notable developments that were pivotal in the application of supervisor synthesis to large infrastructural systems.

引用

页码：48 / 54

页数：7

共 20 条

[1]

[Anonymous], 1993, Symbolic model checking

[2]

Eppinger SD, 2012, ENG SYST, P1

[3] The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis [J].

Goorden, Martijn ;

van de Mortel-Fronczak, Joanna ;

Reniers, Michel ;

Fokkink, Wan ;

Rooda, Jacobus .

FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2019, 2019, 11687 :76-92

[4] Structuring Multilevel Discrete-Event Systems With Dependence Structure Matrices [J].

Goorden, Martijn ;

van de Mortel-Fronczak, Joanna ;

Reniers, Michel ;

Fokkink, Wan ;

Rooda, Jacobus .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2020, 65 (04) :1625-1639

[5]

Goorden M, 2019, 2019 18TH EUROPEAN CONTROL CONFERENCE (ECC), P3204, DOI [10.23919/ecc.2019.8795835, 10.23919/ECC.2019.8795835]

[6] Compositional coordinator synthesis of extended finite automata [J].

Goorden, Martijn A. ;

Fabian, Martin ;

van de Mortel-fronczak, Joanna M. ;

Reniers, Michel A. ;

Fokkink, Wan J. ;

Rooda, Jacobus E. .

DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2021, 31 (03) :317-348

[7]

Komenda J, 2016, INT WORKS DISCRETE, P103, DOI 10.1109/WODES.2016.7497833

[8] Supremica-An Efficient Tool for Large-Scale Discrete Event Systems [J].

Malik, Robi ;

Akesson, Knut ;

Flordal, Hugo ;

Fabian, Martin .

IFAC PAPERSONLINE, 2017, 50 (01) :5794-5799

[9] A framework for compositional nonblocking verification of extended finite-state machines [J].

Mohajerani, Sahar ;

Malik, Robi ;

Fabian, Martin .

DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2016, 26 (01) :33-84

[10] Nonblocking and Safe Control of Discrete-Event Systems Modeled as Extended Finite Automata [J].

Ouedraogo, Lucien ;

Kumar, Ratnesh ;

Malik, Robi ;

Akesson, Knut .

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2011, 8 (03) :560-569

← 1 2 →