Logical Differential Constraints Based on Interval Boolean Tests

Abstract

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.