TY - GEN
T1 - Logical Differential Constraints Based on Interval Boolean Tests
AU - Alexandre dit Sandretto, Julien
AU - Chapoutot, Alexandre
N1 - Publisher Copyright:
© Springer Nature Switzerland AG 2019.
PY - 2019/1/1
Y1 - 2019/1/1
N2 - 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.
AB - 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.
UR - https://www.scopus.com/pages/publications/85068978800
U2 - 10.1007/978-3-030-21920-8_70
DO - 10.1007/978-3-030-21920-8_70
M3 - Conference contribution
AN - SCOPUS:85068978800
SN - 9783030219192
T3 - Advances in Intelligent Systems and Computing
SP - 788
EP - 792
BT - Fuzzy Techniques
A2 - Kearfott, Ralph Baker
A2 - Batyrshin, Ildar
A2 - Reformat, Marek
A2 - Ceberio, Martine
A2 - Kreinovich, Vladik
PB - Springer Verlag
T2 - Joint World Congress of the International Fuzzy Systems Association and the Annual Conference of the North American Fuzzy Information Processing Society, IFSA/NAFIPS 2019
Y2 - 18 June 2019 through 21 June 2019
ER -