Author:
Alexandre dit Sandretto Julien,Chapoutot Alexandre
Publisher
Springer International Publishing
Reference4 articles.
1. dit Sandretto, J.A., Chapoutot, A.: DynIBEX: a differential constraint library for studying dynamical systems. In: Conference on Hybrid Systems: Computation and Control (2016). Poster
2. Dit Sandretto, J.A., Chapoutot, A., Mullier, O.: Constraint-based framework for reasoning with differential equations. In: Cyber-Physical Systems Security, pp. 23–41. Springer (2018)
3. Goldsztejn, A., Mullier, O., Eveillard, D., Hosobe, H.: Including ode based constraints in the standard CP framework. In: Principles and Practice of Constraint Programming, Volume 6308 of LNCS, pp. 221–235. Springer (2010)
4. Jaulin, L., Kieffer, M., Didrit, O., Walter, E.: Applied Interval Analysis. Springer (2001)