News

The Best Paper Award for the 5th International Conference on Cyber-Physical Systems (ICCPS 2014) went to the paper entitled “Robustness of Attack-resilient State Estimators” by Miroslav Pajic, James Weimer, Nicola Bezzo, Paulo Tabuada, Oleg Sokolsky, Insup Lee, George Pappas.

The goal of the paper is how to protect cyber-attacks to cars loaded with car tech. For example, it is known that you can spoof GPS signals (and other sensors) to misguide cars/drones/boats. The paper, part of the DARPA HACMS project at PRECISE, develops methods for detecting such attacks on cars. The methods have been used in real robots and cars and we have videos for both.

Rahul Mangharam wins the 2014 IEEE Benjamin Franklin Key Award for “outstanding technical innovation and technological contributions that have had significant practical applications.”

Insup Lee and George Pappas were appointed as members of the NRC’s Committee on 21st Century Cyber-Physical Systems Education.

On February 2 – 7, 2014 Zhihao Jiang was invited to Dagstuhl Seminar on The Pacemaker Challenge.

The paper titled “Compositional Verification of a Medical Device System”, authored by Anitha Murugesan, Michael Whalen, Sanjai Rayadurgam and Mats P.E. Heimdahl (i.e., PRECISE's collaborators) won the “Outstanding Paper Award” at the ACM High Integrity Language Technologies 2013, Pittsburgh, PA.

Sanjai Rayadurgam presented the paper at the conference and received the award certificate on behalf of all the authors.

mLAB joined TerraSwarm Research Center for research on "Anytime, Adaptive and Evolutionary Computing and Control".

Rahul Mangharam presented Distinguished Lecture “Green Scheduling of Energy Control Systems for Peak Demand Management” at Kansas State University on October 7, 2013.

Insup Lee received Appreciation Plaque from Ministry of Science, IT and Future Planning, South Korea, for speaking at Universal Linkage for Top Research Advisor (ULTRA) Program Forum.

University of Pennsylvania Develops Electrophysiological Heart Model for Real-Time Closed-Loop Testing of Pacemakers by Zhihao Jiang and Rahul Mangharam, University of Pennsylvania was published in the Mathworks Newsletter in June 2013.

Rajeev Alur is awarded a Simons Investigator Position! This highly competitive fellowship, recently established by Simons Foundation, is awarded to mid-career scientists in Mathematics, Theoretical Physics, and Theoretical Comp Science to undertake long-term study of fundamental questions.