A constraint programming approach for polytopic simulation of ordinary differential equations : a collision detection application

Sandretto Julien Alexandre dit; Chapoutot Alexandre; Garion Christophe; Thirioux Xavier: A constraint programming approach for polytopic simulation of ordinary differential equations : a collision detection application. In: Acta cybernetica, (26) 4. pp. 755-774. (2024)

Előnézet

Cikk, tanulmány, mű cybernetica_026_numb_004_755-774.pdf Letöltés (1MB) | Előnézet

Absztrakt (kivonat)

This paper presents a constraint-based approach to compute the reachable tube of nonlinear differentiable equations. A set of initial values for the equations is considered and defined by a polytope represented as intersections of zonotopes. Guaranteed numerical integration based on zonotopic computation is used to compute reachable tubes. In order to efficiently build polytopes defined by the intersection of several zonotopes, we use a previously developed abstract domain to represent reachable tubes. The proposed contribution allows to compute more expressive reachable tubes more efficiently than methods based only on boxes, and therefore could improve verification/validation processes in robotics application for example. The approach is evaluated on examples taken from literature and we present two applications of this work.

Mű típusa:	Cikk, tanulmány, mű
Befoglaló folyóirat/kiadvány címe:	Acta cybernetica
Dátum:	2024
Kötet:	26
Szám:	4
ISSN:	2676-993X
Oldalak:	pp. 755-774
Nyelv:	angol
Kiadó:	University of Szeged, Institute of Informatics
Kiadás helye:	Szeged
Befoglaló mű URL:	https://acta.bibl.u-szeged.hu/86905/
DOI:	10.14232/actacyb.3007711
Kulcsszavak:	Differenciálegyenletek, Programozás, Irányításelmélet
Megjegyzések:	Bibliogr.: p. 771-774. ; ill. ; összefoglalás angol nyelven
Szakterület:	01. Természettudományok 01. Természettudományok > 01.02. Számítás- és információtudomány 02. Műszaki és technológiai tudományok 02. Műszaki és technológiai tudományok > 02.02. Villamosmérnöki és informatikai tudományok
Feltöltés dátuma:	2025. ápr. 16. 07:25
Utolsó módosítás:	2025. ápr. 16. 07:25
URI:	http://acta.bibl.u-szeged.hu/id/eprint/86994

Bővebben:

Tétel nézet