{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T06:31:51Z","timestamp":1730269911180,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/iri.2003.1251442","type":"proceedings-article","created":{"date-parts":[[2004,3,2]],"date-time":"2004-03-02T02:26:50Z","timestamp":1078194410000},"page":"393-397","source":"Crossref","is-referenced-by-count":0,"title":["Study of hybrid system modeling language using XML"],"prefix":"10.1109","author":[{"family":"Dai Jianmin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Qi Huan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Liu Yunfeng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Modeling, Simulation and Automatic Verification of Hybrid Systems under Matlab Environment","volume":"13","author":"xue-jun","year":"2001","journal-title":"Rnal of System Simulation"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/9.664162"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/9.664151"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-3615(02)00139-2"},{"year":"2000","key":"ref14"},{"year":"1999","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/30.964163"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2002.1172938"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-739X(00)00038-8"},{"key":"ref6","article-title":"A Hierarchical Hybrid System Model and Its Simulation","author":"liu","year":"1999","journal-title":"Proceedings of the 38th Conference on Decision & Control"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD.1994.288909"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1995.478518"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ISIC.1991.187366"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ISIC.2001.971501"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD.2000.900197"},{"key":"ref9","article-title":"Hybrid Automata Models in Continuous-Linear Hybrid Systems Analysis","author":"antonio","year":"1999","journal-title":"Proceedings of the 1999 IEEE International Symposium on Intelligent Control"}],"event":{"name":"2003 IEEE International Conference on Information Reuse and Integration (IRI - 2003)","acronym":"IRI-03","location":"Las Vegas, NV, USA"},"container-title":["Proceedings Fifth IEEE Workshop on Mobile Computing Systems and Applications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8862\/28011\/01251442.pdf?arnumber=1251442","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T01:27:37Z","timestamp":1489454857000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1251442\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/iri.2003.1251442","relation":{},"subject":[]}}