Logical Differential Constraints Based on Interval Boolean Tests
Continuous-time dynamical systems play a crucial role in the study or the design of systems in various domains. Checking the satisfaction of properties on these systems is important in particular in robotics or control-command systems. Constraint satisfaction problems is a well-suited framework for this purpose and recent papers extend this framework to deal with differential constraints. This article proposes an improvement of constraint differential satisfaction framework by providing a new solving algorithm based on interval Boolean functions.
- 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). PosterGoogle Scholar
- 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)Google Scholar
- 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)Google Scholar
- 4.Jaulin, L., Kieffer, M., Didrit, O., Walter, E.: Applied Interval Analysis. Springer (2001)Google Scholar