{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:48:57Z","timestamp":1725533337608},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642022814"},{"type":"electronic","value":"9783642022821"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-02282-1_38","type":"book-chapter","created":{"date-parts":[[2009,6,6]],"date-time":"2009-06-06T08:09:33Z","timestamp":1244275773000},"page":"303-311","source":"Crossref","is-referenced-by-count":1,"title":["Evaluating Fuzzy Controller Robustness Using Model Checking"],"prefix":"10.1007","author":[{"given":"Giuseppe","family":"Della Penna","sequence":"first","affiliation":[]},{"given":"Benedetto","family":"Intrigila","sequence":"additional","affiliation":[]},{"given":"Daniele","family":"Magazzeni","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"38_CR1","doi-asserted-by":"crossref","unstructured":"Jin, J.: Advanced Fuzzy Systems Design and Applications. Physica-Verlag (2003)","DOI":"10.1007\/978-3-7908-1771-3"},{"key":"38_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0549-7","volume-title":"Nonlinear Control Systems II","author":"A. Isidori","year":"1999","unstructured":"Isidori, A.: Nonlinear Control Systems II. Springer, Heidelberg (1999)"},{"key":"38_CR3","unstructured":"Levine, W.: The Control Handbook. Jaico Publishing House (2005)"},{"issue":"1","key":"38_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0165-0114(99)00168-2","volume":"121","author":"M. Papa","year":"2001","unstructured":"Papa, M., Wood, J., Shenoi, S.: Evaluating controller robustness using cell mapping. Fuzzy Sets and Systems\u00a0121(1), 3\u201312 (2001)","journal-title":"Fuzzy Sets and Systems"},{"key":"38_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3892-6","volume-title":"Cell-to-Cell Mapping","author":"C. Hsu","year":"1987","unstructured":"Hsu, C.: Cell-to-Cell Mapping. Springer, Heidelberg (1987)"},{"key":"38_CR6","doi-asserted-by":"crossref","unstructured":"Intrigila, B., Magazzeni, D., Melatti, I., Tofani, A., Tronci, E.: A model checking technique for the verification of fuzzy control systems. In: Proceedings of Int. Conf. on Computational Intelligence for Modelling Control and Automation (CIMCA 2005) (2005)","DOI":"10.1109\/CIMCA.2005.1631319"},{"key":"38_CR7","unstructured":"CMurphi Web Page, http:\/\/www.di.univaq.it\/gdellape\/murphi\/cmurphi.php"},{"key":"38_CR8","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"38_CR9","doi-asserted-by":"crossref","unstructured":"Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L., Hwang, L.J.: Symbolic model checking: 1020 states and beyond. Inf. Comput. 98(2)","DOI":"10.1016\/0890-5401(92)90017-A"},{"key":"38_CR10","volume-title":"Design and Validation of Computer Protocols","author":"G.J. Holzmann","year":"1991","unstructured":"Holzmann, G.J.: Design and Validation of Computer Protocols. Prentice-Hall, Englewood Cliffs (1991)"},{"key":"38_CR11","unstructured":"Murphi Web Page, http:\/\/sprout.stanford.edu\/dill\/murphi.html"},{"key":"38_CR12","unstructured":"SPIN Web Page, http:\/\/spinroot.com"},{"key":"38_CR13","series-title":"LNEE","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-3-540-79142-3_10","volume-title":"Informatics in Control, Automation and Robotics","author":"G. Penna Della","year":"2008","unstructured":"Della Penna, G., Intrigila, B., Magazzeni, D., Melatti, I., Tofani, A., Tronci, E.: Automatic generation of optimal controllers through model checking techniques. In: Informatics in Control, Automation and Robotics. LNEE, vol.\u00a015, pp. 107\u2013122. Springer, Heidelberg (2008)"},{"key":"38_CR14","doi-asserted-by":"crossref","unstructured":"Della Penna, G., Intrigila, B., Melatti, I., Tronci, E., Venturini Zilli, M.: Exploiting transition locality in automatic verification of finite state concurrent systems. STTT 6(4) (2004)","DOI":"10.1007\/s10009-004-0149-6"},{"key":"38_CR15","unstructured":"Hu, H., Tai, H., Shenoi, S.: Incorporating cell map information in fuzzy controller design. In: Proceedings of the 3rd IEEE Conf. on Fuzzy Systems (1994)"},{"key":"38_CR16","doi-asserted-by":"crossref","unstructured":"Smith, S., Comer, D.: An algorithm for automated fuzzy logic controller tuning. In: Proceedings of IEEE Int. Conf. on Fuzzy Systems 1992, pp. 615\u2013622 (1992)","DOI":"10.1109\/FUZZY.1992.258732"}],"container-title":["Lecture Notes in Computer Science","Fuzzy Logic and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02282-1_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T18:36:50Z","timestamp":1558377410000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02282-1_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642022814","9783642022821"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02282-1_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}