{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T18:12:50Z","timestamp":1729620770876,"version":"3.28.0"},"reference-count":32,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cimca.2005.1631319","type":"proceedings-article","created":{"date-parts":[[2006,5,25]],"date-time":"2006-05-25T20:26:01Z","timestamp":1148588761000},"page":"536-542","source":"Crossref","is-referenced-by-count":4,"title":["A Model Checking Technique for the Verification of Fuzzy Control Systems"],"prefix":"10.1109","volume":"1","author":[{"given":"B.","family":"Intrigila","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Magazzeni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"I.","family":"Melatti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Tronci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Murphi Web Page","year":"2004","key":"19"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/FUZZY.1993.327413"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.1998.680716"},{"journal-title":"Fuzzy Logic and Intelligent Systems","year":"1995","author":"li","key":"16"},{"key":"13","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7908-1771-3","author":"jin","year":"2003","journal-title":"Advanced Fuzzy Systems Design and Applications"},{"journal-title":"Neural Networks and Fuzzy Systems","year":"1992","author":"kosko","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1115\/1.3153817"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.1993.393375"},{"key":"21","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0165-0114(99)00168-2","article-title":"Evaluating controller robustness using cell mapping","volume":"121","author":"papa","year":"2001","journal-title":"Fuzzy Sets and Systems"},{"journal-title":"NuSMV Web Page","year":"2004","key":"20"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/FUZZY.1995.409917"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/FUZZY.1992.258732"},{"journal-title":"SMV Web Page","year":"2004","key":"24"},{"key":"25","first-page":"23","article-title":"Development of a fuzzy logic controller for dc\/dc converters : Design, computer simulation and experimental evaluation","volume":"11","author":"so","year":"1996","journal-title":"IEEE Trans on Power Electronics"},{"journal-title":"SPIN Web Page","year":"2004","key":"26"},{"key":"27","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1007\/3-540-63166-6_26","article-title":"Parallelizing the mur? verifier","volume":"1254","author":"stern","year":"1997","journal-title":"Lecture Notes in Computer Science"},{"key":"28","doi-asserted-by":"crossref","first-page":"172","DOI":"10.1007\/BFb0028743","article-title":"Using magnetic disk instead of main memory in the mur? verifier","volume":"1427","author":"stern","year":"1998","journal-title":"Lecture Notes in Computer Science"},{"key":"29","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1007\/3-540-60385-9_13","article-title":"Improved probabilistic verification by hash compaction","author":"stern","year":"1995","journal-title":"Proc Correct Hardware Design and Verification Methods IFIP WG 10 5 Advanced Research Working Conf CHARME95"},{"journal-title":"Cached Murphi Web Page","year":"2004","key":"3"},{"journal-title":"Buck simulator","year":"2005","key":"2"},{"key":"10","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/978-0-387-34878-0_13","article-title":"An improvement in formal verification","author":"holzmann","year":"1995","journal-title":"Proceedings of the 7th IFIP WG6 1 International Conference on Formal Description Techniques VII"},{"journal-title":"A User Guide to HyTech","year":"2004","key":"1"},{"key":"30","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1007\/BFb0014731","article-title":"Hybrid and real-time systems","volume":"1201","author":"turk","year":"1997","journal-title":"Lecture Notes in Computer Science"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050008"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-004-0149-6"},{"key":"32","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/3-540-56922-7_6","article-title":"Reliable hashing without collision detection","volume":"697","author":"wolper","year":"1993","journal-title":"Lecture Notes in Computer Science"},{"key":"5","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/3-540-36580-X_13","article-title":"Automatic verification of a turbogas control system with the mur? verifier","volume":"2623","author":"della penna","year":"2003","journal-title":"Lecture Notes in Computer Science"},{"journal-title":"UPPAAL Web Page","year":"2004","key":"31"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/21.35338"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008696026254"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050034"}],"event":{"name":"International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce (CIMCA-IAWTIC'06)","location":"Vienna, Austria"},"container-title":["International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce (CIMCA-IAWTIC'06)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10869\/34211\/01631319.pdf?arnumber=1631319","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,15]],"date-time":"2020-04-15T01:30:08Z","timestamp":1586914208000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1631319\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/cimca.2005.1631319","relation":{},"subject":[]}}