Logical Differential Constraints Based on Interval Boolean Tests - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2019

Logical Differential Constraints Based on Interval Boolean Tests

Résumé

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.
Fichier principal
Vignette du fichier
temporal-interval-tests-hal.pdf (131.97 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02146655 , version 1 (04-06-2019)

Identifiants

Citer

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⟩
44 Consultations
141 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More