Euler's method applied to the control of switched systems

Laurent Fribourg 1, 2
2 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
Abstract : Hybrid systems are a powerful formalism for modeling and reasoning about cyber-physical systems. They mix the continuous and discrete natures of the evolution of computerized systems. Switched systems are a special kind of hybrid systems, with restricted discrete behaviours: those systems only have finitely many different modes of (continuous) evolution, with isolated switches between modes. Such systems provide a good balance between expressiveness and controllability, and are thus in widespread use in large branches of industry such as power electronics and automotive control. The control law for a switched system defines the way of selecting the modes during the run of the system. Controllability is the problem of (automatically) synthezing a control law in order to satisfy a desired property, such as safety (maintaining the variables within a given zone) or stabilisation (confinement of the variables in a close neighborhood around an objective point). In order to compute the control of a switched system, we need to compute the solutions of the differential equations governing the modes. Euler's method is the most basic technique for approximating such solutions. We present here an estimation of the Euler's method local error, using the notion of " one-sided Lispchitz constant " for modes. This yields a general control synthesis approach which can encompass several features such as bounded disturbance and compositionality.
Type de document :
Pré-publication, Document de travail
2017
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01670089
Contributeur : Laurent Fribourg <>
Soumis le : jeudi 21 décembre 2017 - 09:53:47
Dernière modification le : mardi 17 avril 2018 - 09:04:31

Fichier

F-formats17.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01670089, version 1

Citation

Laurent Fribourg. Euler's method applied to the control of switched systems. 2017. 〈hal-01670089〉

Partager

Métriques

Consultations de la notice

134

Téléchargements de fichiers

30