Papers from 2020
Teaching Autonomous Systems at 1/10th-scale, Abhijeet Agnihotri, Matthew O'Kelly, Rahul Mangharam, and Houssam Abbas
Tech Report: TUNERCAR: A Superoptimization Toolchain for Autonomous Racing, Matthew O'Kelly, Hongrui Zheng, Achin Jain, Joseph Auckley, Kim Luong, and Rahul Mangharam
Papers from 2019
Temporal Logic Robustness for General Signal Classes, Houssam Abbas, Yash Vardhan Pant, and Rahul Mangharam
Electroanatomic Mapping to Determine Scar Regions in Patients with Atrial Fibrillation, Jiyue He, Kuk Jin Jang, Katie Walsh, Jackson Liang, Sanjay Dixit, and Rahul Mangharam
Robustness Evaluation of Computer-aided Clinical Trials for Medical Devices, Kuk Jin Jang, Yash Vardhan Pant, Bo Zhang, James Weimer, and Rahul Mangharam
Technical Report: Anytime Computation and Control for Autonomous Systems, Yash Vardhan Pant, Houssam Abbas, Kartik Mohta, Rhudii A. Quaye, Truong X. Nghiem, Joseph Devietti, and Rahul Mangharam
Fly-by-Logic: A Tool for Unmanned Aircraft System Fleet Planning using Temporal Logic, Yash Vardhan Pant, Rhudii A. Quaye, Houssam Abbas, Akarsh Varre, and Rahul Mangharam
Synthesizing stealthy reprogramming attacks on cardiac devices, Nicola Paoletti, Zhihao Jiang, Ariful Islam, Houssam Abbas, Rahul Mangharam, Shan Lin, Zachary Gruber, and Scott A. Smolka
Papers from 2018
Real-time Decision Policies with Predictable Performance, Houssam Abbas, Rajeev Alur, Konstantinos Mamouras, Rahul Mangharam, and Alena Rodionova
A novel programming language to reduce energy consumption by arrhythmia monitoring algorithms in implantable cardioverter-defibrillators, Houssam Abbas, Konstantinos Mamouras, Alena Rodionova, Alur Rajeev, Jackson Liang, Sanjay Dixit, and Rahul Mangharam
A novel programming language to reduce energy consumption by arrhythmia monitoring algorithms in implantable cardioverter-defibrillators, Houssam Abbas, Konstantinos Mamouras, Alena Rodionova, Alur Rajeev, Jackson Liang, Sanjay Dixit, and Rahul Mangharam
Generalized Robust MTL Semantics for Problems in Cardiac Electrophysiology, Houssam Abbas and Rahul Mangharam
Learning and Control using Gaussian Processes, Achin Jain, Truong X Nghiem, Manfred Morari, and Rahul Mangharam
Computer Aided Clinical Trials for Implantable Cardiac Devices, Kuk Jin Jang, James Weimer, Houssam Abbas, Zhihao Jiang, Jackson Liang, Sanjay Dixit, and Rahul Mangharam
Fly-by-Logic: Control of Multi-Drone Fleets with Temporal Logic Objectives, Yash Vardhan Pant, Houssam Abbas, Rhudii A. Quaye, and Rahul Mangharam
Tech Report: Fly-by-Logic: Control of Multi-Drone Fleets with Temporal Logic Objectives, Yash Vardhan Pant, Houssam Abbas, Rhudii A. Quaye, and Rahul Mangharam
Data-driven Switched Affine Modeling for Model Predictive Control, Francesco Smarra, Achin Jain, Rahul Mangharam, and Alessandro D'Innocenzo
Data-driven model predictive control using random forests for building energy optimization and climate control, Francesco Smarra, Achin Jain, Tullio de Rubeis, Dario Ambrosini, Alessandro D'Innocenzo, and Rahul Mangharam
Papers from 2017
Relaxed decidability and the robust semantics of Metric Temporal Logic, Houssam Abbas, Matthew O'Kelly, and Rahul Mangharam
Safe At Any Speed: A Simulation-Based Test Harness for Autonomous Vehicles, Houssam Abbas, Matthew O'Kelly, Alena Rodionova, and Rahul Mangharam
Data Predictive Control for building energy management, Achin Jain, Madhur Behl, and Rahul Mangharam
Data Predictive Control using Regression Trees and Ensemble Learning, Achin Jain, Francesco Smarra, and Rahul Mangharam
MOBILITY21: Strategic Investments for Transportation Infrastructure & Technology, Rahul Mangharam, Megan Ryerson, Steve Viscelli, Hamsa Balakrishnan, Alexander Bayen, Surabh Amin, Leslie Richards, Leo Bagley, and George Pappas
Computer-Aided Design for Safe Autonomous Vehicles, Matthew O'Kelly, Houssam Abbas, and Rahul Mangharam
Smooth Operator: Control using the Smooth Robustness of Temporal Logic, Yash Vardhan Pant, Houssam Abbas, and Rahul Mangharam
Technical Report: Control Using the Smooth Robustness of Temporal Logic, Yash Vardhan Pant, Houssam Abbas, and Rahul Mangharam
Papers from 2016
Towards Model Checking of Implantable Cardioverter Defibrillators, Houssam Abbas, Kuk Jin Jang, Zhihao Jiang, and Rahul Mangharam
Benchmark: Nonlinear Hybrid Automata Model of Excitable Cardiac Tissue, Houssam Abbas, Kuk Jin Jang, and Rahul Mangharam
Computer Aided Clinical Trials for Implantable Cardiac Devices, Houssam Abbas, Zhihao Jiang, Kuk Jin Jang, Marco Beccani, Jackson Liang, Sanjay Dixit, and Rahul Mangharam
High-Level Modeling for Computer-Aided Clinical Trials of Medical Devices, Houssam Abbas, Zhihao Jiang, Kuk Jin Jang, Marco Beccani, Jackson Liang, Sanjay Dixit, and Rahul Mangharam
Data-Driven Modeling, Control and Tools for Cyber-Physical Energy Systems, Madhur Behl, Achin Jain, and Rahul Mangharam
DR-Advisor: A Data-Driven Demand Response Recommender System, Madhur Behl, Francesco Smarra, and Rahul Mangharam
Data Predictive Control for Peak Power Reduction, Achin Jain, Madhur Behl, and Rahul Mangharam
Automated Closed-Loop Model Checking of Implantable Pacemakers using Abstraction Trees, Zhihao Jiang, Houssam Abbas, Pieter Mosterman, and Rahul Mangharam
APEX: Autonomous Vehicle Plan Verification and Execution, Matthew O'Kelly, Houssam Abbas, Sicun Gao, Shin'ichi Shiraishi, Shinpei Kato, and Rahul Mangharam
Robust Model Predictive Control for Non-Linear Systems with Input and State Constraints Via Feedback Linearization, Yash Vardhan Pant, Houssam Abbas, and Rahul Mangharam
Tech Report: Robust Model Predictive Control for Non-Linear Systems with Input and State Constraints Via Feedback Linearization, Yash Vardhan Pant, Houssam Abbas, and Rahul Mangharam
Papers from 2015
Sometimes, Money Does Grow On Trees: Data-Driven Demand Response with DR-Advisor, Madhur Behl and Rahul Mangharam
Sometimes, Money Does Grow on Trees: DR-Advisor, A Data Driven Demand Response Recommender System, Madhur Behl and Rahul Mangharam
DR-Advisor: A Data Driven Demand Response Recommender System, Madhur Behl, Truong X. Nghiem, and Rahul Mangharam
Campus-Wide Integrated Building Energy Simulation, Willy Bernal, Madhur Behl, Truong X. Nghiem, and Rahul Mangharam
CloudMat: Context-aware Personalization of Fitness Content, Kuk Jin Jang, Jungmin Ryoo, Orkan Telhan, and Rahul Mangharam
The Challenges of High-Confidence Medical Device Software, Zhihao Jiang, Houssam Abbas, Kuk Jin Jang, and Rahul Mangharam
Technical Report: Abstraction-Tree For Closed-loop Model Checking of Medical Devices, Zhihao Jiang, Houssam Abbas, Pieter J. Mosterman, and Rahul Mangharam
High-Confidence Medical Device Software Development, Zhihao Jiang and Rahul Mangharam
Scalable Scheduling of Energy Control Systems, Truong X. Nghiem and Rahul Mangharam
Co-Design of Anytime Computation and Robust Control, Yash Vardhan Pant, Kartik Mohta, Houssam Abbas, Truong Nghiem, Joesph Deveitti, and Rahul Mangharam
Co-design of Anytime Computation and Robust Control (Supplemental), Yash Vardhan Pant, Kartik Mohta, Houssam Abbas, Truong X Nghiem, Joesph Deveitti, and Rahul Mangharam
Papers from 2014
Evaluation of DR-Advisor on the ASHRAE Great Energy Predictor Shootout Challenge, Madhur Behl and Rahul Mangharam
Model-IQ: Uncertainty Propagation from Sensing to Modeling and Control in Buildings., Madhur Behl, Truong Nghiem, and Rahul Mangharam
IMpACT: Inverse Model Accuracy and Control Performance Toolbox for Buildings, Madhur Behl, Truong X Nghiem, and Rahul Mangharam
Requirement-Guided Model Refinement, Zhihao Jiang, Pieter Mosterman, and Rahul Mangharam
Heart-on-a-Chip: A Closed-loop Testing Platform for Implantable Pacemakers, Zhihao Jiang, Sriram Radhakrishnan, Varun Sampath, Shilpa Sarode, and Rahul Mangharam
Robust Model Predictive Control with Anytime Estimation, Truong X Nghiem, Yash Vardhan Pant, and Rahul Mangharam
Safety-Critical Medical Device Development Using the UPP2SF Model, Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, and Rahul Mangharam
Peak Power Control of Battery and Super-capacitor Energy Systems in Electric Vehicles, Yash Vardhan Pant, Truong X Nghiem, and Rahul Mangharam
Peak Power Reduction in Hybrid Energy Systems with Limited Load Forecasts, Yash Vardhan Pant, Truong X Nghiem, and Rahul Mangharam
Papers from 2013
Uncertainty Propagation from Sensing to Modeling and Control in Buildings - Technical Report, Madhur Behl, Truong Nghiem, and Rahul Mangharam
Model-Based Conformance Testing for Implantable Pacemakers, George Chen, Zhihao Jiang, and Rahul Mangharam
Closed-loop Verification of Medical Devices With Model Abstraction and Refinement, Zhihao Jiang, Miroslav Pajic, Rajeev Alur, and Rahul Mangharam
Distributed Control for Cyber-Physical Systems, Rahul Mangharam and Miroslav Pajic
Networked Realization of Discrete-Time Controllers, Fei Miao, Miroslav Pajic, Rahul Mangharam, and George Pappas
Event-based Green Scheduling of Radiant Systems in Buildings, Truong X. Nghiem, George Pappas, and Rahul Mangharam
Topological conditions for in-network stabilization of dynamical systems, Miroslav Pajic, Shreyas Sundaram, Rahul Mangharam, and George Pappas
Papers from 2012
Green Scheduling for Energy-Efficient Operation of Multiple Chiller Plants, Madhur Behl, Truong Nghiem, and Rahul Mangharam
MLE+: A Tool for Integrated Design and Deployment of Energy Efficient Building Controls, Willy Bernal, Madhur Behl, Truong Nghiem, and Rahul Mangharam
ProtoDrive: An Experimental Platform for Electric Vehicle Energy Scheduling and Control, Stephanie Diaz, Harsh Jain, Yash Pant, William Price, and Rahul Mangharam
Modeling and Verification of a Dual Chamber Implantable Pacemaker, Zhihao Jiang, Miroslav Pajic, Salar Moarref, Rajeev Alur, and Rahul Mangharam
The Car and The Cloud: Automotive Architectures for 2020, Rahul Mangharam
Scalable Scheduling of Building Control Systems for Peak Demand Reduction, Truong Nghiem, Madhur Behl, Rahul Mangharam, and George Pappas
Green Scheduling for Radiant Systems in Buildings, Truong X. Nghiem, Madhur Behl, George J. Pappas, and Rahul Mangharam
From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study, Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, and Rahul Mangharam
Model-Driven Safety Analysis of Closed-Loop Medical Systems, Miroslav Pajic, Rahul Mangharam, Oleg Sokolsky, David Arney, Julian M. Goldman, and Insup Lee
Closing the Loop: A Simple Distributed Method for Control over Wireless Networks, Miroslav Pajic, Shreyas Sundaram, Jerome LE NY, George J. Pappas, and Rahul Mangharam
AUTOPLUG: An Architecture for Remote Electronic Controller Unit Diagnostics in Automotive Systems, Yash Vardhan Pant, Miroslav Pajic, and Rahul Mangharam
Papers from 2011
AutoPlug: An Automotive Test-bed for Electronic Controller Unit Testing and Verification, Utsav Drolia, Zhenyan Wang, Yash Pant, and Rahul Mangharam
Cooperative Flight Guidance of Autonomous Unmanned Aerial Vehicles, William H. Etter Jr, Paul Martin, and Rahul Mangharam
Modeling Cardiac Pacemaker Malfunctions With the Virtual Heart Model, Zhihao Jiang and Rahul Mangharam
Cyber-Physical Modeling of Implantable Cardiac Medical Devices, Zhihao Jiang, Miroslav Pajic, and Rahul Mangharam
Model-Based Closed-Loop Testing of Implantable Pacemakers, Zhihao Jiang, Miroslav Pajic, and Rahul Mangharam
On the Feasibility of Linear Discrete-Time Systems of the Green Scheduling Problem, Zheng Li, Pei-Chi Huang, Aloysius K. Mok, Truong Nghiem, Madhur Behl, George Pappas, and Rahul Mangharam
Anytime Algorithms for GPU Architectures, Rahul Mangharam and Aminreza Abrahimi Saba
Demo Abstract: R.A.V.E.N. – Remote Autonomous Vehicle Explorer Network, Paul Martin, William H. Etter Jr, and Rahul Mangharam
Green Scheduling: Scheduling of Control Systems for Peak Power Reduction, Truong Nghiem, Madhur Behl, George Pappas, and Rahul Mangharam
Green Scheduling of Control Systems for Peak Demand Reduction, Truong X. Nghiem, Madhur Behl, Rahul Mangharam, and George J. Pappas
Robust Architectures for Embedded Wireless Network Control and Actuation, Miroslav Pajic, Alexander Chernoguzov, and Rahul Mangharam
Architecture for a Fully Distributed Wireless Control Network, Miroslav Pajic, Shreyas Sundaram, Mansimar Aneja, Srinivas Vemuri, George Pappas, and Rahul Mangharam
Topological Conditions for Wireless Control Networks, Miroslav Pajic, Shreyas Sundaram, George J. Pappas, and Rahul Mangharam
A Simple Distributed Method for Control over Wireless Networks, Miroslav Pajic, Shreyas Sundaram, George Pappas, and Rahul Mangharam
Network Synthesis for Dynamical System Stabilization, Miroslav Pajic, Shreyas Sundaram, George Pappas, and Rahul Mangharam
The Wireless Control Network: A New Approach for Control over Networks, Miroslav Pajic, Shreyas Sundaram, George Pappas, and Rahul Mangharam
Papers from 2010
Using the Virtual Heart Model to Validate the Mode-Switch Pacemaker Operation, Zhihao Jiang, Allison Connolly, and Rahul Mangharam
Real-time Heart Model for Implantable Cardiac Device Validation and Verification, Zhihao Jiang, Miroslav Pajic, Allison Connolly, Sanjay Dixit, and Rahul Mangharam
Spatio-Temporal Techniques for Anti-Jamming in Embedded Wireless Networks, Rahul Mangharam and Miroslav Pajic
Demo Abstract: A Platform for Implantable Medical Device Validation, Miroslav Pajic, Zhihao Jiang, Allison Connolly, Sanjay Dixit, and Rahul Mangharam
A Framework for Validation of Implantable Medical Devices, Miroslav Pajic, Zhihao Jiang, Allison Connolly, and Rahul Mangharam
The Wireless Control Network: Synthesis and Robustness, Miroslav Pajic, Shreyas Sundaram, Jerome Le Ny, George J. Pappas, and Rahul Mangharam
The Wireless Control Network: A New Approach for Control over Networks, Miroslav Pajic, Shreyas Sundaram, George Pappas, and Rahul Mangharam
The Wireless Control Network: Monitoring for Malicious Behavior, Shreyas Sundaram, Miroslav Pajic, Christoforos N. Hadjicostis, Rahul Mangharam, and George J. Pappas
RecoNode: A Reconfigurable Node for Heterogeneous Multi-Robot Search and Rescue, Richard M. Voyles, Sam Povilus, Rahul Mangharam, and Kang Li