Follow

Submissions from 2014

PDF

Model-IQ: Uncertainty Propagation from Sensing to Modeling and Control in Buildings., Madhur Behl, Truong Nghiem, and Rahul Mangharam

PDF

IMpACT: Inverse Model Accuracy and Control Performance Toolbox for Buildings, Madhur Behl, Truong X Nghiem, and Rahul Mangharam

PDF

Heart-on-a-Chip: A Closed-loop Testing Platform for Implantable Pacemakers, Zhihao Jiang, Sriram Radhakrishnan, Varun Sampath, Shilpa Sarode, and Rahul Mangharam

PDF

Peak Power Control of Battery and Super-capacitor Energy Systems in Electric Vehicles, Yash Vardhan Pant, Truong X Nghiem, and Rahul Mangharam

PDF

Peak Power Reduction in Hybrid Energy Systems with Limited Load Forecasts, Yash Vardhan Pant, Truong X Nghiem, and Rahul Mangharam

Submissions from 2013

PDF

Uncertainty Propagation from Sensing to Modeling and Control in Buildings - Technical Report, Madhur Behl, Truong Nghiem, and Rahul Mangharam

PDF

Closed-loop Verification of Medical Devices With Model Abstraction and Refinement, Zhihao Jiang, Miroslav Pajic, Rajeev Alur, and Rahul Mangharam

PDF

Distributed Control for Cyber-Physical Systems, Rahul Mangharam and Miroslav Pajic

PDF

Networked Realization of Discrete-Time Controllers, Fei Miao, Miroslav Pajic, Rahul Mangharam, and George Pappas

PDF

Event-based Green Scheduling of Radiant Systems in Buildings, Truong X. Nghiem, George Pappas, and Rahul Mangharam

PDF

Safety-critical Medical Device Development using the UPP2SF Model, Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, and Rahul Mangharam

PDF

Topological conditions for in-network stabilization of dynamical systems, Miroslav Pajic, Shreyas Sundaram, Rahul Mangharam, and George Pappas

Submissions from 2012

PDF

Green Scheduling for Energy-Efficient Operation of Multiple Chiller Plants, Madhur Behl, Truong Nghiem, and Rahul Mangharam

PDF

MLE+: A Tool for Integrated Design and Deployment of Energy Efficient Building Controls, Willy Bernal, Madhur Behl, Truong Nghiem, and Rahul Mangharam

PDF

ProtoDrive: An Experimental Platform for Electric Vehicle Energy Scheduling and Control, Stephanie Diaz, Harsh Jain, Yash Pant, William Price, and Rahul Mangharam

PDF

The Car and The Cloud: Automotive Architectures for 2020, Rahul Mangharam

PDF

Scalable Scheduling of Building Control Systems for Peak Demand Reduction, Truong Nghiem, Madhur Behl, Rahul Mangharam, and George Pappas

PDF

Green Scheduling for Radiant Systems in Buildings, Truong X. Nghiem, Madhur Behl, George J. Pappas, and Rahul Mangharam

PDF

From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study, Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, and Rahul Mangharam

PDF

Model-Driven Safety Analysis of Closed-Loop Medical Systems, Miroslav Pajic, Rahul Mangharam, Oleg Sokolsky, David Arney, Julian M. Goldman, and Insup Lee

PDF

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

PDF

AUTOPLUG: An Architecture for Remote Electronic Controller Unit Diagnostics in Automotive Systems, Yash Vardhan Pant, Miroslav Pajic, and Rahul Mangharam

Submissions from 2011

PDF

AutoPlug: An Automotive Test-bed for Electronic Controller Unit Testing and Verification, Utsav Drolia, Zhenyan Wang, Yash Pant, and Rahul Mangharam

PDF

Cooperative Flight Guidance of Autonomous Unmanned Aerial Vehicles, William H. Etter Jr, Paul Martin, and Rahul Mangharam

PDF

Modeling Cardiac Pacemaker Malfunctions With the Virtual Heart Model, Zhihao Jiang and Rahul Mangharam

PDF

Cyber-Physical Modeling of Implantable Cardiac Medical Devices, Zhihao Jiang, Miroslav Pajic, and Rahul Mangharam

PDF

Model-Based Closed-Loop Testing of Implantable Pacemakers, Zhihao Jiang, Miroslav Pajic, and Rahul Mangharam

PDF

Modeling and Verification of a Dual Chamber Implantable Pacemaker, Zhihao Jiang, Miroslav Pajic, Salar Moarref, Rajeev Alur, and Rahul Mangharam

PDF

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

PDF

Anytime Algorithms for GPU Architectures, Rahul Mangharam and Aminreza Abrahimi Saba

PDF

Green Scheduling: Scheduling of Control Systems for Peak Power Reduction, Truong Nghiem, Madhur Behl, George Pappas, and Rahul Mangharam

PDF

Green Scheduling of Control Systems for Peak Demand Reduction, Truong X. Nghiem, Madhur Behl, Rahul Mangharam, and George J. Pappas

