Person:497278

Available identifiers

zbMath Open saboori.anooshiravanMaRDI QIDQ497278

List of research outcomes

Publication	Date of Publication	Type
Opacity-Enforcing Supervisory Strategies via State Estimator Constructions	2017-09-08	Paper
Verification of Infinite-Step Opacity and Complexity Considerations	2017-09-08	Paper
Current-State Opacity Formulations in Probabilistic Finite Automata	2017-05-16	Paper
Verification of initial-state opacity in security applications of discrete event systems	2015-09-23	Paper
Robust nonblocking supervisory control of discrete-event systems under partial observation	2006-10-27	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Anooshiravan Saboori