Guaranteed control synthesis of nonlinear switched systems using Euler method

Adrien Le Coënt 1 Florian De Vuyst 1 Ludovic Chamoin 2 Laurent Fribourg 3, 4
4 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
Type de document :
Communication dans un congrès
3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis, Apr 2017, Uppsala, Sweden
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01583164
Contributeur : Ludovic Chamoin <>
Soumis le : mercredi 6 septembre 2017 - 18:53:18
Dernière modification le : samedi 23 mars 2019 - 01:29:24

Identifiants

  • HAL Id : hal-01583164, version 1

Citation

Adrien Le Coënt, Florian De Vuyst, Ludovic Chamoin, Laurent Fribourg. Guaranteed control synthesis of nonlinear switched systems using Euler method. 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis, Apr 2017, Uppsala, Sweden. 〈hal-01583164〉

Partager

Métriques

Consultations de la notice

92