13 citations · 16 across the 5 of their papers we have counts for
5 papers
Transformational Supervisor Localization
Sander Thuijsman, Kai Cai, Michel Reniers
Supervisor localization can be applied to distribute a monolithic supervisor into local supervisors. Performing supervisor localization can be computationally costly. In this work,…
Tool interoperability for model-based systems engineering
Sander Thuijsman, Gökhan Kahraman, Alireza Mohamadkhani +7
Supervisory control design of cyber-physical systems has many challenges. Model-based systems engineering can address these, with solutions originating from various disciplines. We…
Supervisory Control for Dynamic Feature Configuration in Product Lines
Sander Thuijsman, Michel Reniers
In this paper a framework for engineering supervisory controllers for product lines with dynamic feature configuration is proposed. The variability in valid configurations is descr…
Conversion of LSAT behavioral specifications to automata
Sander Thuijsman, Michel Reniers
The Logistics Specification and Analysis Tool (LSAT) is a model-based engineering tool used for manufacturing system design and analysis. Using a domain specific language, a system…
Synthesis of Successful Actuator Attackers on Supervisors
Liyong Lin, Sander Thuijsman, Yuting Zhu +3
In this work, we propose and develop a new discrete-event based actuator attack model on the closed-loop system formed by the plant and the supervisor. We assume the actuator attac…