Login / Signup

Abstraction and verification of autonomous Max-Plus-Linear systems.

Dieky AdzkiyaBart De SchutterAlessandro Abate
Published in: ACC (2012)
Keyphrases
  • linear systems
  • dynamical systems
  • sufficient conditions
  • linear equations
  • model checking
  • coefficient matrix
  • hardware designs
  • sparse linear systems
  • optimization algorithm
  • interior point methods