Author of the publication

Verification of Infinite-Step Opacity and Complexity Considerations.

, and . IEEE Trans. Automat. Contr., 57 (5): 1265-1269 (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Saboori, Anooshiravan
add a person with the name Saboori, Anooshiravan
 

Other publications of authors with the same name

Opacity verification in stochastic discrete event systems., and . CDC, page 6759-6764. IEEE, (2010)Robust nonblocking supervisory control of discrete-event systems under partial observation., and . Systems & Control Letters, 55 (10): 839-848 (2006)Reduced-complexity verification for initial-state opacity in modular discrete event systems., and . WODES, page 78-83. International Federation of Automatic Control, (2010)Verification of Infinite-Step Opacity and Complexity Considerations., and . IEEE Trans. Automat. Contr., 57 (5): 1265-1269 (2012)Autotuning Configurations in Distributed Systems for Performance Improvements Using Evolutionary Strategies., , and . ICDCS, page 769-776. IEEE Computer Society, (2008)Opacity-Enforcing Supervisory Strategies via State Estimator Constructions., and . IEEE Trans. Automat. Contr., 57 (5): 1155-1165 (2012)Current-State Opacity Formulations in Probabilistic Finite Automata., and . IEEE Trans. Automat. Contr., 59 (1): 120-133 (2014)Opacity-enforcing supervisory strategies for secure discrete event systems., and . CDC, page 889-894. IEEE, (2008)Verification of initial-state opacity in security applications of discrete event systems., and . Inf. Sci., (2013)Verification of K-step opacity and analysis of its complexity., and . CDC, page 205-210. IEEE, (2009)