☰

Anooshiravan Saboori, Ph.D.

Affiliations: 
2010 University of Illinois, Urbana-Champaign, Urbana-Champaign, IL 
Area:
Electronics and Electrical Engineering, Computer Engineering
Google:
"Anooshiravan Saboori"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
M. Tamer (Mustafa) Basar grad student 2010 UIUC
 (Verification and enforcement of state-based notions of opacity in discrete event systems.)

Children

Sign in to add trainee

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Saboori A, Hadjicostis CN. (2014) Current-state opacity formulations in probabilistic finite automata Ieee Transactions On Automatic Control. 59: 120-133
Saboori A, Hadjicostis CN. (2013) Verification of initial-state opacity in security applications of discrete event systems Information Sciences. 246: 115-132
Saboori A, Hadjicostis CN. (2012) Verification of infinite-step opacity and complexity considerations Ieee Transactions On Automatic Control. 57: 1265-1269
Saboori A, Hadjicostis CN. (2012) Opacity-enforcing supervisory strategies via state estimator constructions Ieee Transactions On Automatic Control. 57: 1155-1165
Saboori A, Hadjicostis CN. (2011) Coverage analysis of mobile agent trajectory via state-based opacity formulations Control Engineering Practice. 19: 967-977
Saboori A, Hadjicostis CN. (2010) Reduced-complexity verification for initial-state opacity in modular discrete event systems Ifac Proceedings Volumes (Ifac-Papersonline). 10: 78-83
Saboori A, Hadjicostis CN. (2010) Opacity verification in stochastic discrete event systems Proceedings of the Ieee Conference On Decision and Control. 6759-6764
Saboori A, Hadjicostis CN. (2009) Verification of infinite-step opacity and analysis of its complexity Ifac Proceedings Volumes (Ifac-Papersonline). 2: 46-51
Saboori A, Hadjicostis CN. (2008) Verification of initial-state opacity in security applications of DES Proceedings - 9th International Workshop On Discrete Event Systems, Wodes' 08. 328-333
Saboori A, Hadjicostis CN. (2008) Opacity-enforcing supervisory strategies for secure discrete event systems Proceedings of the Ieee Conference On Decision and Control. 889-894
See more...