Anooshiravan Saboori

According to our database, Anooshiravan Saboori authored at least 13 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Correction to "Current-State Opacity Formulations in Probabilistic Finite Automata".

Anooshiravan Saboori, Christoforos N. Hadjicostis

IEEE Trans. Autom. Control., May, 2024

2014

Current-State Opacity Formulations in Probabilistic Finite Automata.

Anooshiravan Saboori, Christoforos N. Hadjicostis

IEEE Trans. Autom. Control., 2014

2013

Verification of initial-state opacity in security applications of discrete event systems.

Anooshiravan Saboori, Christoforos N. Hadjicostis

Inf. Sci., 2013

2012

Verification of Infinite-Step Opacity and Complexity Considerations.

Anooshiravan Saboori, Christoforos N. Hadjicostis

IEEE Trans. Autom. Control., 2012

Opacity-Enforcing Supervisory Strategies via State Estimator Constructions.

Anooshiravan Saboori, Christoforos N. Hadjicostis

IEEE Trans. Autom. Control., 2012

2011

Verification of K-Step Opacity and Analysis of Its Complexity.

Anooshiravan Saboori, Christoforos N. Hadjicostis

IEEE Trans Autom. Sci. Eng., 2011

2010

Verification and Enforcement of State-Based Notions of Opacity in Discrete Event Systems

Anooshiravan Saboori

PhD thesis, 2010

Reduced-complexity verification for initial-state opacity in modular discrete event systems.

Anooshiravan Saboori, Christoforos N. Hadjicostis

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Opacity verification in stochastic discrete event systems.

Anooshiravan Saboori, Christoforos N. Hadjicostis

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

2008

Autotuning Configurations in Distributed Systems for Performance Improvements Using Evolutionary Strategies.

Anooshiravan Saboori, Guofei Jiang, Haifeng Chen

Proceedings of the 28th IEEE International Conference on Distributed Computing Systems (ICDCS 2008), 2008

Opacity-enforcing supervisory strategies for secure discrete event systems.

Anooshiravan Saboori, Christoforos N. Hadjicostis

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

2007

Notions of security and opacity in discrete event systems.

Anooshiravan Saboori, Christoforos N. Hadjicostis

Proceedings of the 46th IEEE Conference on Decision and Control, 2007

2006

Robust nonblocking supervisory control of discrete-event systems under partial observation.

Anooshiravan Saboori, Shahin Hashtrudi-Zad

Syst. Control. Lett., 2006