Synthesis of controllers for target problems of hybrid systems using appropriate computation

Y. Pang, M.P. Spathopoulos

Research output: Contribution to journalArticle

3 Citations (Scopus)

Abstract

This paper presents methodologies based on approximate computations for the target control problem of hybrid systems modelled by hybrid automata. The problem of backward reachability and its relation to the control synthesis is studied using approximate analysis techniques. The reachability operators, considering non-linear and linear dynamics with affine disturbances, are under-approximated using state space discretization that involves hyper-cubes. The timing information provided by the backward reachability computation is used in order to design a sub-optimal controller. The computational techniques are applied to the batch evaporator benchmark process which has practical interest.
Original languageEnglish
Pages (from-to)1466-1485
Number of pages19
JournalInternational Journal of Control
Volume78
Issue number18
DOIs
Publication statusPublished - 15 Dec 2005

Fingerprint

Hybrid systems
Controllers
Evaporators

Keywords

  • control engineering
  • dynamical systems
  • control systems
  • hybrid systems

Cite this

@article{be0747b96c0c48fb9c27e772bf5f9d23,
title = "Synthesis of controllers for target problems of hybrid systems using appropriate computation",
abstract = "This paper presents methodologies based on approximate computations for the target control problem of hybrid systems modelled by hybrid automata. The problem of backward reachability and its relation to the control synthesis is studied using approximate analysis techniques. The reachability operators, considering non-linear and linear dynamics with affine disturbances, are under-approximated using state space discretization that involves hyper-cubes. The timing information provided by the backward reachability computation is used in order to design a sub-optimal controller. The computational techniques are applied to the batch evaporator benchmark process which has practical interest.",
keywords = "control engineering, dynamical systems, control systems, hybrid systems",
author = "Y. Pang and M.P. Spathopoulos",
year = "2005",
month = "12",
day = "15",
doi = "10.1080/00207170500361235",
language = "English",
volume = "78",
pages = "1466--1485",
journal = "International Journal of Control",
issn = "0020-7179",
number = "18",

}

Synthesis of controllers for target problems of hybrid systems using appropriate computation. / Pang, Y.; Spathopoulos, M.P.

In: International Journal of Control, Vol. 78, No. 18, 15.12.2005, p. 1466-1485.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Synthesis of controllers for target problems of hybrid systems using appropriate computation

AU - Pang, Y.

AU - Spathopoulos, M.P.

PY - 2005/12/15

Y1 - 2005/12/15

N2 - This paper presents methodologies based on approximate computations for the target control problem of hybrid systems modelled by hybrid automata. The problem of backward reachability and its relation to the control synthesis is studied using approximate analysis techniques. The reachability operators, considering non-linear and linear dynamics with affine disturbances, are under-approximated using state space discretization that involves hyper-cubes. The timing information provided by the backward reachability computation is used in order to design a sub-optimal controller. The computational techniques are applied to the batch evaporator benchmark process which has practical interest.

AB - This paper presents methodologies based on approximate computations for the target control problem of hybrid systems modelled by hybrid automata. The problem of backward reachability and its relation to the control synthesis is studied using approximate analysis techniques. The reachability operators, considering non-linear and linear dynamics with affine disturbances, are under-approximated using state space discretization that involves hyper-cubes. The timing information provided by the backward reachability computation is used in order to design a sub-optimal controller. The computational techniques are applied to the batch evaporator benchmark process which has practical interest.

KW - control engineering

KW - dynamical systems

KW - control systems

KW - hybrid systems

UR - http://dx.doi.org/10.1080/00207170500361235

U2 - 10.1080/00207170500361235

DO - 10.1080/00207170500361235

M3 - Article

VL - 78

SP - 1466

EP - 1485

JO - International Journal of Control

JF - International Journal of Control

SN - 0020-7179

IS - 18

ER -