Opacity-Enforcing Supervisory Strategies via State Estimator Constructions

State-based notions of opacity, such as initial-state opacity and infinite-step opacity, emerge as key properties in numerous security applications of discrete event systems. We consider systems that are modeled as partially observed nondeterministic finite automata and tackle the problem of constru...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE transactions on automatic control 2012-05, Vol.57 (5), p.1155-1165
Hauptverfasser:	Saboori, A., Hadjicostis, C. N.
Format:	Artikel
Sprache:	eng
Schlagworte:	Applied sciences Automata Computer science control theory systems Computers Control theory. Systems Discrete event systems Educational institutions Exact sciences and technology Law Memory and file management (including protection and security) Memory organisation. Data processing Modelling and identification Observers opacity Security Software Studies Supervisors supervisory control
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!