%0 Journal Article %1 journals/tac/DengDBGJ16 %A Deng, Yi %A D'Innocenzo, Alessandro %A Benedetto, Maria Domenica Di %A Gennaro, Stefano Di %A Julius, A. Agung %D 2016 %J IEEE Trans. Autom. Control. %K dblp %N 4 %P 982-993 %T Verification of Hybrid Automata Diagnosability With Measurement Uncertainty. %U http://dblp.uni-trier.de/db/journals/tac/tac61.html#DengDBGJ16 %V 61

@article{journals/tac/DengDBGJ16, added-at = {2022-06-23T00:00:00.000+0200}, author = {Deng, Yi and D'Innocenzo, Alessandro and Benedetto, Maria Domenica Di and Gennaro, Stefano Di and Julius, A. Agung}, biburl = {https://www.bibsonomy.org/bibtex/26d3ca92b267c629df2260b5884adc648/dblp}, ee = {https://doi.org/10.1109/TAC.2015.2455111}, interhash = {f0411935227bc0c150034e9b7dc3d802}, intrahash = {6d3ca92b267c629df2260b5884adc648}, journal = {IEEE Trans. Autom. Control.}, keywords = {dblp}, number = 4, pages = {982-993}, timestamp = {2024-04-08T17:33:07.000+0200}, title = {Verification of Hybrid Automata Diagnosability With Measurement Uncertainty.}, url = {http://dblp.uni-trier.de/db/journals/tac/tac61.html#DengDBGJ16}, volume = 61, year = 2016 }