Hybrid control synthesis for eventuality specifications using level set methods

A. Trontis, M.P. Spathopoulos

Research output: Contribution to journalArticle

11 Citations (Scopus)

Abstract

This paper is concerned with the extraction of controllers for hybrid systems with respect to eventuality specifications. Given a hybrid system modelled by a hybrid automaton and a target set of states, the objective is to compute the maximal set of initial states together with the hybrid control policy such that all the trajectories of the controlled system reach the target in finite time. Due to the existence of set-valued disturbance inputs, the problem is studied in a game-theoretic framework. Having shown that a least restrictive solution does not exist, we propose a dynamic programming algorithm that computes the maximal initial set and a controller with the desired property. To implement the algorithm, reachable sets of pursuit-evasion differential games need to be computed. For that reason level set methods are employed, where the boundary of the reachable set is characterized as the zero level set of a Hamilton-Jacobi equation. The procedure for the numerical extraction of the controller is presented in detail and examples illustrate the methodology. Finally, to demonstrate the practical character of our results, a control design problem in the benchmark system of the batch evaporator is considered as an eventuality synthesis problem and solved using the proposed methodology.
Original languageEnglish
Pages (from-to)1599-1627
Number of pages28
JournalInternational Journal of Control
Volume76
Issue number16
DOIs
Publication statusPublished - 2003

Fingerprint

Hybrid systems
Specifications
Controllers
Evaporators
Dynamic programming
Trajectories

Keywords

  • control systems
  • mechanical engineering
  • hybrid systems
  • controllers

Cite this

Trontis, A. ; Spathopoulos, M.P. / Hybrid control synthesis for eventuality specifications using level set methods. In: International Journal of Control. 2003 ; Vol. 76, No. 16. pp. 1599-1627.
@article{83c9169a947d4f0d8146e548f5aa6ae2,
title = "Hybrid control synthesis for eventuality specifications using level set methods",
abstract = "This paper is concerned with the extraction of controllers for hybrid systems with respect to eventuality specifications. Given a hybrid system modelled by a hybrid automaton and a target set of states, the objective is to compute the maximal set of initial states together with the hybrid control policy such that all the trajectories of the controlled system reach the target in finite time. Due to the existence of set-valued disturbance inputs, the problem is studied in a game-theoretic framework. Having shown that a least restrictive solution does not exist, we propose a dynamic programming algorithm that computes the maximal initial set and a controller with the desired property. To implement the algorithm, reachable sets of pursuit-evasion differential games need to be computed. For that reason level set methods are employed, where the boundary of the reachable set is characterized as the zero level set of a Hamilton-Jacobi equation. The procedure for the numerical extraction of the controller is presented in detail and examples illustrate the methodology. Finally, to demonstrate the practical character of our results, a control design problem in the benchmark system of the batch evaporator is considered as an eventuality synthesis problem and solved using the proposed methodology.",
keywords = "control systems, mechanical engineering, hybrid systems, controllers",
author = "A. Trontis and M.P. Spathopoulos",
year = "2003",
doi = "10.1080/00207170310001622512",
language = "English",
volume = "76",
pages = "1599--1627",
journal = "International Journal of Control",
issn = "0020-7179",
number = "16",

}

Hybrid control synthesis for eventuality specifications using level set methods. / Trontis, A.; Spathopoulos, M.P.

In: International Journal of Control, Vol. 76, No. 16, 2003, p. 1599-1627.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Hybrid control synthesis for eventuality specifications using level set methods

AU - Trontis, A.

AU - Spathopoulos, M.P.

PY - 2003

Y1 - 2003

N2 - This paper is concerned with the extraction of controllers for hybrid systems with respect to eventuality specifications. Given a hybrid system modelled by a hybrid automaton and a target set of states, the objective is to compute the maximal set of initial states together with the hybrid control policy such that all the trajectories of the controlled system reach the target in finite time. Due to the existence of set-valued disturbance inputs, the problem is studied in a game-theoretic framework. Having shown that a least restrictive solution does not exist, we propose a dynamic programming algorithm that computes the maximal initial set and a controller with the desired property. To implement the algorithm, reachable sets of pursuit-evasion differential games need to be computed. For that reason level set methods are employed, where the boundary of the reachable set is characterized as the zero level set of a Hamilton-Jacobi equation. The procedure for the numerical extraction of the controller is presented in detail and examples illustrate the methodology. Finally, to demonstrate the practical character of our results, a control design problem in the benchmark system of the batch evaporator is considered as an eventuality synthesis problem and solved using the proposed methodology.

AB - This paper is concerned with the extraction of controllers for hybrid systems with respect to eventuality specifications. Given a hybrid system modelled by a hybrid automaton and a target set of states, the objective is to compute the maximal set of initial states together with the hybrid control policy such that all the trajectories of the controlled system reach the target in finite time. Due to the existence of set-valued disturbance inputs, the problem is studied in a game-theoretic framework. Having shown that a least restrictive solution does not exist, we propose a dynamic programming algorithm that computes the maximal initial set and a controller with the desired property. To implement the algorithm, reachable sets of pursuit-evasion differential games need to be computed. For that reason level set methods are employed, where the boundary of the reachable set is characterized as the zero level set of a Hamilton-Jacobi equation. The procedure for the numerical extraction of the controller is presented in detail and examples illustrate the methodology. Finally, to demonstrate the practical character of our results, a control design problem in the benchmark system of the batch evaporator is considered as an eventuality synthesis problem and solved using the proposed methodology.

KW - control systems

KW - mechanical engineering

KW - hybrid systems

KW - controllers

UR - http://dx.doi.org/10.1080/00207170310001622512

U2 - 10.1080/00207170310001622512

DO - 10.1080/00207170310001622512

M3 - Article

VL - 76

SP - 1599

EP - 1627

JO - International Journal of Control

JF - International Journal of Control

SN - 0020-7179

IS - 16

ER -