News

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.

PRECISE Center hosted CPS Week on April 8 – 11, 2013.

On March 26, 2013 Insup Lee delivered a distinguished lecture Assuring the Safety, Security, and Reliability of Medical-Device Cyber-Physical Systems  as part of Wayne State University Department of Computer Science Distinguished Lecture Series.