Optimal and Robust Controller Synthesis ; Optimal and Robust Controller Synthesis: Using Energy Timed Automata with Uncertainty
In: FM 2018: Formal Methods ; FM 2018 - International Symposium on Formal Methods ; https://hal.science/hal-01889222 ; FM 2018 - International Symposium on Formal Methods, Jul 2018, Oxford, United Kingdom. pp.203-221, ⟨10.1007/978-3-319-95582-7_12⟩, 2018
Online
Konferenz
Zugriff:
International audience ; 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.
Titel: |
Optimal and Robust Controller Synthesis ; Optimal and Robust Controller Synthesis: Using Energy Timed Automata with Uncertainty
|
---|---|
Autor/in / Beteiligte Person: | Bacci, Giovanni ; Bouyer, Patricia ; Fahrenberg, Uli ; Larsen, Kim Guldstrand ; Markey, Nicolas ; Reynier, Pierre-Alain ; Aalborg University Denmark (AAU) ; Laboratoire Spécification et Vérification Cachan (LSV) ; École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS) ; Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX) ; École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS) ; Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) ; Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes) ; Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique) ; Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT) ; SUpervision of large MOdular and distributed systems (SUMO) ; Inria Rennes – Bretagne Atlantique ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4) ; Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes) ; Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) ; Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique) ; Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon) (LIS) ; Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS) ; Modélisation et Vérification (MOVE) ; Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)-Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS) ; European Project: 669844,H2020,ERC-2014-ADG,LASSO(2015) ; European Project: 308087,EC:FP7:ERC,ERC-2012-StG_20111012,EQUALIS(2013) |
Link: | |
Zeitschrift: | FM 2018: Formal Methods ; FM 2018 - International Symposium on Formal Methods ; https://hal.science/hal-01889222 ; FM 2018 - International Symposium on Formal Methods, Jul 2018, Oxford, United Kingdom. pp.203-221, ⟨10.1007/978-3-319-95582-7_12⟩, 2018 |
Veröffentlichung: | HAL CCSD ; Springer, 2018 |
Medientyp: | Konferenz |
DOI: | 10.1007/978-3-319-95582-7_12 |
Schlagwort: |
|
Sonstiges: |
|