Abstract
In this paper, we introduce a new notion of switched supervisory control in the context of discrete event systems. We assume a single event-driven system (plant) controlled by a set of supervisors, where each pair plant/supervisor generates a different event-driven system. A switching mechanism coordinates which plant/supervisor is active at a given time. We investigate the problem of synthesizing a set of supervisors and a switching mechanism such that safety, liveness and maximal permissiveness specifications are satisfied. Sufficient and necessary conditions to solve this problem are presented. Second, a direct application of this new switched supervisory control theory is provided in the context of cyber-security. Namely, this new framework is used as basis for a Moving Target Defense paradigm. Again, sufficient and necessary conditions to solve this problem are presented.
Original language | English (US) |
---|---|
Pages (from-to) | 317-323 |
Number of pages | 7 |
Journal | IFAC-PapersOnLine |
Volume | 53 |
Issue number | 4 |
DOIs | |
State | Published - 2020 |
Event | 15th IFAC Workshop on Discrete Event Systems, WODES 2020 - Rio de Janeiro, Brazil Duration: Nov 11 2020 → Nov 13 2020 |
All Science Journal Classification (ASJC) codes
- Control and Systems Engineering