Login / Signup

Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics.

Chuchu FanUmang MathurSayan MitraMahesh Viswanathan
Published in: CAV (1) (2018)
Keyphrases
  • controller synthesis
  • dynamical systems
  • linear model
  • real time
  • neural network
  • control system
  • dynamic programming
  • sensitivity analysis
  • degrees of freedom
  • autonomic computing systems