About PRECISE

PRECISE is a research center created in 2008 with the school of Engineering and Applied Science (SEAS) at the University of Pennsylvania that serves as the point of convergence for several related research efforts by the affiliated faculty in the areas of cyber-physical systems (CPS), distributed real-time systems, formal specification and verification, control theory, and trust management.

Mission

The mission of PRECISE is to develop and integrate theory, methods, tools, and systems support for education, research, and implementation of cyber-physical systems.

The mission will be achieved via cutting-edge research and forward-looking education, bringing together the expertise of PRECISE members, the center will supply those theoretical and engineering foundations which are currently absent. Further, the center will ensure a steady supply of well-prepared engineers, equipped with the skills necessary to develop the CPS of the future.

Research

PRECISE research is being applied to several application domains, including embedded software-intensive medical devices, embedded software design and verification, wireless sensors, and robotics.

High-Confidence Medical Device Software Systems


PRECISE Center is leading a collaborative multi-univeristy effort funded by an NSF CPS Large grant ($5M, PI: Insup Lee) entitled "Assuring the Safety, Security and Reliability of Medical Device Cyber Physical Systems." The project brings together researchers from the University of Pennsylvania Health System, University of Minnesota, Massachusetts General Hospital, and University of Waterloo.


Quantitative Analysis and Design of Control Networks by George Pappas, Insup Lee, Rajeev Alur, Rahul Mangharam and Alejandro Ribeiro received 1.5 Million NSF Award

PRECISE Publications at Scholarly Commons

News & Events

Subscribe to our
mailing list

$4.8M grant received from DARPA HACMS Program Read More

Rahul Mangharam receives 2012 Intel Early Career Faculty Honor Program award Read More

Article in the Economist magazine Read More

PRECISE Open House
May 18, 2012, 8am - 6pm Read More

Distinguished Lecture at University of Minesota Read More

Best Paper Award at HSCC 2012 goes to Rajeev Alur, Ashutosh Trivedi, and Dominik Wojtczak Read More

Best Student Paper Award at IEEE RTAS 2012 goes to Miroslav Pajic et al Read More