8 citations · 28 across the 22 of their papers we have counts for
4 papers · 1 filter
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…
Towards Control by Interconnection of Port-Thermodynamic Systems
Arjan van der Schaft
The power conserving interconnection of port-thermodynamic systems via their power ports results in another port-thermodynamic system, while the same holds for the rate of entropy…
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…
On Energy Conversion in Port-Hamiltonian Systems
Arjan Van der Schaft, Dimitri Jeltsema
We study port-Hamiltonian systems with two external ports, and the strategies and limitations for conversion of energy from one port into the other. It turns out that, apart from t…