Compositional and Assume-Guarantee Reasoning for Switching Linear Systems.

Florian Kerber Arjan van der Schaft

Published in: ADHS (2009)

Keyphrases

linear systems
sufficient conditions
dynamical systems
linear equations
coefficient matrix
knowledge base
interior point methods
sparse linear systems
neural network
machine learning
learning algorithm
decision making
artificial neural networks
differential equations