{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T22:56:41Z","timestamp":1729637801074,"version":"3.28.0"},"reference-count":45,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/fuzz-ieee.2012.6251301","type":"proceedings-article","created":{"date-parts":[[2012,8,17]],"date-time":"2012-08-17T19:48:59Z","timestamp":1345232939000},"page":"1-9","source":"Crossref","is-referenced-by-count":1,"title":["A software engineering framework for switched fuzzy systems"],"prefix":"10.1109","author":[{"given":"David","family":"Harel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Assaf","family":"Marron","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amir","family":"Nissim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gera","family":"Weiss","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"The BPJ Library","year":"0","author":"harel","key":"19"},{"key":"35","doi-asserted-by":"publisher","DOI":"10.1109\/91.669023"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19029-2"},{"key":"36","doi-asserted-by":"publisher","DOI":"10.1109\/5.871303"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/2209249.2209270"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1145\/1988051.1988056"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038686"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1016\/S0165-0114(83)80030-X"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859075"},{"key":"39","doi-asserted-by":"publisher","DOI":"10.1145\/1863509.1863512"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-64358-3_36"},{"key":"14","first-page":"378","article-title":"Smart play-out of behavioral requirements","author":"harel","year":"2002","journal-title":"FMCAD"},{"key":"37","doi-asserted-by":"publisher","DOI":"10.1109\/TFUZZ.2003.819841"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.7148\/2006-0062"},{"key":"38","doi-asserted-by":"publisher","DOI":"10.1109\/TSSC.1969.300263"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/TFUZZ.2006.883415"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/2095050.2095079"},{"key":"20","article-title":"Programming coordinated scenarios in java","author":"harel","year":"2010","journal-title":"15th European Conference on Object-Oriented Programming (ECOOP"},{"key":"43","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.1973.5408575"},{"key":"42","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(65)90241-X"},{"key":"41","doi-asserted-by":"publisher","DOI":"10.1109\/TFUZZ.2002.803497"},{"key":"40","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0008476"},{"key":"45","doi-asserted-by":"publisher","DOI":"10.1109\/ISDA.2006.160"},{"key":"44","first-page":"263","article-title":"Design and implementation of a hybrid fuzzy controller for a high-performance induction motor","volume":"26","author":"zerikat","year":"2007","journal-title":"World Academy of Science Engineering and Technology"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71209-1_37"},{"journal-title":"FuzzyTECH Software Package","year":"0","key":"23"},{"journal-title":"Fuzzy Sets and Fuzzy Logic Theory and Applications","year":"1995","author":"klir","key":"24"},{"key":"25","article-title":"Synthesizing biological theories","author":"kugler","year":"2011","journal-title":"CAV"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1080\/002071700411304"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0032003"},{"journal-title":"Analysis and design of hybrid control systems","year":"1998","author":"malmborg","key":"28"},{"key":"29","article-title":"Switched fuzzy systems: Overview and perspectives","volume":"1","author":"ojleska","year":"2008","journal-title":"9th International PhD Workshop on Systems and Control Young Generation Viewpoint"},{"key":"3","first-page":"17","article-title":"On hybrid control of complex systems: A survey","volume":"97","author":"antsaklis","year":"1997","journal-title":"Isis"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"10","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/3-540-46430-1_12","article-title":"Behavior based robotics using hybrid automata","author":"egerstedt","year":"2000","journal-title":"Hybrid Systems Computation and Control"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-0578(07)60104-9"},{"journal-title":"JFuzzyLogic Open Source Project","year":"0","author":"cingolani","key":"30"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0313-1_2"},{"key":"6","first-page":"1995","article-title":"PID controllers: Theory, design, and tuning","volume":"67","author":"a?stro?m","year":"0","journal-title":"Instrument Society of America"},{"key":"32","first-page":"72","article-title":"Fuzzy-PID hybrid controller for point-to-point (PTP) positioning system","volume":"9","author":"rashid","year":"2010","journal-title":"American Journal of Scientific Research"},{"key":"5","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/BFb0020944","article-title":"Examples of stabilization with hybrid feedback","author":"artstein","year":"1996","journal-title":"Lecture Notes in Computer Science"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"4","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1007\/3-540-57318-6_37","article-title":"Hybrid system modeling and autonomous control systems","author":"antsaklis","year":"1993","journal-title":"Hybrid Systems"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011227529550"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/S0921-8890(05)80025-9"}],"event":{"name":"2012 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)","start":{"date-parts":[[2012,6,10]]},"location":"Brisbane, Australia","end":{"date-parts":[[2012,6,15]]}},"container-title":["2012 IEEE International Conference on Fuzzy Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6241469\/6250763\/06251301.pdf?arnumber=6251301","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,2]],"date-time":"2019-07-02T23:14:10Z","timestamp":1562109250000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6251301\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":45,"URL":"https:\/\/doi.org\/10.1109\/fuzz-ieee.2012.6251301","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}