Visible to the public Biblio

Found 1750 results

2018-05-11
Taha, Ahmad F, Elmahdi, Ahmed, Panchal, Jitesh H, Sun, Dengfeng.  2014.  Stability analysis of networked control systems with unknown inputs. Communication, Control, and Computing (Allerton), 2014 52nd Annual Allerton Conference on. :936–942.
Elmahdi, Ahmed, Taha, Ahmad F, Sun, Dengfeng, Panchal, Jitesh H.  2014.  An optimal general purpose scheduler for networked control systems. Systems, Man and Cybernetics (SMC), 2014 IEEE International Conference on. :234–239.
Taha, Ahmad F, Elmahdi, Ahmed, Panchal, Jitesh H, Sun, Dengfeng.  2014.  Pure Time Delay Analysis for Decentralized Networked Control Systems. ASME 2014 Dynamic Systems and Control Conference. :V003T47A001–V003T47A001.
Taha, Ahmad F, Hachem, Nadim A, Panchal, Jitesh H.  2014.  A Quasi-Feed-In-Tariff policy formulation in micro-grids: A bi-level multi-period approach. Energy Policy. 71:63–75.
Taha, Ahmad F, Elmahdi, Ahmed, Panchal, Jitesh H, Sun, Dengfeng.  2014.  Networked unknown input observer analysis and design for time-delay systems. Systems, Man and Cybernetics (SMC), 2014 IEEE International Conference on. :3278–3283.
Elmahdi, Ahmed, Taha, Ahmad F, Hui, Stefen, Żak, Stanislaw H.  2012.  A hybrid scheduling protocol to improve quality of service in networked control systems. Communication, Control, and Computing (Allerton), 2012 50th Annual Allerton Conference on. :98–105.
Taha, Ahmad F, Panchal, Jitesh H.  2014.  Decision-making in energy systems with multiple technologies and uncertain preferences. IEEE Transactions on Systems, Man, and Cybernetics: Systems. 44:894–907.
Elmahdi, Ahmed, Taha, Ahmad F, Sun, Dengfeng.  2014.  Observer-based decentralized control scheme for stability analysis of networked systems. Control & Automation (ICCA), 11th IEEE International Conference on. :857–862.
Elmahdi, Ahmed, Taha, Ahmad F, Sun, Dengfeng, Panchal, Jitesh H.  2015.  Decentralized control framework and stability analysis for networked control systems. Journal of Dynamic Systems, Measurement, and Control. 137:051006.
Cairns, Darby I., Fenton, Flavio H., Cherry, E. M..  2017.  Efficient parameterization of cardiac action potential models using a genetic algorithm. Chaos: An Interdisciplinary Journal of Nonlinear Science. 27:093922.
LaVigne, Nicholas S., Holt, Nathan, Hoffman, Matthew J., Cherry, Elizabeth M..  2017.  Effects of model error on cardiac electrical wave state reconstruction using data assimilation. Chaos: An Interdisciplinary Journal of Nonlinear Science. 27:093911.
Cherry, Elizabeth M..  2017.  Distinguishing mechanisms for alternans in cardiac cells using constant-diastolic-interval pacing. Chaos: An Interdisciplinary Journal of Nonlinear Science. 27:093902.
Cherry, E. M., Cairns, D. I., Holt, N., LaVigne, N. S., Fenton, F. H., Hoffman, M. J..  2017.  Data assimilation for cardiac electrical dynamics. Proceedings of the 5th {International} {Conference} on {Computational} and {Mathematical} {Biomedical} {Engineering}.
Gomes, Johnny M., dos Santos, Rodrigo Weber, Cherry, Elizabeth M..  2017.  Alternans promotion in cardiac electrophysiology models by delay differential equations. Chaos: An Interdisciplinary Journal of Nonlinear Science. 27:093915.
Jacek Cyranka, Md. Ariful Islam, Greg Byrne, Paul L. Jones, Scott A. Smolka, Radu Grosu.  2017.  Lagrangian Reachabililty. Computer Aided Verification - 29th International Conference, {CAV} 2017 Proceedings, Part {I}. :379–400.
Jiang, Zhihao, Abbas, Houssam, and Jang, Kuk Jin, Beccani, Marco, Liang, Jackson, Dixit, Sanjay, Mangharam, Rahul.  2016.  In-silico pre-clinical trials for implantable cardioverter defibrillators. 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC). :169-172.
Abbas, Houssam, Jang, K.J., Liang, Jackson, Dixit, Sanjay, Mangharam, Rahul.  2017.  A novel ICD morphology discriminator to improve discrimination between Ventricular and Supraventricular tachycardias. Heart Rhythm Society Scientific Sessions.
Abbas, Houssam, Alur, Rajeev, Mamouras, Konstantinos, Mangharam, Rahul, Rodionova, Alena.  2017.  Real-time Decision Policies with Predictable Performance. Proceedings of the IEEE.

Submitted

Mangharam, Rahul, Abbas, Houssam, Behl, Madhur, Jang, Kuk Jin Pajic, Miroslav, Jiang, Zhihao.  2016.  Three challenges in cyber-physical systems. 2016 8th International Conference on Communication Systems and Networks (COMSNETS). :1-8.
Abbas, Houssam, Jang, Kuk Jin, Jiang, Zhihao, Mangharam, Rahul.  2016.  Towards Model Checking of Implantable Cardioverter Defibrillators. 19th ACM International Conference on Hybrid Systems: Computation and Control.
Abbas, Houssam, Jang, Kuk Jin, Mangharam, Rahul.  2016.  Benchmark: Nonlinear Hybrid Automata Model of Excitable Cardiac Tissue. Applied Verification for Continuous and Hybrid Systems.
Abbas, Houssam, Jiang, Zhihao, Jang, Kuk Jin, Liang, Jackson, Dixit, Sanjay, Mangharam, Rahul.  2016.  Computer Aided Clinical Trials for Implantable Cardiac Devices. SES 2016: Symposium F-2: Modeling, Design and Safety Analysis in Physiological Closed-Loop Systems.
Abbas, Houssam, Jiang, Zhihao, Jang, Kuk Jin, Beccani, Marco, Liang, Jackson, Dixit, Sanjay, Mangharam, Rahul.  2016.  High-Level Modeling for Computer-Aided Clinical Trials of Medical Devices. IEEE International High Level Design Validation and Test Workshop (HLDVT). :85-92.
Jiang, Zhihao, Abbas, Houssam, Mosterman, Pieter, Mangharam, Rahul.  2016.  Automated Closed-Loop Model Checking of Implantable Pacemakers using Abstraction Trees. Medical Cyber Physical Systems Workshop 2016.
Jiang, Zhihao, Abbas, Houssam, Jang, Kuk Jin, Mangharam, Rahul.  2016.  The Challenges of High-Confidence Medical Device Software. IEEE Computer January Outlook.