Eclipse ESCETTM: The Eclipse Supervisory Control Engineering Toolkit

被引：3

作者：

Fokkink, W. J. ^{[1
,2
]}

Goorden, M. A. ^{[3
,4
]}

Hendriks, D. ^{[5
,6
]}

van Beek, D. A. ^{[1
]}

Hofkamp, A. T. ^{[1
]}

Reijnen, F. F. H. ^{[7
]}

Etman, L. F. P. ^{[1
]}

Moormann, L. ^{[1
]}

van de Mortel-Fronczak, J. M. ^{[1
]}

Reniers, M. A. ^{[1
]}

Rooda, J. E. ^{[1
]}

van der Sanden, L. J. ^{[5
]}

Schiffelers, R. R. H. ^{[1
,8
]}

Thuijsman, S. B. ^{[1
]}

Verbakel, J. J. ^{[1
]}

Vogel, J. A. ^{[4
]}

机构：

[1] Eindhoven Univ Technol, Eindhoven, Netherlands

[2] Vrije Univ Amsterdam, Amsterdam, Netherlands

[3] Aalborg Univ, Aalborg, Denmark

[4] Rijkswaterstaat, Utrecht, Netherlands

[5] TNO ESI, Eindhoven, Netherlands

[6] Radboud Univ Nijmegen, Nijmegen, Netherlands

[7] Vanderlande Ind, Veghel, Netherlands

[8] ASML, Veldhoven, Netherlands

来源：

TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT II, TACAS 2023 | 2023年 / 13994卷

关键词：

MODEL-BASED DESIGN;

D O I：

10.1007/978-3-031-30820-8_6

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

The Eclipse Supervisory Control Engineering Toolkit (ESCETTM) is an open-source project to provide a model-based approach and toolkit for developing supervisory controllers, targeting their entire engineering process. It supports synthesis-based engineering of supervisory controllers for discrete-event systems, combining model-based engineering with computer-aided design to automatically generate correct-by-construction controllers. At its heart is supervisory controller synthesis, a formal technique for the automatic derivation of supervisory controllers from the unrestricted system behavior and system requirements. Vital for the future development of these techniques and tools is the ESCET project's open environment, allowing industry and academia to collaborate on creating an industrial-strength toolkit. We report on some crucial developments of the toolkit in the context of research projects with Rijks-waterstaat and ASML that have considerably improved its capability to deal with the complexity of real-life systems as well as its usability.

引用

页码：44 / 52

页数：9

共 33 条

[1]

Behrmann G, 2006, INT CONF QUANT EVAL, P125

[2] The mCRL2 Toolset for Analysing Concurrent Systems Improvements in Expressivity and Usability [J].

Bunte, Olav ;

Groote, Jan Friso ;

Keiren, Jeroen J. A. ;

Laveaux, Maurice ;

Neele, Thomas ;

de Vink, Erik P. ;

Wesselink, Wieger ;

Wijs, Anton ;

Willemse, Tim A. C. .

TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT II, 2019, 11428 :21-39

[3]

Eclipse Foundation, 2022, Zenodo, DOI 10.5281/ZENODO.7296616

[4]

Eppinger SD, 2012, ENG SYST, P1

[5]

Feng L, 2006, WODES 2006: EIGHTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, P388

[6] Supervisor Synthesis: Bridging Theory and Practice [J].

Fokkink, Wan ;

Goorden, Martijn ;

Van de Mortel-Fronczak, Joanna ;

Reijnen, Ferdie ;

Rooda, Jacobus .

COMPUTER, 2022, 55 (10) :48-54

[7] Model properties for efficient synthesis of nonblocking modular supervisors [J].

Goorden, Martijn ;

van de Mortel-Fronczak, Joanna ;

Reniers, Michel ;

Fabian, Martin ;

Fokkink, Wan ;

Rooda, Jacobus .

CONTROL ENGINEERING PRACTICE, 2021, 112

[8] 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

[9]

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

[10] DSM-based variable ordering heuristic for reduced computational effort of symbolic supervisor synthesis [J].

Lousberg, Sam ;

Thuij, Sander ;

Reniers, Michel .

IFAC PAPERSONLINE, 2020, 53 (04) :429-436

← 1 2 3 4 →