{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,25]],"date-time":"2025-06-25T04:12:36Z","timestamp":1750824756033,"version":"3.41.0"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319661964"},{"type":"electronic","value":"9783319661971"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-66197-1_17","type":"book-chapter","created":{"date-parts":[[2017,8,12]],"date-time":"2017-08-12T01:02:30Z","timestamp":1502499750000},"page":"269-283","source":"Crossref","is-referenced-by-count":0,"title":["On Approximate Diagnosability of Metric Systems"],"prefix":"10.1007","author":[{"given":"Giordano","family":"Pola","sequence":"first","affiliation":[]},{"given":"Elena","family":"De Santis","sequence":"additional","affiliation":[]},{"given":"Maria Domenica","family":"Di Benedetto","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,13]]},"reference":[{"issue":"3","key":"17_CR1","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1109\/9.989067","volume":"47","author":"D Angeli","year":"2002","unstructured":"Angeli, D.: A Lyapunov approach to incremental stability properties. IEEE Trans. Autom. Control 47(3), 410\u2013421 (2002)","journal-title":"IEEE Trans. Autom. Control"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Bayer, B., Burger, M., Allgower, F.: Discrete-time incremental ISS: a framework for robust NMPS. In: European Control Conference, Zurick, Switzerland, pp. 2068\u20132073, July 2013","DOI":"10.23919\/ECC.2013.6669322"},{"key":"17_CR3","unstructured":"Bayoudh, M., Trav\u00e9-Massuyes, L., Olive, X.: Hybrid systems diagnosability by abstracting faulty continuous dynamics. In: Proceedings of the 17th International Principles Diagnosis Workshop, pp. 9\u201315 (2006)"},{"issue":"2","key":"17_CR4","doi-asserted-by":"publisher","first-page":"7265","DOI":"10.3182\/20080706-5-KR-1001.01229","volume":"41","author":"Mehdi Bayoudh","year":"2008","unstructured":"Bayoudh, M., Trav\u00e9-Massuyes, L., Olive, X.: Hybrid systems diagnosis by coupling continuous and discrete event techniques. In: Proceedings of the IFAC World Congress, pp. 7265\u20137270 (2008)","journal-title":"IFAC Proceedings Volumes"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Benosman,M.: A survey of some recent results on nonlinear fault tolerant control. Math. Probl. Eng. 2010 (2010)","DOI":"10.1155\/2010\/586169"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"De Persis, C.: Detecting faults from encoded information. In: Proceedings of the 42nd IEEE Conference on Decision and Control, pp. 947\u2013952 (2013)","DOI":"10.1109\/CDC.2003.1272689"},{"key":"17_CR7","unstructured":"De Santis, E., Pola, G., Di Benedetto, M.D.: On approximate diagnosability of nonlinear systems (2017). arXiv:1704.02138 [math.OC]"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Debouk, R., Malik, R., Brandin, B.: A modular architecture for diagnosis of discrete event systems. In: Proceedings of the 41th Conference on Decision and Control, Las Vegas, Nevada, USA, pp. 417\u2013422, December 2002","DOI":"10.1109\/CDC.2002.1184530"},{"key":"17_CR9","doi-asserted-by":"publisher","first-page":"982","DOI":"10.1109\/TAC.2015.2455111","volume":"61","author":"Y Deng","year":"2016","unstructured":"Deng, Y., D\u2019Innocenzo, A., Di Benedetto, M.D., Di Gennaro, S., Julius, A.A.: Verification of hybrid automata diagnosability with measurement uncertainty. IEEE Trans. Autom. Control 61, 982\u2013993 (2016)","journal-title":"IEEE Trans. Autom. Control"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"De Santis, E., Di Benedetto, M.D.: Observability and diagnosability of finite state systems: a unifying framework. Automatica 81, 115\u2013122 (2017, to appear). arXiv:1608.03195 [math.OC]","DOI":"10.1016\/j.automatica.2017.02.042"},{"key":"17_CR11","doi-asserted-by":"publisher","first-page":"3757","DOI":"10.1109\/TIE.2015.2417501","volume":"62","author":"Z Gao","year":"2015","unstructured":"Gao, Z., Cecati, C., Ding, S.X.: A survey of fault diagnosis and fault-tolerant techniques-part I: fault diagnosis with model-based and signal-based approaches. IEEE Trans. Industr. Electron. 62, 3757\u20133767 (2015)","journal-title":"IEEE Trans. Industr. Electron."},{"issue":"5","key":"17_CR12","doi-asserted-by":"publisher","first-page":"782","DOI":"10.1109\/TAC.2007.895849","volume":"52","author":"A Girard","year":"2007","unstructured":"Girard, A., Pappas, G.J.: Approximation metrics for discrete and continuous systems. IEEE Trans. Autom. Control 52(5), 782\u2013798 (2007)","journal-title":"IEEE Trans. Autom. Control"},{"key":"17_CR13","first-page":"161","volume":"31","author":"J Jiang","year":"2005","unstructured":"Jiang, J.: Fault-tolerant control systems - an introductory overview. Acta Autom. Sinica 31, 161\u2013174 (2005)","journal-title":"Acta Autom. Sinica"},{"key":"17_CR14","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1109\/3468.844356","volume":"30","author":"J Lunze","year":"2000","unstructured":"Lunze, J.: Diagnosis of quantized systems based on a timed discrete-event model. IEEE Trans. Man Cybern. Part A Syst. Hum. 30, 322\u2013335 (2000)","journal-title":"IEEE Trans. Man Cybern. Part A Syst. Hum."},{"key":"17_CR15","doi-asserted-by":"publisher","first-page":"359","DOI":"10.3166\/ejc.14.359-386","volume":"144","author":"J Lunze","year":"2008","unstructured":"Lunze, J., Richter, J.: Reconfigurable fault-tolerant control: a tutorial introduction. Eur. J. Control 144, 359\u2013386 (2008)","journal-title":"Eur. J. Control"},{"key":"17_CR16","doi-asserted-by":"publisher","first-page":"2050","DOI":"10.1109\/TAC.2011.2105738","volume":"56","author":"MD Benedetto Di","year":"2011","unstructured":"Di Benedetto, M.D., Di Gennaro, S., D\u2019Innocenzo, A.: Verification of hybrid automata diagnosability by abstraction. IEEE Trans. Autom. Control 56, 2050\u20132061 (2011)","journal-title":"IEEE Trans. Autom. Control"},{"key":"17_CR17","volume-title":"Communication and Concurrency","author":"R Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall, Upper Saddle River (1989)"},{"key":"17_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/BFb0017309","volume-title":"Theoretical Computer Science","author":"D Park","year":"1981","unstructured":"Park, D.: Concurrency and automata on infinite sequences. In: Deussen, P. (ed.) GI-TCS 1981. LNCS, vol. 104, pp. 167\u2013183. Springer, Heidelberg (1981). doi: 10.1007\/BFb0017309"},{"key":"17_CR19","doi-asserted-by":"crossref","unstructured":"Pola, G., Di Benedetto, M.D.: Approximate supervisory control of nonlinear systems with outputs. In: Proceedings of the 56th IEEE Conference on Decision and Control (2017, to appear)","DOI":"10.1109\/CDC.2017.8264094"},{"key":"17_CR20","doi-asserted-by":"crossref","unstructured":"Ricker, S.L., van Schuppen, J.H.: Decentralized failure diagnosis with asynchronous communication between diagnosers. In: Proceedings of the European Control Conference, Porto, Portugal (2001)","DOI":"10.23919\/ECC.2001.7076044"},{"issue":"9","key":"17_CR21","doi-asserted-by":"publisher","first-page":"1555","DOI":"10.1109\/9.412626","volume":"40","author":"M Sampath","year":"1995","unstructured":"Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D.: Diagnosability of discrete-event systems. IEEE Trans. Autom. Control 40(9), 1555\u20131575 (1995)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"5","key":"17_CR22","doi-asserted-by":"publisher","first-page":"1130","DOI":"10.1109\/TSMCA.2012.2227251","volume":"43","author":"KW Schmidt","year":"2013","unstructured":"Schmidt, K.W.: Verification of modular diagnosability with local specifications for discrete-event systems. IEEE Trans. Syst. Man Cybern. 43(5), 1130\u20131140 (2013)","journal-title":"IEEE Trans. Syst. Man Cybern."},{"key":"17_CR23","first-page":"14","volume":"11","author":"R Stengel","year":"1991","unstructured":"Stengel, R.: Intelligent failure-tolerant control. IEEE Control Syst. Mag. 11, 14\u201323 (1991)","journal-title":"IEEE Control Syst. Mag."},{"issue":"12","key":"17_CR24","doi-asserted-by":"publisher","first-page":"1923","DOI":"10.1109\/TAC.2005.860291","volume":"50","author":"R Su","year":"2005","unstructured":"Su, R., Wonham, W.M.: Global and local consistencies in distributed fault diagnosis for discrete-event systems. IEEE Trans. Autom. Control 50(12), 1923\u20131935 (2005)","journal-title":"IEEE Trans. Autom. Control"},{"key":"17_CR25","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5","volume-title":"Verification and Control of Hybrid Systems: A Symbolic Approach","author":"P Tabuada","year":"2009","unstructured":"Tabuada, P.: Verification and Control of Hybrid Systems: A Symbolic Approach. Springer, Dordrecht (2009)"},{"key":"17_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/3-540-45739-9_14","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"S Tripakis","year":"2002","unstructured":"Tripakis, S.: Fault diagnosis for timed automata. In: Damm, W., Olderog, E.-R. (eds.) FTRTFT 2002. LNCS, vol. 2469, pp. 205\u2013221. Springer, Heidelberg (2002). doi: 10.1007\/3-540-45739-9_14"},{"issue":"7","key":"17_CR27","doi-asserted-by":"publisher","first-page":"1551","DOI":"10.1109\/TAC.2011.2108410","volume":"56","author":"W Wang","year":"2011","unstructured":"Wang, W., Girard, A.R., Lafortune, S., Lin, F.: On codiagnosability and coobservability with dynamic observations. IEEE Trans. Autom. Control 56(7), 1551\u20131566 (2011)","journal-title":"IEEE Trans. Autom. Control"},{"key":"17_CR28","doi-asserted-by":"publisher","first-page":"1165","DOI":"10.1016\/j.automatica.2010.04.004","volume":"46","author":"W Wang","year":"2010","unstructured":"Wang, W., Lafortune, S., Girard, A.R., Lin, F.: Optimal sensor activation for diagnosing discrete event systems. Automatica 46, 1165\u20131175 (2010)","journal-title":"Automatica"},{"issue":"7","key":"17_CR29","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1109\/TAC.2003.814099","volume":"48","author":"SH Zad","year":"2003","unstructured":"Zad, S.H., Kwong, R.H., Wonham, W.M.: Fault diagnosis in discrete-event systems: framework and model reduction. IEEE Trans. Autom. Control 48(7), 51\u201365 (2003)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"7","key":"17_CR30","doi-asserted-by":"publisher","first-page":"1804","DOI":"10.1109\/TAC.2011.2176409","volume":"57","author":"M Zamani","year":"2012","unstructured":"Zamani, M., Mazo, M., Pola, G., Tabuada, P.: Symbolic models for nonlinear control systems without stability assumptions. IEEE Trans. Autom. Control 57(7), 1804\u20131809 (2012)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"2","key":"17_CR31","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1016\/j.arcontrol.2013.09.009","volume":"37","author":"J Zaytoon","year":"2013","unstructured":"Zaytoon, J., Lafortune, S.: Overview of fault diagnosis methods for discrete event systems. Annu. Rev. Control 37(2), 308\u2013320 (2013)","journal-title":"Annu. Rev. Control"},{"key":"17_CR32","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/j.arcontrol.2008.03.008","volume":"32","author":"Y Zhang","year":"2008","unstructured":"Zhang, Y., Jiang, J.: Bibliographical review and reconfigurable fault-tolerant control systems. Annu. Rev. Control 32, 229\u2013252 (2008)","journal-title":"Annu. Rev. Control"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66197-1_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T22:21:04Z","timestamp":1750803664000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66197-1_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319661964","9783319661971"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66197-1_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}