constraint programming hybrid systems interval analysis
Tout plus