Anooshiravan Saboori

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Correction to "Current-State Opacity Formulations in Probabilistic Finite Automata".
IEEE Trans. Autom. Control., May, 2024

2014
Current-State Opacity Formulations in Probabilistic Finite Automata.
IEEE Trans. Autom. Control., 2014

2013
Verification of initial-state opacity in security applications of discrete event systems.
Inf. Sci., 2013

2012
Verification of Infinite-Step Opacity and Complexity Considerations.
IEEE Trans. Autom. Control., 2012

Opacity-Enforcing Supervisory Strategies via State Estimator Constructions.
IEEE Trans. Autom. Control., 2012

2011
Verification of K-Step Opacity and Analysis of Its Complexity.
IEEE Trans Autom. Sci. Eng., 2011

2010
Verification and Enforcement of State-Based Notions of Opacity in Discrete Event Systems
PhD thesis, 2010

Reduced-complexity verification for initial-state opacity in modular discrete event systems.
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Opacity verification in stochastic discrete event systems.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

2008
Autotuning Configurations in Distributed Systems for Performance Improvements Using Evolutionary Strategies.
Proceedings of the 28th IEEE International Conference on Distributed Computing Systems (ICDCS 2008), 2008

Opacity-enforcing supervisory strategies for secure discrete event systems.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

2007
Notions of security and opacity in discrete event systems.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

2006
Robust nonblocking supervisory control of discrete-event systems under partial observation.
Syst. Control. Lett., 2006


  Loading...