3 citations · 10 across the 20 of their papers we have counts for
Showing 2022 · eess.SYShow all
2 papers · 2 filters
eess.SY2022
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…
eess.SY2022
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…