C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics.
Chuchu Fan
Umang Mathur
Sayan Mitra
Mahesh 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