{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T21:40:41Z","timestamp":1748814041285,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,4]]},"DOI":"10.1109\/icnsc.2013.6548758","type":"proceedings-article","created":{"date-parts":[[2013,7,9]],"date-time":"2013-07-09T14:57:54Z","timestamp":1373381874000},"page":"322-327","source":"Crossref","is-referenced-by-count":1,"title":["Design of elevator control systems using statecharts"],"prefix":"10.1109","author":[{"family":"Yi-Sheng Huang","sequence":"first","affiliation":[]},{"family":"Jun-Ren Chen","sequence":"additional","affiliation":[]},{"family":"Shung-Shing Lee","sequence":"additional","affiliation":[]},{"family":"Yi-Shun Weng","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/32.667880"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1137\/0325066"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/87.641406"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/87.709499"},{"key":"13","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1016\/j.mcm.2008.09.006","article-title":"Performance analysis of an elevator system during uppeak","volume":"49","author":"leea","year":"2009","journal-title":"Mathematical and Computer Modelling"},{"key":"14","doi-asserted-by":"crossref","first-page":"615","DOI":"10.1016\/0950-5849(94)90021-3","article-title":"A reachability tree for statecharts and analysis of some properties","volume":"36","author":"masiero","year":"1994","journal-title":"Inform Software Technol"},{"key":"11","doi-asserted-by":"crossref","first-page":"534","DOI":"10.1109\/TIE.2007.911942","article-title":"Design and control of a linear propulsion system for an elevator using linear switched reluctance motor drives","volume":"55","author":"hong","year":"2008","journal-title":"IEEE Trans Industrial Electronics"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2010.2044117"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1007\/BF02551817"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/32.120312"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1049\/ip-its:20060018"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/32.748917"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/9.250558"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2007.913904"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/43.31537"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/9.376063"},{"key":"4","first-page":"1465","article-title":"Design of modern elevator group control systems","author":"chiang","year":"2002","journal-title":"Proc IEEE Int Conf Rob Autom Washington D C U S A"},{"key":"9","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1111\/j.1934-6093.2004.tb00202.x","article-title":"Modeling and control of elevators by statecharts","volume":"6","author":"huang","year":"2004","journal-title":"Asian Journal of Control"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/32.54292"}],"event":{"name":"2013 IEEE 10th International Conference on Networking, Sensing and Control (ICNSC 2013)","start":{"date-parts":[[2013,4,10]]},"location":"Evry","end":{"date-parts":[[2013,4,12]]}},"container-title":["2013 10th IEEE INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL (ICNSC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6530812\/6548700\/06548758.pdf?arnumber=6548758","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T15:58:06Z","timestamp":1498060686000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6548758\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/icnsc.2013.6548758","relation":{},"subject":[],"published":{"date-parts":[[2013,4]]}}}