8 citations · 28 across the 28 of their papers we have counts for
3 papers · 1 filter
Contract Composition for Dynamical Control Systems: Definition and Verification using Linear Programming
Miel Sharf, Bart Besselink, Karl Henrik Johansson
Designing large-scale control systems to satisfy complex specifications is hard in practice, as most formal methods are limited to systems of modest size. Contract theory has been…
Modular Model Reduction of Interconnected Systems: A Robust Performance Analysis Perspective
Lars A. L. Janssen, Bart Besselink, Rob H. B. Fey +1
Many complex engineering systems consist of multiple subsystems that are developed by different teams of engineers. To analyse, simulate and control such complex systems, accurate…
Series composition of simulation-based assume-guarantee contracts for linear dynamical systems
B. M. Shali, H. M. Heidema, A. J. van der Schaft +1
We present assume-guarantee contracts for continuous-time linear dynamical systems with inputs and outputs. These contracts are used to express specifications on the dynamic behavi…