Login / Signup
Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark.
Jyotirmoy V. Deshmukh
Hisahiro Ito
Xiaoqing Jin
James Kapinski
Kenneth R. Butts
Jürgen Gerhard
Behzad Samadi
Kevin Walker
Yuzhen Xie
Published in:
ARCH@CPSWeek (2015)
Keyphrases
</>
piecewise affine
control system
formal verification
multi agent
closed form
control strategy
optimal control
reinforcement learning
multi agent systems
control method
efficient computation