{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,19]],"date-time":"2026-01-19T10:29:01Z","timestamp":1768818541123,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,4,11]],"date-time":"2016-04-11T00:00:00Z","timestamp":1460332800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"National Science Foundation","award":["CCF-1422798 and CNS-1338726"],"award-info":[{"award-number":["CCF-1422798 and CNS-1338726"]}]},{"name":"National Science Foundation","award":["CNS-1217811 and ECCS-1231196"],"award-info":[{"award-number":["CNS-1217811 and ECCS-1231196"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,4,11]]},"DOI":"10.1145\/2883817.2883820","type":"proceedings-article","created":{"date-parts":[[2016,4,12]],"date-time":"2016-04-12T12:23:12Z","timestamp":1460463792000},"page":"247-256","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":21,"title":["Entropy and Minimal Data Rates for State Estimation and Model Detection"],"prefix":"10.1145","author":[{"given":"Daniel","family":"Liberzon","sequence":"first","affiliation":[{"name":"University of Illinois at Urbana Champaign, Urbana, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sayan","family":"Mitra","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana Champaign, urbana, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,4,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02434914"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1137\/110829271"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1137\/080713902"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2013.01.008"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/129837"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/2555754.2555780"},{"key":"e_1_3_2_1_7_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"446","DOI":"10.1007\/978-3-319-24953-7_32","volume-title":"Automated Technology for Verification and Analysis -- 13th International Symposium, ATVA","author":"Fan C.","year":"2015","unstructured":"C. Fan and S. Mitra . Bounded verification with on-the-fly discrepancy computation . In Automated Technology for Verification and Analysis -- 13th International Symposium, ATVA 2015 , Shanghai, China, October 12-15, 2015, Proceedings, volume 9364 of LNCS , pages 446 -- 463 . Springer , 2015. C. Fan and S. Mitra. Bounded verification with on-the-fly discrepancy computation. In Automated Technology for Verification and Analysis -- 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, volume 9364 of LNCS, pages 446--463. Springer, 2015."},{"key":"e_1_3_2_1_8_1","volume-title":"Proc. 15th Int. Symp. on Mathematical Theory of Networks and Systems (MTNS)","author":"Hespanha J. P.","year":"2002","unstructured":"J. P. Hespanha , A. Ortega , and L. Vasudevan . Towards the control of linear systems with minimum bit-rate . In Proc. 15th Int. Symp. on Mathematical Theory of Networks and Systems (MTNS) , 2002 . J. P. Hespanha, A. Ortega, and L. Vasudevan. Towards the control of linear systems with minimum bit-rate. In Proc. 15th Int. Symp. on Mathematical Theory of Networks and Systems (MTNS), 2002."},{"key":"e_1_3_2_1_9_1","volume-title":"Robust Adaptive Control","author":"Ioannou P. A.","year":"1996","unstructured":"P. A. Ioannou and J. Sun . Robust Adaptive Control . Prentice Hall , New Jersey , 1996 . P. A. Ioannou and J. Sun. Robust Adaptive Control. Prentice Hall, New Jersey, 1996."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809187"},{"key":"e_1_3_2_1_11_1","volume-title":"Nonlinear Systems","author":"Khalil H. K.","year":"2002","unstructured":"H. K. Khalil . Nonlinear Systems . Prentice Hall , New Jersey , 3 rd edition, 2002 . H. K. Khalil. Nonlinear Systems. Prentice Hall, New Jersey, 3rd edition, 2002.","edition":"3"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967719"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.849258"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2325635"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2004.834105"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2006.887294"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2005.08.021"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/9.148346"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2004.831187"}],"event":{"name":"HSCC'16: 19th International Conference on Hybrid Systems: Computation and Control","location":"Vienna Austria","acronym":"HSCC'16","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2883817.2883820","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2883817.2883820","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T19:04:12Z","timestamp":1750273452000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2883817.2883820"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,4,11]]},"references-count":19,"alternative-id":["10.1145\/2883817.2883820","10.1145\/2883817"],"URL":"https:\/\/doi.org\/10.1145\/2883817.2883820","relation":{},"subject":[],"published":{"date-parts":[[2016,4,11]]},"assertion":[{"value":"2016-04-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}