8 citations · 28 across the 22 of their papers we have counts for
6 papers · 1 filter
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…
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…
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…
A graphic formulation of non-isothermal chemical reaction systems and the analysis of detailed balanced networks
Zhou Fang, Arjan van der Schaft, Chuanhou Gao
In this paper, we provide a graphic formulation of non-isothermal reaction systems and show that a non-isothermal detailed balanced network system converges (locally) asymptoticall…
Complex and detailed balancing of chemical reaction networks revisited
Arjan van der Schaft, Shodhan Rao, Bayu Jayawardhana
The characterization of the notions of complex and detailed balancing for mass action kinetics chemical reaction networks is revisited from the perspective of algebraic graph theor…
A network dynamics approach to chemical reaction networks
Arjan van der Schaft, Shodhan Rao, Bayu Jayawardhana
A crisp survey is given of chemical reaction networks from the perspective of general nonlinear network dynamics, in particular of consensus dynamics. It is shown how by starting f…