Login / Signup
Parabolic Set Simulation for Reachability Analysis of Linear Time Invariant Systems with Integral Quadratic Constraint.
Paul Rousse
Pierre-Loïc Garoche
Didier Henrion
Published in:
CoRR (2019)
Keyphrases
</>
reachability analysis
complex systems
mathematical model
model checking
linear constraints