Behavioural assume-guarantee contracts for linear dynamical systems.

Brayan M. Shali A. J. van der Schaft Bart Besselink

Published in: CDC (2021)

Keyphrases

linear dynamical systems
dynamical systems
real valued
spatio temporal
video sequences
human motion
model selection