@inproceedings{e99f87526cf34e5999fdde72ef85f514,
title = "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.",
author = "\{Alexandre dit Sandretto\}, Julien and Alexandre Chapoutot",
note = "Publisher Copyright: {\textcopyright} Springer Nature Switzerland AG 2019.; Joint World Congress of the International Fuzzy Systems Association and the Annual Conference of the North American Fuzzy Information Processing Society, IFSA/NAFIPS 2019 ; Conference date: 18-06-2019 Through 21-06-2019",
year = "2019",
month = jan,
day = "1",
doi = "10.1007/978-3-030-21920-8\_70",
language = "English",
isbn = "9783030219192",
series = "Advances in Intelligent Systems and Computing",
publisher = "Springer Verlag",
pages = "788--792",
editor = "Kearfott, \{Ralph Baker\} and Ildar Batyrshin and Marek Reformat and Martine Ceberio and Vladik Kreinovich",
booktitle = "Fuzzy Techniques",
}