Rahul Mangharam Highlights Focus: My research develops the foundations of Cyber-Physical Systems (CPS) through closed loop modeling, architectures, algorithms and platforms. My work bridges scheduling theory and control systems for CPS. I have developed new techniques to model the interaction between controllers and complex messy plants such as the pacemaker and the heart (whose dynamics are not fully definable or understood). My work re-thinks the system architectures for control/actuation networks when wireless links are used such that irrespective of node, link and topology faults, the overall control stability and performance is maintained. I have designed and synthesized scheduling algorithms for coordinating plants as they scale to thousands of controllers, such that the system as a whole operates within constraints while individual plants are always safe. Finally, I have developed new CPS platforms that capture non-determinism, interactivity, and scale to demonstrate the safety and efficacy of the proposed approaches. Research Themes: My research on these four themes: Modeling, Architectures, Algorithms and Platforms has addressed the foundations of CPS across four domains spanning Medical Devices, Control over Wireless, Energy-Efficient Buildings and Automotive Systems. CPS Modeling: From Verified Models to Verified Code for Life-Critical Systems. I have focused on the formal modeling, synthesis and certification of high-confidence medical device software and systems. I have concentrated on both implantable medical devices and physiological control systems to ensure that both the functional and formal aspects are verified, validated and tested within the closed-loop context of their physiological systems. CPS Architectures: Distributed Control over Wireless Networks. I have focused on radical architectural approaches for completely in-network computation for robust, optimal and secure control over inherently unreliable infrastructure. CPS Algorithms: Green Scheduling of Control Systems. I have developed a new class of scheduling for CPS, called Green Scheduling, which incorporates the dynamics of the plant in the scheduling scheme. This is used for coordinated control of building automation systems to minimize peak energy consumption across a campus while satisfying dynamic occupant demand. CPS Platforms and Test-beds: I have developed several platforms and tools for medical devices and physiological systems, wireless networks and protocols, energy-efficient buildings and automotive systems to validate and demonstrate modeling and theoretical efforts. (more details on each theme in the Research Statement) Impact Research Impact of Medical CPS For efforts in Medical CPS, I was awarded the NSF CAREER Award in March 2013 and my team was awarded the IEEE RTAS Best Student Paper Award in 2012. I have been invited to present this project at the US Food and Drug Administration (FDA) to establish a rapid certification toolchain for future medical devices. My efforts have been highlighted by Mathworks, who also created it into a webinar for the broader modeling community. I have been invited to the Dagsthul Seminar on The Pacemaker Formal Methods Challenge in Feb, 2014. The results and models of this work have been used by Prof.

