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 -