Rahul's focus is on the development of life-critical and safety-critical real-time embedded systems in medical devices, automotive electronics, wireless control networks and energy-efficient buildings. He directs mLAB::Real-Time and Embedded Systems Lab, which develops software verification and testing techniques for high-confidence medical devices such as implantable cardiac pacemakers; new designs for automotive electronic controllers to develop programmable vehicles of the future; distributed wireless control networks for closed-loop industrial automation, and new scheduling/control algorithms for energy-efficient buildings.
No subject area
Green Scheduling for Energy-Efficient Operation of Multiple Chiller Plants (with Madhur Behl and Truong Nghiem), Real-Time and Embedded Systems Lab (mLAB) (2012)
In large building systems, such as a university campus, the air-conditioning systems are commonly served...
Green Scheduling for Radiant Systems in Buildings (with Truong X. Nghiem, Madhur Behl, and George J. Pappas), Real-Time and Embedded Systems Lab (mLAB) (2012)
In this report we look at the problem of peak power reduction for buildings with...
Modeling and Verification of a Dual Chamber Implantable Pacemaker (with Zhihao Jiang, Miroslav Pajic, Salar Moarref, and Rajeev Alur), Real-Time and Embedded Systems Lab (mLAB) (2012)
The design and implementation of software for medical devices is challenging due to their rapidly...
AUTOPLUG: An Architecture for Remote Electronic Controller Unit Diagnostics in Automotive Systems (with Yash Vardhan Pant and Miroslav Pajic), Real-Time and Embedded Systems Lab (mLAB) (2012)
In 2010, over 20.3 million vehicles were recalled. Software issues related to automotive controls such...
Closing the Loop: A Simple Distributed Method for Control over Wireless Networks (with Miroslav Pajic, Shreyas Sundaram, Jerome LE NY, and George J. Pappas), Real-Time and Embedded Systems Lab (mLAB) (2012)
We present a distributed scheme used for control over a network of wireless nodes. As...