{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:47:53Z","timestamp":1725515273940},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,7]]},"DOI":"10.1109\/fuzz-ieee.2017.8015597","type":"proceedings-article","created":{"date-parts":[[2017,8,24]],"date-time":"2017-08-24T16:55:37Z","timestamp":1503593737000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["Transformation of a hierarchical mamdani fuzzy system to a single fuzzy system representation"],"prefix":"10.1109","author":[{"given":"Timothy","family":"Arnett","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kelly","family":"Cohen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthew","family":"Clark","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David W.","family":"Casbeer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kuldip","family":"Rattan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.2514\/6.2017-1773"},{"key":"ref11","article-title":"What is formal methods?","author":"butler","year":"2001","journal-title":"NASA LaRC Formal Methods Program"},{"journal-title":"Verifying safety properties of Lustre programs An SMT-based approach","year":"2008","author":"hagen","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950346"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/978-3-319-17524-9_13","article-title":"Towards realizability checking of contracts using theories","author":"gacek","year":"2015","journal-title":"Proceedings of the Nasa Formal Methods Symposium"},{"key":"ref15","first-page":"337","article-title":"Z3: An efficient smt solver","author":"de moura","year":"2008","journal-title":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"ref17","article-title":"Spear: Specification and analysis of requirements","author":"wagner","year":"2014","journal-title":"S5 Symposium AFRL"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/FUZZY.2000.838705"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.4271\/2014-01-2174"},{"key":"ref6","article-title":"Piecewise affine hybrid automata representation of a multistage fuzzy pid controller","author":"clark","year":"2014","journal-title":"2014 AAAI Spring Symposium Series"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/91.797984"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728649"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2015.7172236"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.2514\/6.2015-0888"},{"journal-title":"Genetic fuzzy trees for intelligent control of unmanned combat aerial vehicles","year":"2015","author":"ernest","key":"ref1"},{"journal-title":"Verification of genetic fuzzy systems","year":"2016","author":"arnett","key":"ref9"}],"event":{"name":"2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)","start":{"date-parts":[[2017,7,9]]},"location":"Naples, Italy","end":{"date-parts":[[2017,7,12]]}},"container-title":["2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8011834\/8015374\/08015597.pdf?arnumber=8015597","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T15:50:00Z","timestamp":1570031400000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8015597\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/fuzz-ieee.2017.8015597","relation":{},"subject":[],"published":{"date-parts":[[2017,7]]}}}