• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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