{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:32:24Z","timestamp":1729618344009,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,6]]},"DOI":"10.1109\/icis.2018.8466460","type":"proceedings-article","created":{"date-parts":[[2018,9,22]],"date-time":"2018-09-22T00:14:06Z","timestamp":1537575246000},"page":"173-179","source":"Crossref","is-referenced-by-count":2,"title":["A Framework for CPS Modeling and Verification Based on dL"],"prefix":"10.1109","author":[{"given":"Ying","family":"Zhou","sequence":"first","affiliation":[]},{"given":"Xufang","family":"Gong","sequence":"additional","affiliation":[]},{"given":"Bixin","family":"Li","sequence":"additional","affiliation":[]},{"given":"Min","family":"Zhu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"171","article-title":"KeYmaera: A hybrid theorem prover for hybrid systems","author":"platzer","year":"2008","journal-title":"IJCAR 2008 LNCS 5195"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14509-4"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2005.45"},{"key":"ref13","article-title":"Classification of Model Transformation Approaches","author":"czarnecki","year":"2003","journal-title":"OOPSLA’03 Workshop on Generative Techniques in the Context of Model-Driven Architecture"},{"key":"ref14","first-page":"246","article-title":"European Train Control System: A case study in formal verification","author":"platzer","year":"2009","journal-title":"ICFEM LNCS5885"},{"key":"ref15","first-page":"1","article-title":"Formal modeling and verification of flexible load control for power grid CPS based on differential dynamic logic","author":"qin","year":"2017","journal-title":"Proc IEEE Conf Energy Internet Energy Syst Integr (EI2)"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2018.2805910"},{"key":"ref4","first-page":"4688","article-title":"Computability of finite-time reachable sets for hybrid systems","author":"collins","year":"2005","journal-title":"Proceedings of the 44th IEEE Conference on Decision and Control and the European Control Conference"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"514","DOI":"10.1007\/3-540-36580-X_37","article-title":"Approximate reachability for linear systems","author":"tiwari","year":"2003","journal-title":"Proceedings of Hybrid Systems Computation and Control (HSCC’03)"},{"key":"ref6","article-title":"Duration Calculus: A Formal Approach to Real-Time Systems","author":"zhou","year":"2004","journal-title":"Monographs in Theoretical Computer Science"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_37"},{"key":"ref8","first-page":"2146","article-title":"Research on Model Transformation Method of Real-time System Based on Metamodeling","volume":"31","author":"yaping","year":"2010","journal-title":"Journal of Chinese Computer Systems"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-008-9103-8"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.806655"},{"journal-title":"Tech Rep UCB\/EECS-2008-8","year":"2008","author":"lee","key":"ref1"},{"key":"ref9","article-title":"Executable HybridUML Semantics: A Transformation Definition","author":"bisanz","year":"2005","journal-title":"PhD thesis"}],"event":{"name":"2018 IEEE\/ACIS 17th International Conference on Computer and Information Science (ICIS)","start":{"date-parts":[[2018,6,6]]},"location":"Singapore","end":{"date-parts":[[2018,6,8]]}},"container-title":["2018 IEEE\/ACIS 17th International Conference on Computer and Information Science (ICIS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8430032\/8466376\/08466460.pdf?arnumber=8466460","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,24]],"date-time":"2019-10-24T16:13:00Z","timestamp":1571933580000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8466460\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/icis.2018.8466460","relation":{},"subject":[],"published":{"date-parts":[[2018,6]]}}}