Transformational Supervisor Localization

Sander B. Thuijsman; Kai Cai; Michel A. Reniers

doi:10.1109/LCSYS.2023.3278248

Transformational Supervisor Localization

Sander B. Thuijsman (Corresponding author), Kai Cai, Michel A. Reniers

Research output: Contribution to journal › Article › Academic › peer-review

62 Downloads (Pure)

Abstract

Supervisor localization can be applied to distribute a monolithic supervisor into local supervisors. Performing supervisor localization can be computationally costly. In this letter, we consider systems that evolve over time. We study how to reuse the results from a previous supervisor localization, to more efficiently compute local supervisors when the system is adapted. We call this approach transformational supervisor localization, and present algorithms for the procedure. The efficiency of the procedure is experimentally evaluated.

Original language	English
Article number	10130093
Pages (from-to)	1682-1687
Number of pages	6
Journal	IEEE Control Systems Letters
Volume	7
DOIs	https://doi.org/10.1109/LCSYS.2023.3278248
Publication status	Published - 19 May 2023

Keywords

automata
computational methods
discrete-event systems
model/controller reduction
supervisory control
Discrete-event systems

Access to Document

10.1109/LCSYS.2023.3278248

TSL_pureFinal author version , 463 KB

Cite this

@article{5cbf82d37ca84b5ab89f55cb3c1abeb1,

title = "Transformational Supervisor Localization",

abstract = "Supervisor localization can be applied to distribute a monolithic supervisor into local supervisors. Performing supervisor localization can be computationally costly. In this letter, we consider systems that evolve over time. We study how to reuse the results from a previous supervisor localization, to more efficiently compute local supervisors when the system is adapted. We call this approach transformational supervisor localization, and present algorithms for the procedure. The efficiency of the procedure is experimentally evaluated.",

keywords = "automata, computational methods, discrete-event systems, model/controller reduction, supervisory control, Discrete-event systems",

author = "Thuijsman, {Sander B.} and Kai Cai and Reniers, {Michel A.}",

year = "2023",

month = may,

day = "19",

doi = "10.1109/LCSYS.2023.3278248",

language = "English",

volume = "7",

pages = "1682--1687",

journal = "IEEE Control Systems Letters",

issn = "2475-1456",

publisher = "Institute of Electrical and Electronics Engineers",

}

TY - JOUR

T1 - Transformational Supervisor Localization

AU - Thuijsman, Sander B.

AU - Cai, Kai

AU - Reniers, Michel A.

PY - 2023/5/19

Y1 - 2023/5/19

N2 - Supervisor localization can be applied to distribute a monolithic supervisor into local supervisors. Performing supervisor localization can be computationally costly. In this letter, we consider systems that evolve over time. We study how to reuse the results from a previous supervisor localization, to more efficiently compute local supervisors when the system is adapted. We call this approach transformational supervisor localization, and present algorithms for the procedure. The efficiency of the procedure is experimentally evaluated.

AB - Supervisor localization can be applied to distribute a monolithic supervisor into local supervisors. Performing supervisor localization can be computationally costly. In this letter, we consider systems that evolve over time. We study how to reuse the results from a previous supervisor localization, to more efficiently compute local supervisors when the system is adapted. We call this approach transformational supervisor localization, and present algorithms for the procedure. The efficiency of the procedure is experimentally evaluated.

KW - automata

KW - computational methods

KW - discrete-event systems

KW - model/controller reduction

KW - supervisory control

KW - Discrete-event systems

UR - http://www.scopus.com/inward/record.url?scp=85160236400&partnerID=8YFLogxK

U2 - 10.1109/LCSYS.2023.3278248

DO - 10.1109/LCSYS.2023.3278248

M3 - Article

SN - 2475-1456

VL - 7

SP - 1682

EP - 1687

JO - IEEE Control Systems Letters

JF - IEEE Control Systems Letters

M1 - 10130093

ER -

Transformational Supervisor Localization

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this