Login / Signup

Verifying stability of approximate explicit MPC.

Morten HovdFrancesco ScibiliaJan M. MaciejowskiSorin Olaru
Published in: CDC (2009)
Keyphrases
  • model checking
  • dynamic model
  • digital libraries
  • expert systems
  • stability analysis
  • database
  • social networks
  • multiscale
  • relational databases
  • asymptotic stability