PDF

Robust Architectures for Embedded Wireless Network Control and Actuation, Miroslav Pajic, Alexander Chernoguzov, and Rahul Mangharam

PDF

Topological Conditions for Wireless Control Networks, Miroslav Pajic, Shreyas Sundaram, George J. Pappas, and Rahul Mangharam

PDF

A Simple Distributed Method for Control over Wireless Networks, Miroslav Pajic, Shreyas Sundaram, George Pappas, and Rahul Mangharam

PDF

Network Synthesis for Dynamical System Stabilization, Miroslav Pajic, Shreyas Sundaram, George Pappas, and Rahul Mangharam

PDF

The Wireless Control Network: A New Approach for Control over Networks, Miroslav Pajic, Shreyas Sundaram, George Pappas, and Rahul Mangharam

Submissions from 2010

PDF

Using the Virtual Heart Model to Validate the Mode-Switch Pacemaker Operation, Zhihao Jiang, Allison Connolly, and Rahul Mangharam

Link

Real-time Heart Model for Implantable Cardiac Device Validation and Verification, Zhihao Jiang, Miroslav Pajic, Allison Connolly, Sanjay Dixit, and Rahul Mangharam

PDF

Spatio-Temporal Techniques for Anti-Jamming in Embedded Wireless Networks, Rahul Mangharam and Miroslav Pajic

PDF

Demo Abstract: A Platform for Implantable Medical Device Validation, Miroslav Pajic, Zhihao Jiang, Allison Connolly, Sanjay Dixit, and Rahul Mangharam

PDF

A Framework for Validation of Implantable Medical Devices, Miroslav Pajic, Zhihao Jiang, Allison Connolly, and Rahul Mangharam

PDF

The Wireless Control Network: Synthesis and Robustness, Miroslav Pajic, Shreyas Sundaram, Jerome Le Ny, George J. Pappas, and Rahul Mangharam

PDF

The Wireless Control Network: A New Approach for Control over Networks, Miroslav Pajic, Shreyas Sundaram, George Pappas, and Rahul Mangharam

PDF

The Wireless Control Network: Monitoring for Malicious Behavior, Shreyas Sundaram, Miroslav Pajic, Christoforos N. Hadjicostis, Rahul Mangharam, and George J. Pappas

PDF

RecoNode: A Reconfigurable Node for Heterogeneous Multi-Robot Search and Rescue, Richard M. Voyles, Sam Povilus, Rahul Mangharam, and Kang Li

Submissions from 2009

PDF

Embedded Virtual Machines for Robust Wireless Control Systems., Rahul Mangharam and Miroslav Pajic

PDF

Demo Abstract: Embedded Virtual Machines for Wiress Industrial Automation, Rahul Mangharam, Miroslav Pajic, and Shivakumar Sastry

PDF

Anti-Jamming for Embedded Wireless Networks, Miroslav Pajic

PDF

Embedded Virtual Machines for Wireless Industrial Automation (Demo), Miroslav Pajic and Rahul Mangharam

Submissions from 2008

PDF

Mixed Reality, Now a Reality Network Virtualization for Real-Time Automotive-CPS Networks, Rahul Mangharam

PDF

Real-Time Traffic Congestion Prediction, Rahul Mangharam, Insup Lee, and Oleg Sokolsky

PDF

WisperNet: Anti-Jamming for Wireless Sensor Networks, Miroslav Pajic and Rahul Mangharam

PDF

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

PDF

Bounded-Latency Alerts in Vehicular Networks, Rahul Mangharam, Raj Rajkumar, Mark Hamilton, Priyantha Mudalige, and Fan Bai

Submissions from 2006

PDF

MAX: A Maximal Transmission Concurrency MAC for Wireless Networks with Regular Structure, Rahul Mangharam and Raj Rajkumar

PDF

RT-Link: A Time-Synchronized Link Protocol for Energy-Constrained Multi-hop Wireless Networks, Rahul Mangharam, Anthoney Rowe, and Raj Rajkumar

PDF

Voice Over Sensor Networks, Rahul Mangharam, Anthony Rowe, Raj Rajkumar, and Ryohei Suzuki

PDF

GrooveNet: A Hybrid Simulator for Vehicle-to-Vehicle Networks, Rahul Mangharam, Daniel Walker, Raj Rajkumar, Priyantha Mudalige, and Fan Bai

Submissions from 2005

PDF

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

PDF

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

PDF

GrooveSim: A Topography-Accurate Simulator for Geographic Routing in Vehicular Networks, Rahul Mangharam, Daniel S. Weller, Daniel D. Stancil, Ragunathan Rajkumar, and General Motors Corporation

PDF

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

PDF

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

PDF

Size Matters: Size-based Scheduling for MPEG-4 over Wireless Channels, Rahul Mangharam, Mustafa Demirhan, Ragunathan Rajkumar, and Dipankar Raychaudhuri