Picture map of Europe with pins indicating European capital cities

Open Access research with a European policy impact...

The Strathprints institutional repository is a digital archive of University of Strathclyde's Open Access research outputs. Strathprints provides access to thousands of Open Access research papers by Strathclyde researchers, including by researchers from the European Policies Research Centre (EPRC).

EPRC is a leading institute in Europe for comparative research on public policy, with a particular focus on regional development policies. Spanning 30 European countries, EPRC research programmes have a strong emphasis on applied research and knowledge exchange, including the provision of policy advice to EU institutions and national and sub-national government authorities throughout Europe.

Explore research outputs by the European Policies Research Centre...

Hybrid control synthesis for eventuality specifications using level set methods

Trontis, A. and Spathopoulos, M.P. (2003) Hybrid control synthesis for eventuality specifications using level set methods. International Journal of Control, 76 (16). pp. 1599-1627. ISSN 0020-7179

Full text not available in this repository. Request a copy from the Strathclyde author


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.