Skip to Main content Skip to Navigation
Book sections

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.
Complete list of metadata

Cited literature [5 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02146655
Contributor : Alexandre Chapoutot <>
Submitted on : Tuesday, June 4, 2019 - 10:49:13 AM
Last modification on : Thursday, March 5, 2020 - 7:07:24 PM

File

temporal-interval-tests-hal.pd...
Files produced by the author(s)

Identifiers

Collections

Citation

Julien Alexandre Dit Sandretto, Alexandre Chapoutot. Logical Differential Constraints Based on Interval Boolean Tests. Kearfott R., Batyrshin I., Reformat M., Ceberio M., Kreinovich V. IFSA/NAFIPS 2019 2019: Fuzzy Techniques: Theory and Applications, 1000, Springer, Cham, pp.788-792, 2019, ⟨10.1007/978-3-030-21920-8_70⟩. ⟨hal-02146655⟩

Share

Metrics

Record views

98

Files downloads

189