Marta Kwiatkowska, Oxford University; Prof. Sanjit Seshia, UC Berkeley; Prof. Wang Yi, Uppsala University; Prof. Ashutosh Trivedi, Indian Institute of Technology; Prof. Sayan Mitra, UIUC; Prof. Kevin Fu, U. Michigan; among over 30 research groups. I have helped established the Medical CPS Workshop (now in its 5th year), at CPSWeek, which has become a premier destination for clinicians, scientists, regulators and industry experts for medical devices. The Heart-on-a-Chip platform won the 1st Prize in the 2012 World Embedded Systems Competition in Seoul, Korea, the 2012 Penn SEAS Best Senior Design Competition and the Honorable Harold Berger Award for Best ESE Senior Design Project (http://pvs.medcps.org) Research Impact of Networked CPS My lab and I were awarded the 1st Prize in Honeywells Wireless Innovation Competition, 2011. My doctoral student, Miroslav Pajic, was awarded the 2011 ACM SIGBED Frank Anger Memorial Award (highest award in the Embedded Systems and Modeling research communities), the 2012 Joseph and Rosaline Wolf Best Dissertation Award, and 2012 ACM IPSN Best Presentation Award. This effort also won a $2.1 Million NSF MRI research award, multi-year sponsorship from Honeywell and was demonstrated at the NAMUR Industrial Automation Working Group in the EU. My lab and I implemented EVM and WCN on the ISA100.11a industry standard wireless protocol, as open source systems (http://mlab.seas.upenn.edu/openisa). Research Impact of Energy CPS This project won the 2012 ACM Building Systems Symposium (BuildSys) Award for best demonstration. It resulted in Truong X. Nghiems doctoral thesis and was awarded a $2.25 Million DoE grant. My lab and I developed MLE+ [41, 42, 47] a toolbox for integrated modeling and control for energy-efficient buildings (using Matlab and DoEs EnergyPlus). MLE+ has been featured on the DoEs EnergyPlus website. It has been downloaded over 600 times and is actively used by over 36 institutions. (http://mlab.seas.upenn.edu/mlep). Research Impact of Automotive CPS My AutoPlug project won the 1st Prize in the World Embedded Systems Competition held in Korea in November 2010. I was awarded the 2012 Intel Early Faculty Career Honor for efforts on Automotive CPS. I was invited to present these results at the National Academy of Engineers, Frontiers of Engineering (15 engineers under 45 years are selected nationwide). The ProtoDrive Electric Vehicle project won the 3rd Prize in the 2012 World Embedded Systems Competition, Korea (http://mlab.seas.upenn.edu/protodrive). This research effort is funded by the newly awarded $5.9 million DoT University Transportation Center between Penn and CMU (2013-1015) for safe and effective future vehicle architectures. Awards: In each theme, my lab has won national and international recognition in the form of the Intel Early Faculty Career Award12, NSF CAREER Award13, ACM SIGBED Frank Anger Memorial Award11, IEEE RTAS Best Student Paper Award12, National Academy of Engineers - Frontiers of Engineering12 (for Top-15 engineers under 45), 1st Prize in the World Embedded Systems Competition, Seoul, Korea in 2010 and 2012, Intel/Cornell Cup Embedded Systems Award12, SEAS Best Senior Design Award12, Google Zeitgeist Award12, ACM IPSN Best Presentation Award12, Honeywell Industrial Wireless Innovation Award11, Joseph and Rosaline Wolf Best Dissertation Award12, etc. Publications: Reflecting the cross cutting nature of my work, my research findings over the past 5 years have produced 67 publications in the areas of Real-Time Systems, Embedded Systems, Control Systems,

Formal Methods, Medical Systems and Automotive Systems. All publications are at Tier-1 journals or conferences - IEEE Proceedings, TECS, TAC, TII, RTSS, RTAS, RTSJ, ACC, CDC, Allerton, EMBC, CAV, TACAS, STTT and NAE. Leadership: I have served as co-chair of IEEE RTAS12, the top Real-Time and Embedded Systems conference. I have co-chaired the Medical CPS Workshop at CPSweek in 2011, 2013 and 2014, which has established itself as a destination for clinicians, computer scientists, government regulators and industry experts for medical devices (http://medcps.org). I have also co-chaired the Analytical Virtual Integration for CPS workshop and have served on the organizing committee of Cyber-Physical Systems Week, host to the 5 premier conferences on controls, real-time systems and formal methods. Recognition: In recognition of this cross cutting research, I have been invited for talks in multiple formal methods venues such as CAV and NSV, the NY/NJ/PA transportation research centers, the US Food and Drug Administration (FDA), NAMUR Industrial Automation Working Group in EU, Honeywell Technical Symposium, Dagsthul Seminar, ARPA-Energy and multiple NSF and inter-agency joint workshops. I currently serve as guest editor on the Journal of Real-Time Systems, IEEE Design & Test, IEEE Transaction on Emerging Topics in Computing and IEEE Transactions on Embedded Systems. I have been invited to give Distinguished Lectures at UIUC, UCSD and Kansas State University. Popular media outlets such as The Economist, The Philadelphia Inquirer, NAE Bridge, and The Discovery Channel, have captured the labs broad impact. Funding: 1. The National Science Foundation (NSF), US Department of Energy (DoE), US Department of Transportation (DoT), Semiconductor Research Corporation (SRC), DARPA and industry have recognized the productive inter-disciplinary flavor of the overall research. 2. My lab has won several NSF grants in the form of single-PI grants, NSF CAREER award, NSF Major Research Instrumentation (Development, not Acquisition), NSF-Medium and NSF-Large awards. In the NSF CPS program, the budget has grown to $65 million, of which projects that I was PI or Co-PI for accounted for approximately $8.5 million. 3. My work is also funded by the DoE HUB for Energy Efficient Buildings ($2.25 Million over 5 years), SRC/DoD TerraSwarm for Networked CPS (a $27 million multi-university 5-year project) and the DoT University Transportation Center ($5.9 million between CMU-Penn). 4. Additionally, my lab receives significant funding from industry partners such as Honeywell Process Solutions, L3 Communications, and Intel. From January 2014, Comcast has funded a new xLAB: Expereince Design and Technology Lab at Penn under my direction to explore the next generation of Cyber-Physical technology. Teaching Achievements 1. Innovative undergraduate and graduate embedded systems projects. Undergrads have won over a dozen international prizes from Intel, Google, Accenture, Korean Industry and 4 years of Senior Design Awards. 2. Founding faculty of the Embedded Systems MS Program a first in the nation 3. Founding faculty of new Computer Engineering undergrad program.