To ensure reliability of CPS, a promising approach relies on designing formal models and checking them against correctness requirements using analysis tools. At PRECISE we are developing new modeling formalisms, algorithms for efficient analysis, and tools based on these theoretical foundations. Benefits of these tools are demonstrated by real-world case studies drawn from a range of applications spanning nearly all of PRECISE’s research interests.
Research Projects
Publications
A full list of related publications can be found at the University of Pennsylvania's Scholarly Commons website.