Login / Signup
Distributed Verification of Structural Controllability for Linear Time-Invariant Systems.
Joao Carvalho
Sérgio Daniel Pequito
A. Pedro Aguiar
Soummya Kar
Karl Henrik Johansson
Published in:
CoRR (2015)
Keyphrases
</>
distributed systems
complex systems
formal methods
linear time invariant
dynamic systems
machine learning
learning algorithm
cooperative
peer to peer