8 citations · 28 across the 28 of their papers we have counts for
5 papers · 1 filter
Verifying Contracts for Perturbed Control Systems using Linear Programming
Miel Sharf, Bart Besselink, Karl Henrik Johansson
Verifying specifications for large-scale control systems is of utmost importance, but can be hard in practice as most formal verification methods can not handle high-dimensional dy…
Behavioural assume-guarantee contracts for linear dynamical systems
B. M. Shali, A. J. van der Schaft, B. Besselink
Motivated by the growing requirements on the operation of complex engineering systems, we present contracts as specifications for continuous-time linear dynamical systems with inpu…
From data to reduced-order models via generalized balanced truncation
Azka Muji Burohman, Bart Besselink, Jacquelien M. A. Scherpen +1
This paper proposes a data-driven model reduction approach on the basis of noisy data. Firstly, the concept of data reduction is introduced. In particular, we show that the set of…
Verifying Compositional Refinement of Assume/Guarantee Contracts using Linear Programming
Miel Sharf, Bart Besselink, Karl Henrik Johansson
Verifying specifications for large-scale modern engineering systems can be a time-consuming task, as most formal verification methods are limited to systems of modest size. Recentl…
Behavioural contracts for linear dynamical systems: input assumptions and output guarantees
B. M. Shali, A. J. van der Schaft, B. Besselink
We introduce contracts for linear dynamical systems with inputs and outputs. Contracts are used to express formal specifications on the dynamic behaviour of such systems through tw…