Login / Signup

Safety Verification Using Barrier Certificates with Application to Double Integrator with Input Saturation and Zero-Order Hold.

Azad GhaffariImoleayo AbelDaniel RickettsSorin LernerMiroslav Krstic
Published in: ACC (2018)
Keyphrases
  • artificial intelligence
  • real world
  • case study
  • real time
  • objective function
  • evolutionary algorithm
  • model checking
  • safety analysis