@article {, title = {Control and anticontrol of chaos in fractional-order models of Diabetes, HIV, Dengue, Migraine, Parkinson{\textquoteright}s and Ebola virus diseases}, journal = {Chaos, Solitons \& Fractals}, volume = {153}, year = {2021}, month = {12/2021}, url = {https://scholar.google.com/citations?view_op=view_citation\&hl=en\&user=jKiNd-0AAAAJ\&sortby=pubdate\&citation_for_view=jKiNd-0AAAAJ:hCrLmN-GePgC}, author = {Manashita Borah and Debanita Das and Antara Gayan and Flavio Fenton and Elizabeth Cherry} } @conference {, title = {A Distributed Simplex Architecture for Multi-Agent Systems}, booktitle = {Proceedings of SETTA 2021, Symposium on Dependable Software Engineering}, year = {2021}, month = {11/2021}, author = {U. Mehmood and S. D. Stoller and R. Grosu and S. Roy and A. Damare and S. D. Smolka} } @article {, title = {Optimizing low-energy anti-fibrillation pacing: Lessons from a cellular automaton model}, journal = {arXiv preprint arXiv:2109.10861}, year = {2021}, month = {09/2021}, url = {https://scholar.google.com/citations?view_op=view_citation\&hl=en\&user=jKiNd-0AAAAJ\&sortby=pubdate\&citation_for_view=jKiNd-0AAAAJ:FPJr55Dyh1AC}, author = {Noah DeTal and Flavio Fenton} } @article {, title = {Terminating spiral waves with a single designed stimulus: Teleportation as the mechanism for defibrillation}, journal = {arXiv preprint arXiv:2109.10850}, year = {2021}, month = {09/2021}, url = {https://scholar.google.com/citations?view_op=view_citation\&hl=en\&user=jKiNd-0AAAAJ\&sortby=pubdate\&citation_for_view=jKiNd-0AAAAJ:ClCfbGk0d_YC}, author = {Noah DeTal and Abouzar Kaboudian and Flavio Fenton} } @article {, title = {Excitable dynamics in neural and cardiac systems}, journal = {Communications in Nonlinear Science and Numerical Simulation}, volume = {86}, year = {2020}, month = {07/2020}, url = {https://scholar.google.com/citations?view_op=view_citation\&hl=en\&user=jKiNd-0AAAAJ\&sortby=pubdate\&citation_for_view=jKiNd-0AAAAJ:hMsQuOkrut0C}, author = {Roberto Barrio and Stephen Coombes and Mathieu Desroches and Flavio Fenton and Stefan Luther and Esther Pueyo} } @conference {, title = {A Natural Lottery Ticket Winner: Reinforcement Learning with Ordinary Neural Circuits}, booktitle = {Proceedings of the 37th International Conference on Machine Learning}, year = {2020}, month = {13{\textendash}18 Jul}, publisher = {PMLR}, organization = {PMLR}, abstract = {

We propose a neural information processing system obtained by re-purposing the function of a biological neural circuit model to govern simulated and real-world control tasks. Inspired by the structure of the nervous system of the soil-worm, C. elegans, we introduce ordinary neural circuits (ONCs), defined as the model of biological neural circuits reparameterized for the control of alternative tasks. We first demonstrate that ONCs realize networks with higher maximum flow compared to arbitrary wired networks. We then learn instances of ONCs to control a series of robotic tasks, including the autonomous parking of a real-world rover robot. For reconfiguration of the purpose of the neural circuit, we adopt a search-based optimization algorithm. Ordinary neural circuits perform on par and, in some cases, significantly surpass the performance of contemporary deep learning models. ONC networks are compact, 77\% sparser than their counterpart neural controllers, and their neural dynamics are fully interpretable at the cell-level.

}, url = {http://proceedings.mlr.press/v119/hasani20a.html}, author = {Hasani, Ramin and Lechner, Mathias and Amini, Alexander and Rus, Daniela and Grosu, Radu}, editor = {Hal Daum{\'e} III and Aarti Singh} } @article {, title = {Swarm Model Checking on the GPU}, journal = {International Journal on Software Tools for Technology Transfer}, year = {2020}, author = {R. DeFrancisco and S. Cho and M. Ferdman and S. A. Smolka} } @conference {, title = {Towards Automated Comprehension and Alignment of Cardiac Models at the System Invariant Level}, booktitle = {CSBio{\textquoteright}20: Proceedings of the Eleventh International Conference on Computational Systems-Biology and Bioinformatics}, year = {2020}, author = {Huang, Samuel and Diep, Madeline and Jang, Kuk and Cherry, Elizabeth M and Fenton, Flavio H and Cleaveland, Rance and Lindvall, Mikael and Mangharam, Rahul and Porter, Adam} } @article {, title = {Simulating waves, chaos and synchronization with a microcontroller}, journal = {Chaos: An Interdisciplinary Journal of Nonlinear Science}, volume = {29}, year = {2019}, month = {12/2019}, url = {https://scholar.google.com/citations?view_op=view_citation\&hl=en\&user=jKiNd-0AAAAJ\&cstart=20\&pagesize=80\&sortby=pubdate\&citation_for_view=jKiNd-0AAAAJ:BUYA1_V_uYcC}, author = {Andrea J Welsh and Cristian Delgado and Casey Lee-Trimble and Abouzar Kaboudian and Flavio H Fenton} } @conference {, title = {OpenUAV: A UAV Testbed for the CPS and Robotics Community}, booktitle = {Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems}, year = {2018}, publisher = {IEEE Press}, organization = {IEEE Press}, address = {Piscataway, NJ, USA}, isbn = {978-1-5386-5301-2}, doi = {10.1109/ICCPS.2018.00021}, url = {https://doi.org/10.1109/ICCPS.2018.00021}, author = {Schmittle, Matt and Lukina, Anna and Vacek, Lukas and Das, Jnaneshwar and Buskirk, Christopher P. and Rees, Stephen and Sztipanovits, Janos and Grosu, Radu and Kumar, Vijay} } @article {, title = {An Optimization-Based Algorithm for the Construction of Cardiac Purkinje Network Models}, journal = {IEEE Transactions on Biomedical Engineering}, volume = {65}, year = {2018}, pages = {2760{\textendash}2768}, doi = {10.1109/tbme.2018.2815504}, url = {https://doi.org/10.1109/tbme.2018.2815504}, author = {Jesuliana N. Ulysses and Lucas A. Berg and ELIZABETH M. CHERRY and Ben R. Liu and Rodrigo W. dos Santos and Bruno G. de Barros and Bernardo M. Rocha and Rafael A. B. de Queiroz} } @conference {, title = {A novel ICD morphology discriminator to improve discrimination between Ventricular and Supraventricular tachycardias}, booktitle = {In Heart Rhythm Scientific Sessions, Chicago}, year = {2017}, month = {05/2017}, abstract = {

Implantable\ \  \ Cardioverter\ \  \ Defibrillator\ \  \ (ICD)\ \  \ morphology\ \  \ discriminators\ \  \ (MDs)\ \  \ discriminate\ \  \ ventricular\ \  \ (VT)\ \  \ from\ \  \ supraventricular\ \  \ tachycardias\ \  \ (SVT)\ \  \ by\ \  \ comparing\ \  \ single-beat\ \  \ electrogram\ \  \ (EGM)\ \  \ shape\ \  \ during\ \  \ tachycardia\ \  \ versus\ \  \ sinus\ \  \ rhythm\ \  \ (Fig.\ \  \ A)\ \  \ and\ \  \ counting\ \  \ the\ \  \ matches.\ \  \ \ \  \ 
Objective

}, author = {H. Abbas and K.J. Jang and J. Liang and S. Dixit and R. Mangharam} } @article {, title = {An extensible formal semantics for UML activity diagrams}, journal = {arXiv preprint arXiv:1604.02386}, year = {2016}, author = {Daw, Zamira and Cleaveland, Rance} } @conference {, title = {In-silico pre-clinical trials for implantable cardioverter defibrillators}, booktitle = {Engineering in Medicine and Biology Society (EMBC), 2016 IEEE 38th Annual International Conference of the}, year = {2016}, publisher = {IEEE}, organization = {IEEE}, abstract = {

Regulatory authorities require that the safety and efficacy of a new high-risk medical device be proven in a Clinical Trial (CT), in which the effects of the device on a group of patients are compared to the effects of the current standard of care. Phase III trials can run for several years, cost millions of dollars, and expose patients to an unproven device. In this paper, we demonstrate how to use a large group of synthetic patients based on computer modeling to improve the planning of a CT so as to increase the chances of a successful trial for implantable cardioverter defibrillators (ICDs). We developed a computer model of the electrical generation and propagation in the heart. This model was used to generate a large group of heart instances capable of producing episodes of 19 different arrhythmias. We also implemented two arrhythmia detection algorithms from the literature: Rhythm ID from Boston Scientific and PR Logic + Wavelet from Medtronic. Using this setup, we conducted multiple in-silico trials to compare the ability of the two algorithms to appropriately discriminate between potentially fatal Ventricular Tachy-arrhythmias (VT) and nonfatal Supra-Ventricular Tachy-arrhythmias (SVTs). The results of our in-silico trial indicate that Rhythm ID was less able to discriminate between SVT and VT and so may lead to more cases of inappropriate therapy. This corroborates the findings of the Rhythm ID Going Head to Head Trial (RIGHT), a clinical trial that compared the two algorithms in patients. We further demonstrated that the result continues to hold if we vary the distribution of arrhythmias in the synthetic population. We also used the same in-silico cohort to explore the sensitivity of the outcome to different parameter settings of the device algorithms, which is not feasible in a real clinical trial. In-silico trials can provide early insight into the factors which affect the outcome of a CT at a fraction of the cost and duration and without the ethical issues.

}, author = {Jiang, Zhihao and Abbas, Houssam and Jang, Kuk Jin and Beccani, Marco and Liang, Jackson and Dixit, Sanjay and Mangharam, Rahul} } @article {, title = {Comparing model checkers for timed UML activity diagrams}, journal = {Science of Computer Programming}, volume = {111}, year = {2015}, pages = {277{\textendash}299}, author = {Daw, Zamira and Cleaveland, Rance} } @conference {, title = {An Extensible Operational Semantics for {UML} Activity Diagrams}, booktitle = {Software Engineering and Formal Methods - 13th International Conference, {SEFM} 2015, York, UK, September 7-11, 2015. Proceedings}, year = {2015}, doi = {10.1007/978-3-319-22969-0\_25}, url = {https://doi.org/10.1007/978-3-319-22969-0\_25}, author = {Zamira Daw and Rance Cleaveland} } @conference {, title = {UML-VT: A Formal Verification Environment for UML Activity Diagrams.}, booktitle = {P\&D@ MoDELS}, year = {2015}, author = {Daw, Zamira and Mangino, John and Cleaveland, Rance} }