Login / Signup

VeriSiMPL 2: An open-source software for the verification of max-plus-linear systems.

Dieky AdzkiyaYining ZhangAlessandro Abate
Published in: Discret. Event Dyn. Syst. (2016)
Keyphrases
  • linear systems
  • sufficient conditions
  • dynamical systems
  • linear equations
  • sparse linear systems
  • coefficient matrix
  • interior point methods
  • model checking
  • real time
  • machine learning
  • decision making