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.

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.

• Share and Export
  

  RDF+XMLRDF+N3EP3 XMLMETSASCII CitationRefWorksMultiline CSVRDF+N-TriplesReferDublin CoreRIOXX2 XMLSimple MetadataOpenURL ContextObject in SpanHTML CitationEndNoteMODSRIS (EndNote Online, Zotero, Ref manager, etc)JSONAtomMPEG-21 DIDLData Cite XMLBibTeXOpenURL ContextObject
• Item metadata

  Item type:	Conference or Workshop Item(Paper)
  ID code:	6217
  Dates:	Date Event December 2002 Published
  Subjects:	Technology > Mechanical engineering and machinery
  Department:	Faculty of Engineering > Mechanical and Aerospace Engineering
  Depositing user:	Strathprints Administrator
  Date deposited:	05 Jun 2008
  Last modified:	11 Nov 2024 16:13
  Related URLs:	http://ieeexplore.ieee.org/iel5/8437/265...
  URI:	https://strathprints.strath.ac.uk/id/eprint/6217