Sign in

Composability and controllability of structural linear time-invariant systems: Distributed verification.

J. Frederico CarvalhoSérgio Daniel PequitoA. Pedro AguiarSoummya KarKarl Henrik Johansson
Published in: Autom. (2017)
Keyphrases
  • distributed systems
  • formal methods
  • linear time invariant
  • real time
  • image processing
  • complex systems
  • initial conditions