{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T03:21:13Z","timestamp":1769743273345,"version":"3.49.0"},"reference-count":19,"publisher":"IEEE","license":[{"start":{"date-parts":[[2018,5,1]],"date-time":"2018-05-01T00:00:00Z","timestamp":1525132800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2018,5,1]],"date-time":"2018-05-01T00:00:00Z","timestamp":1525132800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,5]]},"DOI":"10.1109\/icphys.2018.8387670","type":"proceedings-article","created":{"date-parts":[[2018,6,25]],"date-time":"2018-06-25T19:28:02Z","timestamp":1529954882000},"page":"264-269","source":"Crossref","is-referenced-by-count":19,"title":["HyMn: Mining linear hybrid automata from input output traces of cyber-physical systems"],"prefix":"10.1109","author":[{"given":"Imane","family":"Lamrani","sequence":"first","affiliation":[{"name":"iMPACT lab CISDE, Arizona State University, Tempe, AZ"}]},{"given":"Ayan","family":"Banerjee","sequence":"additional","affiliation":[{"name":"iMPACT lab CISDE, Arizona State University, Tempe, AZ"}]},{"given":"Sandeep K. S.","family":"Gupta","sequence":"additional","affiliation":[{"name":"iMPACT lab CISDE, Arizona State University, Tempe, AZ"}]}],"member":"263","reference":[{"key":"ref10","first-page":"1031","author":"clarke","year":"2009","journal-title":"Closed-loop artificial pancreas using subcutaneous glucose sensing and insulin delivery and a model predictive control algorithm the Virginia experience"},{"key":"ref11","author":"frehse","year":"0","journal-title":"Spaceex State Space Explorer"},{"key":"ref12","article-title":"Non-convex invariants and urgency conditions on linear hybrid automata","author":"stefano","year":"2014","journal-title":"Proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems"},{"key":"ref13","article-title":"The UVA\/PADOVA type 1 diabetes simulator: new features","author":"chiara dalla","year":"2014","journal-title":"Journal of Diabetes Science and Technology"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"347","DOI":"10.2217\/pme.10.30","article-title":"Individual genomes and personalized medicine: life diversity and complexity","volume":"7","author":"christos","year":"2010","journal-title":"Personalized Medicine"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"408","DOI":"10.1109\/TAC.1982.1102926","article-title":"Estimation theory and uncertainty intervals evaluation in presence of unknown but bounded errors: Linear families of models and estimators","volume":"27","author":"mario","year":"1982","journal-title":"IEEE Transactions on Automatic Control"},{"key":"ref16","article-title":"GeM-REM: Generative model-driven resource efficient ecg monitoring in body sensor networks","author":"sidharth","year":"2011","journal-title":"Body Sensor Networks (BSN) 2011 International Conference on"},{"key":"ref17","first-page":"200","article-title":"A Bayesian approach to Bergmans minimal model","volume":"50","author":"andersen","year":"2002","journal-title":"Insulin"},{"key":"ref18","article-title":"Model Guided Deep Learning Approach Towards Prediction of Physical System Behavior","author":"subhasish","year":"2017","journal-title":"IEEE International Conference on Machine Learning and Applications (ICMLA)"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1134\/S1064230715050044"},{"key":"ref4","author":"adam","year":"2017","journal-title":"Charda Causal hybrid automata recovery via dynamic analysis"},{"key":"ref3","article-title":"SL2SX translator: From simulink to spaceex models","author":"stefano","year":"2016","journal-title":"19th International Conference on Hybrid Systems Computation and Control"},{"key":"ref6","article-title":"Model learning for switching linear systems with autonomous mode transitions","author":"lars","year":"2007","journal-title":"Proceedings of the IEEE Conference on Decision and Control (CDC)"},{"key":"ref5","article-title":"A framework for mining hybrid automata from input\/output traces","author":"ramy","year":"2015","journal-title":"Proceedings of the 12th International Conference on Embedded Software"},{"key":"ref8","article-title":"Diurnal pattern of insulin action in type 1 diabetes implications for a closed-loop system","volume":"62","author":"ling","year":"2013","journal-title":"Diabetes"},{"key":"ref7","article-title":"Inference methods for autonomous stochastic linear hybrid systems","author":"hamsa","year":"2004","journal-title":"International Workshop on Hybrid Systems Computation and Control"},{"key":"ref2","article-title":"Extracting hybrid automata from control code","author":"steven","year":"2013","journal-title":"Proceedings of the Nasa Formal Methods Symposium"},{"key":"ref1","first-page":"209","article-title":"Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems","author":"rajeev","year":"1993","journal-title":"Hybrid Systems"},{"key":"ref9","article-title":"On the hyperboxhy-perplane intersection problem","author":"carlos","year":"2009","journal-title":"INFOCOM"}],"event":{"name":"2018 IEEE Industrial Cyber-Physical Systems (ICPS)","location":"St. Petersburg, Russia","start":{"date-parts":[[2018,5,15]]},"end":{"date-parts":[[2018,5,18]]}},"container-title":["2018 IEEE Industrial Cyber-Physical Systems (ICPS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8376183\/8387624\/08387670.pdf?arnumber=8387670","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,27]],"date-time":"2024-11-27T19:30:40Z","timestamp":1732735840000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8387670\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/icphys.2018.8387670","relation":{},"subject":[],"published":{"date-parts":[[2018,5]]}}}