Picture of person typing on laptop with programming code visible on the laptop screen

World class computing and information science research at Strathclyde...

The Strathprints institutional repository is a digital archive of University of Strathclyde's Open Access research outputs. Strathprints provides access to thousands of Open Access research papers by University of Strathclyde researchers, including by researchers from the Department of Computer & Information Sciences involved in mathematically structured programming, similarity and metric search, computer security, software systems, combinatronics and digital health.

The Department also includes the iSchool Research Group, which performs leading research into socio-technical phenomena and topics such as information retrieval and information seeking behaviour.

Explore

Supervisory target control for hybrid systems

Trontis, A. and Spathopoulos, M.P. (2003) Supervisory target control for hybrid systems. International Journal of Control, 76 (11). pp. 1142-1158. ISSN 0020-7179

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

Abstract

The problem of systematically synthesizing supervisory control laws that satisfy eventuality and efficiency requirements for hybrid systems modelled by hybrid automata is considered. Here, the efficiency requirement is specified by weighting the discrete transitions of the system. The optimization of the efficiency requirement is considered in the min-max sense due to the existence of disturbance inputs. Adopting a game theoretic approach, the high priority eventuality requirement is considered first and the class of controls, in which the low priority efficiency requirement should be optimized, is obtained. Then, a dynamic programming algorithm, which determines the value function of the optimization problem, is derived. A synthesis problem on a simplified batch process plant is considered to illustrate a potential application of the approach.