Constraint-based Verification of Formation Control - Archive ouverte HAL

Documentation
Français (FR)

Anglais (EN)

Communication Dans Un Congrès Année : 2021

Constraint-based Verification of Formation Control

(1) , (1) , (2) , (2) , (2)

1
2

Julien Alexandre Dit Sandretto

Fonction : Auteur
PersonId : 8296
IdHAL : julien-alexandre-dit-sandretto
IdRef : 175698929

Unité d'Informatique et d'Ingénierie des Systèmes

Alexandre Chapoutot

Fonction : Auteur
PersonId : 3322
IdHAL : alexandre-chapoutot
ORCID : 0000-0002-7230-0710
IdRef : 198059833

Unité d'Informatique et d'Ingénierie des Systèmes

Christophe Garion

Fonction : Auteur
PersonId : 1158766
IdHAL : christophe-garion
ORCID : 0000-0002-4467-2939
IdRef : 162433581

Département d'Ingénierie des Systèmes Complexes

Xavier Thirioux

Fonction : Auteur
PersonId : 1271135
IdRef : 059654252

Département d'Ingénierie des Systèmes Complexes

Ghiles Ziat

Fonction : Auteur

Département d'Ingénierie des Systèmes Complexes

Domaines

Modélisation et simulation

Julien Alexandre dit Sandretto : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03587686

Soumis le : jeudi 24 février 2022-16:10:09

Dernière modification le : jeudi 14 novembre 2024-16:40:03

Dates et versions

hal-03587686 , version 1 (24-02-2022)

Identifiants

HAL Id : hal-03587686 , version 1
DOI : 10.1109/CDC45484.2021.9683622

Citer

Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Christophe Garion, Xavier Thirioux, Ghiles Ziat. Constraint-based Verification of Formation Control. 2021 60th IEEE Conference on Decision and Control (CDC), Dec 2021, Austin, France. pp.7136-7141, ⟨10.1109/CDC45484.2021.9683622⟩. ⟨hal-03587686⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENSTA ENSTA_U2IS TDS-MACS IP_PARIS CIEDS ISAE-SUPAERO

49 Consultations

0 Téléchargements

Altmetric

Partager