Anooshiravan Saboori

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 1

Top Topics

Information Theoretic

Conceptual Model

Finite Automata

Top Venues

IEEE Trans. Autom. Control.

Publications

Anooshiravan Saboori, Christoforos N. Hadjicostis
Correction to "Current-State Opacity Formulations in Probabilistic Finite Automata". IEEE Trans. Autom. Control. 69 (5) (2024)
Anooshiravan Saboori, Christoforos N. Hadjicostis
Current-State Opacity Formulations in Probabilistic Finite Automata. IEEE Trans. Autom. Control. 59 (1) (2014)
Anooshiravan Saboori, Christoforos N. Hadjicostis
Verification of initial-state opacity in security applications of discrete event systems. Inf. Sci. 246 (2013)
Anooshiravan Saboori, Christoforos N. Hadjicostis
Verification of Infinite-Step Opacity and Complexity Considerations. IEEE Trans. Autom. Control. 57 (5) (2012)
Anooshiravan Saboori, Christoforos N. Hadjicostis
Opacity-Enforcing Supervisory Strategies via State Estimator Constructions. IEEE Trans. Autom. Control. 57 (5) (2012)
Anooshiravan Saboori, Christoforos N. Hadjicostis
Verification of K-Step Opacity and Analysis of Its Complexity. IEEE Trans Autom. Sci. Eng. 8 (3) (2011)
Anooshiravan Saboori, Christoforos N. Hadjicostis
Reduced-complexity verification for initial-state opacity in modular discrete event systems. WODES (2010)
Anooshiravan Saboori, Christoforos N. Hadjicostis
Opacity verification in stochastic discrete event systems. CDC (2010)
Anooshiravan Saboori, Christoforos N. Hadjicostis
Verification of K-step opacity and analysis of its complexity. CDC (2009)
Anooshiravan Saboori, Guofei Jiang, Haifeng Chen
Autotuning Configurations in Distributed Systems for Performance Improvements Using Evolutionary Strategies. ICDCS (2008)
Anooshiravan Saboori, Christoforos N. Hadjicostis
Opacity-enforcing supervisory strategies for secure discrete event systems. CDC (2008)
Anooshiravan Saboori, Christoforos N. Hadjicostis
Notions of security and opacity in discrete event systems. CDC (2007)
Anooshiravan Saboori, Shahin Hashtrudi-Zad
Robust nonblocking supervisory control of discrete-event systems under partial observation. Syst. Control. Lett. 55 (10) (2006)