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.

 

Other publications of authors with the same name

Resilient Networked Control of Distributed Energy Resources., , and . IEEE Journal on Selected Areas in Communications, 30 (6): 1137-1148 (2012)Distributed balancing of a digraph with integer weights., and . CDC, page 1983-1988. IEEE, (2013)Probabilistic marking estimation in labeled Petri nets., , and . CDC, page 6304-6310. IEEE, (2013)Approximation of Markov processes by lower dimensional processes., , , , and . CDC, page 4441-4446. IEEE, (2014)Laplacian-based matrix design for finite-time aveazge consensus in digraphs., and . CDC, page 3654-3659. IEEE, (2018)Security in the Cache and Forward Architecture for the Next Generation Internet., , and . ICDCN, volume 6522 of Lecture Notes in Computer Science, page 328-339. Springer, (2011)Coding approaches to fault tolerance in linear dynamic systems., and . IEEE Trans. Information Theory, 51 (1): 210-228 (2005)Monitoring Discrete Event Systems Using Petri Net Embeddings., and . ICATPN, volume 1639 of Lecture Notes in Computer Science, page 188-207. Springer, (1999)Distributed formation of balanced and bistochastic weighted digraphs in multi-agent systems., and . ECC, page 1752-1757. IEEE, (2013)Privacy-preserving asymptotic average consensus., and . ECC, page 760-765. IEEE, (2013)