An improved algorithm for the control synthesis of nonlinear sampled switched systems - Laboratoire Méthodes Formelles
Article Dans Une Revue Formal Methods in System Design Année : 2018

An improved algorithm for the control synthesis of nonlinear sampled switched systems

Domaines

Analyse numérique [math.NA] Systèmes et contrôle [cs.SY]
Fichier principal
Vignette du fichier
template-hal.pdf (699.37 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Alexandre Chapoutot  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01399337

Soumis le : jeudi 9 novembre 2017-18:14:02

Dernière modification le : jeudi 28 novembre 2024-15:34:02

Archivage à long terme le : samedi 10 février 2018-12:18:02

Télécharger pour visualiser

Dates et versions

hal-01399337 , version 1 (18-11-2016)
hal-01399337 , version 2 (09-11-2017)

Identifiants

Citer

Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg. An improved algorithm for the control synthesis of nonlinear sampled switched systems. Formal Methods in System Design, 2018, 53 (3), pp.363-383. ⟨10.1007/s10703-017-0305-8⟩. ⟨hal-01399337v2⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENSTA CNRS INRIA ENS-CACHAN INSMI ENSTA_U2IS INRIA2 TDS-MACS UNIV-PARIS-SACLAY ANR ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE LMF
358 Consultations
478 Téléchargements

Altmetric

Partager

More