Message from the Director

Message from the Director

We established the Penn Research in Embedded Computing and Integrated Systems Engineering (PRECISE) center in 2008 to leverage our members’ expertise in the theoretical and engineering foundations of cyber-physical systems (CPS). The center serves as the convergence of related research efforts by affiliated faculty spanning the CPS domain. In the short time since its creation, our genesis has flourished into a multimillion dollar research center yielding diverse scientific developments. Currently, PRECISE researchers are actively collaborating with CPS application-area experts to develop next generation medical systems, automotive systems, green energy buildings, and consumer electronics.

PRECISE strives to provide an enriching and integrative environment that fosters interaction among students, researchers, visitors, faculty, and CPS industry leaders. In doing so, we seek not only to improve the world around us but also to cultivate a workforce that is well-poised to face the future research and development challenges of the CPS field.

Thank you for taking the time to explore PRECISE. I extend a personal invitation for you to visit the center and meet with me and our faculty to learn more about our cutting-edge endeavors in CPS research, innovation, and education.


Insup Lee, Ph.D.
Director, PRECISE Center
University of Pennsylvania

Goals and CPS Challenges


  • Develop real-time engineered technologies with built-in assurance of their critical properties
  • Engage in cutting-edge research on cyber-physical products and mission-critical systems
  • Facilitate interaction among stakeholders with cyber-physical systems (CPS)-based initiatives
  • Build an education infrastructure with mature curricula to produce engineers with multidisciplinary skills

CPS Challenges

  • Smart Grid
  • Next Generation Transportation & Mobility
  • Real-Time Life-Supporting Medical Devices & Systems
  • Energy-Efficient Buildings
  • Smart Manufacturing
In the Media
Patents & Source Code Libr…
  • Patents
  • Source Code Library
  • CARTS (Compositional Analysis of Real-Time Systems)
  • Architecture aware analysis of concurrent software (Checkfence)
  • We partner with Fremont Associates to provide tool support for analysis of embedded systems architectures expressed in the AADL modeling language. Formal schedulability analysis algorithms are implemented in the Furness toolset.
  • An industrial case study is starting in collaboration with Honeywell, which aims at the modeling and analysis of wireless architectures.
  • Automated symbolic compositional verification by learning assumptions, JIST (Interfaces for Java classes using abstraction and games)
  • Specification, Analysis, and Testing of Scenario-based Requirements
  • HERMES (Model Checking of Hierarchical State Machines)
  • Mocha (Model checking of open systems using ATL)
  • CHARON (Hybrid systems: modeling and verification)
  • Timed and hybrid automata
Set filter list  
File name File size Last changed
HAWK-ardupilot-master.zip25.1 KB09/11/2012 18:09:53
HAWK-daemons-master.zip16.0 KB09/11/2012 18:09:54
mlab-AutoPlug-2.0-6a706ed.zip14.6 MB09/11/2012 18:10:05
mlab-ecgpatch-3513df4.zip2.06 MB02/11/2012 15:17:26
mlab-ecgpatch-iOSApp-a9716c7.zip3.40 MB02/11/2012 15:17:44
mlab-GrooveNet-beta0.1-5-g2f1f0e4.zip5.04 MB02/11/2012 15:17:59
mlab-HAWK-ardupilot-e9c814b.zip25.2 KB02/11/2012 15:18:20
mlab-HAWK-basestation-2b20933.zip8.65 MB02/11/2012 15:18:37
mlab-HAWK-daemons-b6126a6.zip16.3 KB02/11/2012 15:18:51
mlab-mlep-fad61ba.zip9.12 MB02/11/2012 15:19:08
mlab-mrk-6fa7e4c.zip2.88 MB02/11/2012 15:19:25
mlab-pvs-e083957.zip1.56 MB02/11/2012 15:19:42
Remote-Autonomous-Vehicle-Explorer-Network-master.zip157 MB09/11/2012 18:12:39
Sponsored Projects
Medical Device CPS
Quantitative Analysis and Design of Control Networks
Compositionality for Real-Time Systems
Research on Automotive Electronic and Computer Systems
Experience Design & Technology lab
Collaborative Research

full screen background image