Zhihao Jiang Receives Techcon 2014 Best In Session Award
September 14, 2014

Zhihao Jiang won the Best in Session Award for the System Design Tools session at SRC’s TECHCON in Austin, Texas, where he represented Penn’s TerraSwarm efforts.  He presented the paper titled “Integrated Functional and Formal Modeling for Closed-loop Evaluation of Medical Device Software”.

Toyota Gift Will Support Penn Research on Automotive Electronic and Computer Systems
July 21, 2014

The University of Pennsylvania’s PRECISE Center has received a substantial financial gift from the Toyota InfoTechnology Center. Toyota-ITC is interested in promoting the PRECISE Center’s efforts on safety algorithms for self-driving cars, remote automotive diagnostics, resilient control of autonomous vehicles and electric vehicle architectures.

xLAB Designs Next-generation Immersive Experiences
July 17, 2014

The following excerpt is from PennCurrent:

"With processing power and internet connectivity increasing, people don’t just learn how to use the latest in technology—that technology actually learns right back.

Your phone knows where you are, so it provides movie times and restaurant recommendations for places in walking distance. Your thermostat knows what time you get home and what temperature you’d like your house to be when you get there. Your TV has your favorite shows recorded because it knows what you like. And all of these devices can now talk to one another to learn even more about their users."

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.