Author of the publication

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

On the Decidability and Complexity of Diagnosability for Labeled Petri Nets., and . IEEE Trans. Automat. Contr., 62 (11): 5931-5938 (2017)Verification of Prognosability for Labeled Petri Nets.. IEEE Trans. Automat. Contr., 63 (6): 1738-1744 (2018)Adaptive Unscented Kalman Filter for Target Tracking in the Presence of Nonlinear Systems Involving Model Mismatches., , , , and . Remote Sensing, 9 (7): 657 (2017)Synthesis of Maximally Permissive Nonblocking Supervisors for the Lower Bound Containment Problem., and . IEEE Trans. Automat. Contr., 63 (12): 4435-4441 (2018)Face recognition using the Weber Local Descriptor., , and . ACPR, page 589-592. IEEE, (2011)Formal Verification of Large Software Systems., and . NASA Formal Methods, volume NASA/CP-2010-216215 of NASA Conference Proceedings, page 192-201. (2010)Compressive Sensing of Neural Action Potentials by Designing Overcomplete Dictionaries., , , , , , , and . GreenCom/iThings/CPScom, page 1848-1852. IEEE, (2013)Opacity Enforcing Supervisory Control using Non-deterministic Supervisors., , and . CoRR, (2020)Synthesis of Dynamic Masks for Infinite-Step Opacity., and . IEEE Trans. Autom. Control., 65 (4): 1429-1441 (2020)Infinite-step opacity and K-step opacity of stochastic discrete-event systems., , , and . Autom., (2019)