Logical Differential Constraints Based on Interval Boolean Tests

  • Julien Alexandre dit SandrettoEmail author
  • Alexandre Chapoutot
Conference paper
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 1000)


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. 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. 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. 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. 4.
    Jaulin, L., Kieffer, M., Didrit, O., Walter, E.: Applied Interval Analysis. Springer (2001)Google Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  • Julien Alexandre dit Sandretto
    • 1
    Email author
  • Alexandre Chapoutot
    • 1
  1. 1.ENSTA ParisTechPalaiseauFrance

Personalised recommendations