Author of the publication

Verification of Hybrid Automata Diagnosability With Measurement Uncertainty.

, , , , and . IEEE Trans. Autom. Control., 61 (4): 982-993 (2016)

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

Scalable scheduling algorithms for wireless networked control systems., , , , , and . CASE, page 409-414. IEEE, (2009)Verification of Hybrid Automata Diagnosability With Measurement Uncertainty., , , , and . IEEE Trans. Autom. Control., 61 (4): 982-993 (2016)Learning Models for Seismic-Induced Vibrations Optimal Control in Structures via Random Forests., , , , and . J. Optim. Theory Appl., 187 (3): 855-874 (2020)Diagnosability of hybrid automata with measurement uncertainty., , and . CDC, page 1042-1047. IEEE, (2008)Approximate abstractions of discrete-time controlled stochastic hybrid systems., , and . CDC, page 221-226. IEEE, (2008)Verification of temporal properties on hybrid automata by simulation relations., , , , and . CDC, page 4039-4044. IEEE, (2007)Machine Learning-based Approaches Comparison for Netfiix/DAZN Streaming and Real Traffic Prediction., , , , and . GLOBECOM, page 3102-3107. IEEE, (2022)Data-driven Switched Affine Modeling for Model Predictive Control., , , and . ADHS, volume 51 of IFAC-PapersOnLine, page 199-204. Elsevier, (2018)On the impact of accurate radio link modeling on the performance of WirelessHART control networks., , , , and . INFOCOM, page 2430-2439. IEEE, (2020)Secure state estimation over Markov wireless communication channels (extended version)., , , , and . CoRR, (2022)