1 paper
Hamza El-Kebir, Ani Pirosmanishvili, Melkior Ornik
This work presents a method of efficiently computing inner and outer approximations of forward reachable sets for nonlinear control systems with changed dynamics and diminished con…