research
∙
03/31/2023
Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design
Contract-based design is a method to facilitate modular system design. W...
share
research
∙
01/14/2021
Structural Analysis of Multimode DAE Systems: summary of results
Modern modeling languages for general physical systems, such as Modelica...
research
∙
08/12/2020
