Operational Models for Piecewise-Smooth Systems

Abstract : This paper studies ways of constructing meaningful operational models of piecewise-smooth systems (PWS). The systems we consider are described by polynomial vector fields defined on non-overlapping semi-algebraic sets, which form a partition of the state space. Our approach is to give meaning to motion in systems of this type by automatically synthesizing operational models in the form of hybrid automata (HA). Despite appearances, it is in practice often difficult to arrive at satisfactory HA models of PWS. The different ways of building operational models that we explore in our approach can be thought of as defining different semantics for the underlying PWS. These differences have a number of interesting nuances related to phenomena such as chattering, non-determinism, so-called mythical modes and sliding behaviour.
Type de document :
Article dans une revue
ACM Transactions on Embedded Computing Systems (TECS), ACM, 2017, 16 (5s), pp.185:1--185:19. 〈10.1145/3126506〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01658196
Contributeur : Khalil Ghorbal <>
Soumis le : lundi 11 décembre 2017 - 10:38:13
Dernière modification le : mercredi 16 mai 2018 - 11:24:13

Fichier

op-semantics_emsoft17.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Andrew Sogokon, Khalil Ghorbal, Taylor Johnson. Operational Models for Piecewise-Smooth Systems. ACM Transactions on Embedded Computing Systems (TECS), ACM, 2017, 16 (5s), pp.185:1--185:19. 〈10.1145/3126506〉. 〈hal-01658196〉

Partager

Métriques

Consultations de la notice

229

Téléchargements de fichiers

51