On weighted time optimal control for linear hybrid automata using quantifier elimination

Yan Pang; Michael P. Spathopoulos

On weighted time optimal control for linear hybrid automata using quantifier elimination

Yan Pang, Michael P. Spathopoulos

Research output: Contribution to conference › Paper › peer-review

41 Downloads (Pure)

Abstract

This paper considers the optimal control problem for linear hybrid automata. In particular, it is shown that the problem can be transformed into a constrained optimization problem whose constraints are a set of inequalities with quantifiers. Quantifier Elimination (QE) techniques are employed in order to derive quantifier free inequalities that are linear. The optimal cost is obtained using linear programming. The optimal switching times and optimal continuous control inputs are computed and used in order to derive the optimal hybrid controller. Our results areapplied to an air traffic management example.

Original language	English
Number of pages	6
Publication status	Published - Sept 2004
Event	Proceedings of the 7th IFAC International Workshop on Discrete Event Systems - Reims, France Duration: 22 Sept 2004 → 24 Sept 2004

Conference

Conference	Proceedings of the 7th IFAC International Workshop on Discrete Event Systems
City	Reims, France
Period	22/09/04 → 24/09/04

Keywords

hybrid automata
quantifier elimination
time optimal control

Access to Document

strathprints006220Accepted author manuscript, 136 KB

Cite this

@conference{34983310e57044d3863ca1bef5c9f44e,

title = "On weighted time optimal control for linear hybrid automata using quantifier elimination",

abstract = "This paper considers the optimal control problem for linear hybrid automata. In particular, it is shown that the problem can be transformed into a constrained optimization problem whose constraints are a set of inequalities with quantifiers. Quantifier Elimination (QE) techniques are employed in order to derive quantifier free inequalities that are linear. The optimal cost is obtained using linear programming. The optimal switching times and optimal continuous control inputs are computed and used in order to derive the optimal hybrid controller. Our results areapplied to an air traffic management example.",

keywords = "hybrid automata, quantifier elimination, time optimal control",

author = "Yan Pang and Spathopoulos, \{Michael P.\}",

year = "2004",

month = sep,

language = "English",

note = "Proceedings of the 7th IFAC International Workshop on Discrete Event Systems ; Conference date: 22-09-2004 Through 24-09-2004",

}

TY - CONF

T1 - On weighted time optimal control for linear hybrid automata using quantifier elimination

AU - Pang, Yan

AU - Spathopoulos, Michael P.

PY - 2004/9

Y1 - 2004/9

N2 - This paper considers the optimal control problem for linear hybrid automata. In particular, it is shown that the problem can be transformed into a constrained optimization problem whose constraints are a set of inequalities with quantifiers. Quantifier Elimination (QE) techniques are employed in order to derive quantifier free inequalities that are linear. The optimal cost is obtained using linear programming. The optimal switching times and optimal continuous control inputs are computed and used in order to derive the optimal hybrid controller. Our results areapplied to an air traffic management example.

AB - This paper considers the optimal control problem for linear hybrid automata. In particular, it is shown that the problem can be transformed into a constrained optimization problem whose constraints are a set of inequalities with quantifiers. Quantifier Elimination (QE) techniques are employed in order to derive quantifier free inequalities that are linear. The optimal cost is obtained using linear programming. The optimal switching times and optimal continuous control inputs are computed and used in order to derive the optimal hybrid controller. Our results areapplied to an air traffic management example.

KW - hybrid automata

KW - quantifier elimination

KW - time optimal control

M3 - Paper

T2 - Proceedings of the 7th IFAC International Workshop on Discrete Event Systems

Y2 - 22 September 2004 through 24 September 2004

ER -

On weighted time optimal control for linear hybrid automata using quantifier elimination

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this