Optimal and robust controller synthesis using energy timed automata with uncertainty - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Formal Aspects of Computing Année : 2021

Optimal and robust controller synthesis using energy timed automata with uncertainty

Résumé

In this paper, we propose a novel framework for the synthesis of robust and optimal energy-aware controllers. The framework is based on energy timed automata, allowing for easy expression of timing constraints and variable energy rates. We prove decidability of the energy-constrained infinite-run problem in settings with both certainty and uncertainty of the energy rates. We also consider the optimization problem of identifying the minimal upper bound that will permit existence of energy-constrained infinite runs. Our algorithms are based on quantifier elimination for linear real arithmetic. Using Mathematica and Mjollnir, we illustrate our framework through a real industrial example of a hydraulic oil pump. Compared with previous approaches our method is completely automated and provides improved results.
Fichier principal
Vignette du fichier
2021-fac-BBFLMR.pdf (867.41 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03240104 , version 1 (04-11-2021)

Identifiants

Citer

Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim Larsen, Nicolas Markey, et al.. Optimal and robust controller synthesis using energy timed automata with uncertainty. Formal Aspects of Computing, 2021, 33 (1), pp.3-25. ⟨10.1007/s00165-020-00521-4⟩. ⟨hal-03240104⟩
296 Consultations
90 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More