Best paper award at ICCPS 2014
June 9, 2014

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 Receives 2014 IEEE Benjamin Franklin Key Award
April 25, 2014

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

Members of the NRC’s Committee
February 21, 2014

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

Zhihao Jiang was invited to Dagstuhl Seminar on The Pacemaker Challenge
February 2, 2014

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

Outstanding Paper Award at the ACM High Integrity Language Technologies 2013 Conference
November 12, 2013

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.


PRECISE is part of TerraSwarm
November 5, 2013

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

Rahul Mangharam presented Distinguished Lecture on Energy CPS at Kansas State University
October 7, 2013

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

Appreciation Plaque
August 25, 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.

PRECISE’s Medical Cyber-Physical Systems project is featured in the Mathworks Newsletter
June 15, 2013

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!
May 7, 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.