Author of the publication

Verification complexity of a class of observational properties for modular discrete events systems.

, and . Autom., (2017)

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

Synthesis of Dynamic Masks for Infinite-Step Opacity., and . IEEE Trans. Autom. Control., 65 (4): 1429-1441 (2020)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 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)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)On the Decidability and Complexity of Diagnosability for Labeled Petri Nets., and . IEEE Trans. Automat. Contr., 62 (11): 5931-5938 (2017)SOD head: A network for locating small fruits from top to bottom in layers of feature maps., , , , , , and . Comput. Electron. Agric., (September 2023)