An Interval Arithmetic Approach to Input-Output Reachability.
Ivan Perez AvellanedaLuis A. Duffaut EspinosaPublished in: CoRR (2023)
Keyphrases
- input output
- interval arithmetic
- constraint propagation
- real numbers
- floating point
- finite sets
- provably correct
- constraint satisfaction problems
- state space
- partial derivatives
- implicit surfaces
- constraint satisfaction
- data envelopment analysis
- ray casting
- internal states
- real time
- constraint programming
- temporal constraints
- fixed point
- three dimensional
- search algorithm
- genetic algorithm