Penn and IoT Article in Daily Pennsylvanian
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”.
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.
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."
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".