Picture of a black hole

Strathclyde Open Access research that creates ripples...

The Strathprints institutional repository is a digital archive of University of Strathclyde's Open Access research outputs. Strathprints provides access to thousands of research papers by University of Strathclyde researchers, including by Strathclyde physicists involved in observing gravitational waves and black hole mergers as part of the Laser Interferometer Gravitational-Wave Observatory (LIGO) - but also other internationally significant research from the Department of Physics. Discover why Strathclyde's physics research is making ripples...

Strathprints also exposes world leading research from the Faculties of Science, Engineering, Humanities & Social Sciences, and from the Strathclyde Business School.

Discover more...

The batch evaporator: a case study of target control for hybrid systems using level set methods

Trontis, A. and Spathopoulos, M.P. (2002) The batch evaporator: a case study of target control for hybrid systems using level set methods. In: 41st IEEE Conference on Decision and Control, 2002-12-10 - 2002-12-13.

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

Abstract

The batch evaporator is employed as a benchmark example of supervisory control synthesis for hybrid systems. The control objective is the design of an emergency shut-down sequence. The specification is translated into a target control problem on hybrid automata and a switching controller is proposed such that all the trajectories of the controlled automaton, which initiate from a given initial set in the state space, reach a target set. The problem is studied in a straightforward manner, through reachability analysis, considering nonlinear continuous dynamics. Level set methods are utilized, where the boundary of the reachable set is characterized as the zero level set of the viscosity solution of a Hamilton-Jacobi equation.