Submissions from 2013
Closed-loop Verification of Medical Devices With Model Abstraction and Refinement, Zhihao Jiang, Miroslav Pajic, Salar Moarref, Rajeev Alur, 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
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
Submissions 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
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
Submissions 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
Modeling and Verification of a Dual Chamber Implantable Pacemaker, Zhihao Jiang, Miroslav Pajic, Salar Moarref, Rajeev Alur, 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
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
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
Submissions from 2010
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
Submissions from 2009
Embedded Virtual Machines for Robust Wireless Control Systems., Rahul Mangharam and Miroslav Pajic
Demo Abstract: Embedded Virtual Machines for Wiress Industrial Automation, Rahul Mangharam, Miroslav Pajic, and Shivakumar Sastry
Anti-Jamming for Embedded Wireless Networks, Miroslav Pajic
Embedded Virtual Machines for Wireless Industrial Automation (Demo), Miroslav Pajic and Rahul Mangharam
Submissions from 2008
Mixed Reality, Now a Reality Network Virtualization for Real-Time Automotive-CPS Networks, Rahul Mangharam
Real-Time Traffic Congestion Prediction, Rahul Mangharam, Insup Lee, and Oleg Sokolsky
WisperNet: Anti-Jamming for Wireless Sensor Networks, Miroslav Pajic and Rahul Mangharam
MEERA: Cross-Layer Methodology for Energy Efficient Resource Allocation in Wireless Networks, Sofie Pollin, Rahul Mangharam, Bruno Bougard, Liesbet Van der Perre, Ingrid Moerman, Ragunathan Rajkumar, and Francky Catthoor
Submissions from 2007
Bounded-Latency Alerts in Vehicular Networks, Rahul Mangharam, Raj Rajkumar, Mark Hamilton, Priyantha Mudalige, and Fan Bai
Submissions from 2006
MAX: A Maximal Transmission Concurrency MAC for Wireless Networks with Regular Structure, Rahul Mangharam and Raj Rajkumar
RT-Link: A Time-Synchronized Link Protocol for Energy-Constrained Multi-hop Wireless Networks, Rahul Mangharam, Anthoney Rowe, and Raj Rajkumar
Voice Over Sensor Networks, Rahul Mangharam, Anthony Rowe, Raj Rajkumar, and Ryohei Suzuki
GrooveNet: A Hybrid Simulator for Vehicle-to-Vehicle Networks, Rahul Mangharam, Daniel Walker, Raj Rajkumar, Priyantha Mudalige, and Fan Bai
Submissions from 2005
A Multi-hop Mobile Networking Test-bed for Telematics, Rahul Mangharam, Jacob Meyers, Dr. Ragunathan Rajkumar, Daniel D. Stancil, General Motors Corporation, General Motors Corporation, and General Motors Corporation
Optimal Fixed and Scalable Energy Management for Wireless Networks, Rahul Mangharam, Sofie Pollin, Bruno Bougard, Ragunathan Rajkumar, Francky Catthoor, Liesbet Van der Perre, and Ingrid Moerman
Optimizing Transmission and Shutdown for Energy-Efficient Real-Time Packet Scheduling in Clustered Ad Hoc Networks, Sofie Pollin, Bruno Bougard, Rahul Mangharam, Francky Catthoor, Ingrid Moerman, Ragunathan Rajkumar, and Liesbet Van der Perre
Optimizing Transmission and Shutdown for Energy-Efficient Packet Scheduling in Sensor Networks, Sofie Pollin, Bruno Bougard, Rahul Mangharam, Liesbet Van der Perre, Francky Catthoor, Ragunathan Rajkumar, and Ingrid Moerman
Submissions from 2004
Size Matters: Size-based Scheduling for MPEG-4 over Wireless Channels, Rahul Mangharam, Mustafa Demirhan, Ragunathan Rajkumar, and Dipankar Raychaudhuri