@inproceedings{122f049f194643ea91e8c22396c0411d,
title = "HyMn: Mining linear hybrid automata from input output traces of cyber-physical systems",
abstract = "Hybrid systems are versatile in modeling the interaction between the cyber and physical components of cyber-physical control systems (CPS) such as artificial pancreas (AP). They are typically used for analysis of safety of the human centric control systems which have serious consequences of failure. As such hybrid systems are parameterized and the variables often depend on the subject on which the control system is deployed. Traditionally, control systems are initially developed using average statistical estimates of the subject specific parameters. However, such excursions may lead to suboptimal designs. In this paper, we propose HyMn, a hybrid system parameter estimation tool, where the subject specific parameters in a hybrid system are automatically learned from experimental traces of the operation of a human centric CPS control system. We apply HyMn to the AP system and show that the blood glucose control is enhanced using the learned patient specific parameters.",
keywords = "Artificial Pancreas, CPS, Cramer-Rao Bound, Fisher Information, Mining hybrid automata",
author = "Imane Lamrani and Ayan Banerjee and Sandeep Gupta",
note = "Funding Information: This work has been partly funded by CNS grant 1218505, IIS grant 1116385, and NIH grant EB019202. Thanks to Yi Zhang and Paul Jones from CDRH, US Food and Drug Administration (FDA) for introducing the authors to the artificial pancreas model and regulatory issues. Publisher Copyright: {\textcopyright} 2018 IEEE.; 1st IEEE International Conference on Industrial Cyber-Physical Systems, ICPS 2018 ; Conference date: 15-05-2018 Through 18-05-2018",
year = "2018",
month = jun,
day = "15",
doi = "10.1109/ICPHYS.2018.8387670",
language = "English (US)",
series = "Proceedings - 2018 IEEE Industrial Cyber-Physical Systems, ICPS 2018",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "264--269",
booktitle = "Proceedings - 2018 IEEE Industrial Cyber-Physical Systems, ICPS 2018",
}