### Abstract

Language | English |
---|---|

Number of pages | 6 |

Publication status | Published - Sep 2004 |

Event | Proceedings of the 7th IFAC International Workshop on Discrete Event Systems - Reims, France Duration: 22 Sep 2004 → 24 Sep 2004 |

### Conference

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

City | Reims, France |

Period | 22/09/04 → 24/09/04 |

### Fingerprint

### Keywords

- hybrid automata
- quantifier elimination
- time optimal control

### Cite this

*On weighted time optimal control for linear hybrid automata using quantifier elimination*. Paper presented at Proceedings of the 7th IFAC International Workshop on Discrete Event Systems, Reims, France, .

}

**On weighted time optimal control for linear hybrid automata using quantifier elimination.** / Pang, Yan; Spathopoulos, Michael P.

Research output: Contribution to conference › Paper

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

ER -