Foundations for System Designs

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 Domains


Embedded Control Networks

full screen background image