Reachability and optimal control for linear hybrid automata: a quantifier elimination approach

Y. Pang, M.P. Spathopoulos, H. Xia

Research output: Contribution to journalArticle

5 Citations (Scopus)

Abstract

This paper considers an optimal control problem for linear hybrid automata (LHA). First, we present a controller synthesis algorithm based on reachability analysis. The algorithm computes the maximal initial set from which the controller drives the system to a given target set. It is shown that, using quantifier elimination (QE), an under-approximation of the maximal reachable set can be derived. Next, a weighted time-optimal control problem is solved by transforming it into a constrained optimization problem whose constraints are a set of inequalities with quantifiers. Quantifier elimination (QE) techniques are employed in order to derive the quantifier free inequalities that are shown to be linear. Thus, the optimal cost is obtained using linear programming. For any state belonging to the maximal initial set the optimal switching times and the optimal continuous control inputs are computed. These are used in order to derive a hybrid controller which is optimal with respect to the cost function. Our results are applied to an air traffic management example which is of practical interest.
LanguageEnglish
Pages731-748
Number of pages17
JournalInternational Journal of Control
Volume80
Issue number5
DOIs
Publication statusPublished - 1 May 2007

Fingerprint

Controllers
Constrained optimization
Cost functions
Linear programming
Air
Costs

Keywords

  • control systems
  • reachability
  • linear systems
  • hybrid systems

Cite this

Pang, Y. ; Spathopoulos, M.P. ; Xia, H. / Reachability and optimal control for linear hybrid automata: a quantifier elimination approach. In: International Journal of Control. 2007 ; Vol. 80, No. 5. pp. 731-748.
@article{50c14660333e47f4bd3ab05910381ebf,
title = "Reachability and optimal control for linear hybrid automata: a quantifier elimination approach",
abstract = "This paper considers an optimal control problem for linear hybrid automata (LHA). First, we present a controller synthesis algorithm based on reachability analysis. The algorithm computes the maximal initial set from which the controller drives the system to a given target set. It is shown that, using quantifier elimination (QE), an under-approximation of the maximal reachable set can be derived. Next, a weighted time-optimal control problem is solved by transforming it into a constrained optimization problem whose constraints are a set of inequalities with quantifiers. Quantifier elimination (QE) techniques are employed in order to derive the quantifier free inequalities that are shown to be linear. Thus, the optimal cost is obtained using linear programming. For any state belonging to the maximal initial set the optimal switching times and the optimal continuous control inputs are computed. These are used in order to derive a hybrid controller which is optimal with respect to the cost function. Our results are applied to an air traffic management example which is of practical interest.",
keywords = "control systems, reachability, linear systems, hybrid systems",
author = "Y. Pang and M.P. Spathopoulos and H. Xia",
year = "2007",
month = "5",
day = "1",
doi = "10.1080/00207170601143482",
language = "English",
volume = "80",
pages = "731--748",
journal = "International Journal of Control",
issn = "0020-7179",
number = "5",

}

Reachability and optimal control for linear hybrid automata: a quantifier elimination approach. / Pang, Y.; Spathopoulos, M.P.; Xia, H.

In: International Journal of Control, Vol. 80, No. 5, 01.05.2007, p. 731-748.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Reachability and optimal control for linear hybrid automata: a quantifier elimination approach

AU - Pang, Y.

AU - Spathopoulos, M.P.

AU - Xia, H.

PY - 2007/5/1

Y1 - 2007/5/1

N2 - This paper considers an optimal control problem for linear hybrid automata (LHA). First, we present a controller synthesis algorithm based on reachability analysis. The algorithm computes the maximal initial set from which the controller drives the system to a given target set. It is shown that, using quantifier elimination (QE), an under-approximation of the maximal reachable set can be derived. Next, a weighted time-optimal control problem is solved by transforming it into a constrained optimization problem whose constraints are a set of inequalities with quantifiers. Quantifier elimination (QE) techniques are employed in order to derive the quantifier free inequalities that are shown to be linear. Thus, the optimal cost is obtained using linear programming. For any state belonging to the maximal initial set the optimal switching times and the optimal continuous control inputs are computed. These are used in order to derive a hybrid controller which is optimal with respect to the cost function. Our results are applied to an air traffic management example which is of practical interest.

AB - This paper considers an optimal control problem for linear hybrid automata (LHA). First, we present a controller synthesis algorithm based on reachability analysis. The algorithm computes the maximal initial set from which the controller drives the system to a given target set. It is shown that, using quantifier elimination (QE), an under-approximation of the maximal reachable set can be derived. Next, a weighted time-optimal control problem is solved by transforming it into a constrained optimization problem whose constraints are a set of inequalities with quantifiers. Quantifier elimination (QE) techniques are employed in order to derive the quantifier free inequalities that are shown to be linear. Thus, the optimal cost is obtained using linear programming. For any state belonging to the maximal initial set the optimal switching times and the optimal continuous control inputs are computed. These are used in order to derive a hybrid controller which is optimal with respect to the cost function. Our results are applied to an air traffic management example which is of practical interest.

KW - control systems

KW - reachability

KW - linear systems

KW - hybrid systems

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

U2 - 10.1080/00207170601143482

DO - 10.1080/00207170601143482

M3 - Article

VL - 80

SP - 731

EP - 748

JO - International Journal of Control

T2 - International Journal of Control

JF - International Journal of Control

SN - 0020-7179

IS - 5

ER -