Strathprints Home | Open Access | Browse | Search | User area | Copyright | Help | Library Home | SUPrimo

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, Las Vegas.

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.

Item type: Conference or Workshop Item (Paper)
ID code: 6217
Keywords: automata theory, batch processing (industrial), control system synthesis, evaporation, nonlinear dynamical systems, process control, reachability analysis, safety systems, Mechanical engineering and machinery
Subjects: Technology > Mechanical engineering and machinery
Department: Faculty of Engineering > Mechanical and Aerospace Engineering
Related URLs:
Depositing user: Strathprints Administrator
Date Deposited: 05 Jun 2008
Last modified: 17 Jul 2013 15:00
URI: http://strathprints.strath.ac.uk/id/eprint/6217

Actions (login required)

View Item