{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T17:24:43Z","timestamp":1730222683722,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,7]]},"DOI":"10.1109\/fskd.2017.8392986","type":"proceedings-article","created":{"date-parts":[[2018,7,16]],"date-time":"2018-07-16T22:38:33Z","timestamp":1531780713000},"page":"1491-1496","source":"Crossref","is-referenced-by-count":1,"title":["Modeling and verification of cyber-physical systems under uncertainty"],"prefix":"10.1109","author":[{"given":"Shengling","family":"Geng","sequence":"first","affiliation":[]},{"given":"Jiao","family":"Peng","sequence":"additional","affiliation":[]},{"given":"Ping","family":"Li","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"21","volume":"42","author":"yongming","year":"2014","journal-title":"Two methods for possibilistic linear temporal logic model checking Journal of Shaanxi Normal University(Natural Science Edition)"},{"key":"ref11","first-page":"842","volume":"21","author":"yongming","year":"2013","journal-title":"Model Checking of Linear-time Properties Based on Possibility Measure IEEE Transactions On Fuzzy Systems"},{"journal-title":"LTL Modeling checking based on Possibility Measure","year":"2012","author":"lijun","key":"ref12"},{"journal-title":"Modeling Verifying of CPS Component Service Composition Based on Hybrid Automata","year":"2014","author":"jianning","key":"ref13"},{"key":"ref4","first-page":"209","author":"rajeev","year":"1993","journal-title":"Hybird automata An algorithmic approach to the specifition and verification of hybrid system"},{"key":"ref3","first-page":"278","author":"thomas","year":"1996","journal-title":"The theory of hybrid automata LICS"},{"key":"ref6","first-page":"1003","volume":"28","author":"sh","year":"2016","journal-title":"Modeling Computation Entity of CPS Based on Dynamic Behavior Journal of System Simulation"},{"key":"ref5","first-page":"373","author":"thomas","year":"1995","journal-title":"Whats decidable about hybrid automata Proceeding of the 27th annual ACM symposium on theory of computing"},{"key":"ref8","first-page":"94","volume":"31","author":"wenming","year":"2015","journal-title":"Modeling and Verification of CPS Based on Spatial Hybrid Automata Bulletin of Science and Technology"},{"key":"ref7","first-page":"35","author":"akshay","year":"2012","journal-title":"Hetergeneous verification of cyber-physical system using behavior relation \/\/Proceedings of the 15th ACM International Conference on Hybrid System Computation and Control"},{"key":"ref2","first-page":"363","author":"lee","year":"2008","journal-title":"Cyber physical system designer challenges Proceeding of 11th IEEE International Symposium on Object Oriented Computing(ISORC)"},{"journal-title":"A Guide to £TEX","year":"1999","author":"kopka","key":"ref1"},{"key":"ref9","first-page":"40","volume":"17","author":"mingfu","year":"2016","journal-title":"Behavior Modeling and Attribute Validation of Cyber-Physical System (CPS) Based on Hybrid Automata Journal of Air Force Engineering University(Natural Science Edition)"}],"event":{"name":"2017 13th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery (ICNC-FSKD)","start":{"date-parts":[[2017,7,29]]},"location":"Guilin","end":{"date-parts":[[2017,7,31]]}},"container-title":["2017 13th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery (ICNC-FSKD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8384043\/8392854\/08392986.pdf?arnumber=8392986","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T04:32:32Z","timestamp":1598243552000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8392986\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/fskd.2017.8392986","relation":{},"subject":[],"published":{"date-parts":[[2017,7]]}}}