{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:31:39Z","timestamp":1750221099782,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,10,12]],"date-time":"2018-10-12T00:00:00Z","timestamp":1539302400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,10,12]]},"DOI":"10.1145\/3284516.3284521","type":"proceedings-article","created":{"date-parts":[[2018,11,27]],"date-time":"2018-11-27T13:19:22Z","timestamp":1543324762000},"page":"139-143","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A Virtual Model of Manufacturing System Based on Hybrid Automata"],"prefix":"10.1145","author":[{"given":"Jiang","family":"Danding","sequence":"first","affiliation":[{"name":"College of Systems Engineering, National University of Defense Technology, Changsha"}]},{"given":"Zhou","family":"Jingtao","sequence":"additional","affiliation":[{"name":"Key Laboratory of Contemporary Design and Integrated Manufacturing Technology, Ministry of Education, Northwestern Polytechnical University, Xi'an"}]},{"given":"Zhao","family":"Ying","sequence":"additional","affiliation":[{"name":"China Aerospace Electronic Technology Research Institute, Beijing"}]},{"given":"Li","family":"Enming","sequence":"additional","affiliation":[{"name":"Key Laboratory of Contemporary Design and Integrated Manufacturing Technology, Ministry of Education, Northwestern Polytechnical University, Xi'an"}]}],"member":"320","published-online":{"date-parts":[[2018,10,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2016.02.004"},{"key":"e_1_3_2_1_2_1","volume-title":"Virtualization for Dummies\u00ae{M}","author":"Golden","year":"2007","unstructured":"Golden . Virtualization for Dummies\u00ae{M} . John Wiley & Sons, Inc. 2007 . Golden. Virtualization for Dummies\u00ae{M}. John Wiley & Sons, Inc. 2007."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2015.06.006"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2015.06.469"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.engappai.2008.09.005"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2015.08.004"},{"key":"e_1_3_2_1_7_1","volume-title":"Informatik","author":"Christian Schwarz","year":"2011","unstructured":"Christian Schwarz . Modelling a Real-Time Control System using Parameterized Linear Hybrid Automata . In Informatik 2011 , number P -192 in LNI, Seite 328. Christian Schwarz. Modelling a Real-Time Control System using Parameterized Linear Hybrid Automata. In Informatik 2011, number P -192 in LNI, Seite 328."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.pmcj.2015.07.008"},{"issue":"3","key":"e_1_3_2_1_9_1","first-page":"419","article-title":"Hybrid Automata for Formal Modeling and Verification of Cyber-Physical Systems{J}","volume":"93","year":"2015","unstructured":"KRISHNA S N, TRIVEDI A . Hybrid Automata for Formal Modeling and Verification of Cyber-Physical Systems{J} . Journal of the Indian Institute of Science , 2015 , 93 ( 3 ): 419 -- 440 . KRISHNA S N, TRIVEDI A. Hybrid Automata for Formal Modeling and Verification of Cyber-Physical Systems{J}. Journal of the Indian Institute of Science, 2015, 93(3):419--440.","journal-title":"Journal of the Indian Institute of Science"},{"issue":"11","key":"e_1_3_2_1_10_1","first-page":"0","article-title":"Method of virtual manufacturing cell formation based on similarity science in reconfigurable manufacturing system{J}","volume":"10","author":"Liang F J","year":"2004","unstructured":"Liang F J , Ning R X . Method of virtual manufacturing cell formation based on similarity science in reconfigurable manufacturing system{J} . Computer Integrated Manufacturing Systems , 2004 , 10 ( 11 ): 0 -- 0 . Liang F J, Ning R X. Method of virtual manufacturing cell formation based on similarity science in reconfigurable manufacturing system{J}. Computer Integrated Manufacturing Systems, 2004, 10(11):0--0.","journal-title":"Computer Integrated Manufacturing Systems"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-005-0211-z"},{"key":"e_1_3_2_1_12_1","volume-title":"Research on Model Transformation and Model Checking of UML Based on Timed Automata{J}","author":"Li-Xia J I","year":"2013","unstructured":"Li-Xia J I , Jian-Hong M A . Research on Model Transformation and Model Checking of UML Based on Timed Automata{J} . Journal of Zhengzhou University , 2013 . Li-Xia J I, Jian-Hong M A. Research on Model Transformation and Model Checking of UML Based on Timed Automata{J}. Journal of Zhengzhou University, 2013."}],"event":{"name":"ICCMA 2018: 2018 The 6th International Conference on Control, Mechatronics and Automation","sponsor":["SFedU Southern Federal University","University of Alberta University of Alberta"],"location":"Tokyo Japan","acronym":"ICCMA 2018"},"container-title":["Proceedings of the 6th International Conference on Control, Mechatronics and Automation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3284516.3284521","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3284516.3284521","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:58:11Z","timestamp":1750208291000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3284516.3284521"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,12]]},"references-count":12,"alternative-id":["10.1145\/3284516.3284521","10.1145\/3284516"],"URL":"https:\/\/doi.org\/10.1145\/3284516.3284521","relation":{},"subject":[],"published":{"date-parts":[[2018,10,12]]},"assertion":[{"value":"2018-10-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}