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

Author

Trontis, Anastasios ; Spathopoulos, Michael P.

Author_Institution

Dept. of Mech. Eng., Strathclyde Univ., Glasgow, UK

Volume

2

fYear

2002

fDate

10-13 Dec. 2002

Firstpage

1601

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.

Keywords

automata theory; batch processing (industrial); control system synthesis; evaporation; nonlinear dynamical systems; process control; reachability analysis; safety systems; Hamilton-Jacobi equation; batch evaporator; controlled automaton; emergency shut-down sequence design; hybrid automata; hybrid systems; level set methods; nonlinear continuous dynamics; reachability analysis; reachable set boundary; state space; supervisory control synthesis; switching controller; target control; target control problem; target set; viscosity solution; zero level set; Automata; Automatic control; Control system synthesis; Control systems; Level set; Reachability analysis; State-space methods; Supervisory control; Trajectory; Viscosity;

fLanguage

English

Publisher

ieee

Conference_Titel

Decision and Control, 2002, Proceedings of the 41st IEEE Conference on

ISSN

0191-2216

Print_ISBN

0-7803-7516-5

Type

conf

DOI

10.1109/CDC.2002.1184748

Filename

1184748