|
Teaching Autonomous Systems at 1/10th-scale: A project-based course and community.
A. Agnihotri, M. O'Kelly, H. Abbas and R. Mangharam.
ACM Special Interest Group on Computer Science Education (SIGCSE). February 2020.
Anytime Computation and Control for Autonomous Systems.
Y. V. Pant, H. Abbas, K. Mohta, R. A. Quaye, T. X. Nghiem, J. Devietti, R. Mangharam.
IEEE Transactions on Control Systems Technology. February 2020
Electroanatomic Mapping to Determine Scar Regions in Patients with Atrial Fibrillation.
J. He, K. Jang, K. Walsh, J. Liang, S. Dixit, and R. Mangharam.
41st Intl. Engineering in Medicine and Biology Conference (EMBC). July 2019
Fly-by-Logic: A Tool for Unmanned Aircraft System Fleet Planning using Temporal Logic.
Y. V. Pant, R. A. Quaye, H. Abbas, A. Varre and R. Mangharam.
11th Annual NASA Formal Methods Symposium (NFM). May 2019
Robustness Evaluation of Computer-aided Clinical Trials for Medical Devices.
K. J. Jang, Y. V. Pant, B. Zhang, J. Weimer and R. Mangharam.
IEEE International Conference on Cyber-Physical Systems (ICCPS/CPSWeek). April 2019
Temporal Logic Robustness for General Signal Classes.
H. Abbas, Y. V. Pant and R. Mangharam.
ACM International Conference on Hybrid Systems: Computation and Control (HSCC/CPSWeek). April 2019
Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices.
CyberCardia Team.
IEEE International Conference on Cyber-Physical Systems (ICCPS/CPSWeek). April 2019
Data-driven Model Predictive Control using Random Forests for Building Energy Optimization and Climate Control .
F. SMarra, A. Jain, T. de Rubeies, D. Ambrosini, A. D'Innocenzo and R. Mangharam.
Applied Energy. September 2018
Real-Time Decision Policies with Predictable Performance.
H. Abbas, R. Alur, K. Mamouras, A. Rodionova and R. Mangharam.
Proceedings of IEEE. September 2018
Data-driven Switched Affine Modeling for Model Pridictive Control.
F. Smarra, A. Jain, R. Mangharam and A. D'Innocenzo.
IFAC Conference on Analysis and Design of Hybrid Systems (ADHS) July 2018
Computer-aided Clinical Trials for Implantable Cardiac Devices.
K. J. Jang, J. Weimer, H. Abbas, Z. Jiang, J. Liang, S. Dixit and R. Mangharam.
IEEE Engineering in Medicine and Biology Society Conference (EMBC). July 2018
Generalized Robust MTL Semantics for Problems in Cardiac Electrophysiology.
H. Abbas and R. Mangharam.
American Controls Conference (ACC). June 2018
A novel programming language to reduce energy consumption by arrhythmia monitorin algorithms in ICDs .
H. Abbas, K. Mamouras, A. Rodionova, R. Alur, J. Liang, S. Dixit and R. Mangharam.
39th Heart Rhythm Scientific Sessions. May 2018
Learning and Control using Gaussian Processes.
A. Jain, T. X. Nghiem, M. Morari and R. Mangharam.
IEEE International Conference on Cyber-Physical Systems (ICCPS/CPSWeek). April 2018 Best Paper Award!
Fly-by-Logic: Control of Multi-Drone Fleets with Temporal Logic Operatives.
Y. V. Pant, H. Abbas, R. A. Quaye and R. Mangharam.
IEEE International Conference on Cyber-Physical Systems (ICCPS/CPSWeek). April 2018
[ All Publications ]
|
