Synthesis of Dynamic Masks for Infinite-Step Opacity

We investigate the problem of synthesizing dynamic masks that preserve the infinite-step opacity in the context of discrete-event systems. Dynamic mask is an information acquisition mechanism that controls the observability of the system's events dynamically online, e.g., by turning sensors on/...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE transactions on automatic control 2020-04, Vol.65 (4), p.1429-1441
Hauptverfasser:	Yin, Xiang, Li, Shaoyuan
Format:	Artikel
Sprache:	eng
Schlagworte:	Algorithms Complexity theory Cyber-physical systems Data processing Delayed information Discrete event systems discrete-event systems (DESs) dynamic masks Heuristic algorithms infinite-step opacity On-line systems Opacity Security Sensor systems State reduction Synthesis Turning
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!