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.
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.
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
Subscribe to our
$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