18th International Conference on Process Control

Safety Verification of Rule-Based Controllers

M. Paulovič, M. Kvasnica, A. Szucs, M. Fikar
Slovak University of Technology in Bratislava

Abstract

This paper proposes how to transform a control algorithm, written in MATLAB, into a hybrid system in order to verify its stability properties. The procedure first converts the code into a corresponding HYSDEL equivalent, which is then used to generate a suitable mathematical model. Safety verification is then formulated as a mixed integer linear program with feasibility objective.

Full paper

055.pdf

Session

Algorithms and Computing for Control (Poster)

Reference

Paulovič, M.; Kvasnica, M.; Szucs, A.; Fikar, M.: Safety Verification of Rule-Based Controllers. Editors: Fikar, M. and Kvasnica, M., In Proceedings of the 18th International Conference on Process Control, Tatranská Lomnica, Slovakia, June 14 – 17, 278–283, 2011.

BibTeX
@inProceedings{pc2011-055,
author = {Paulovi\v{c}, M. and Kvasnica, M. and Szucs, A. and Fikar, M.},
title = {Safety Verification of Rule-Based Controllers},
booktitle = {Proceedings of the 18th International Conference on Process Control},
year = {2011},
pages = {278-283},
editor = {Fikar, M. and Kvasnica, M.},
address = {Tatransk\'a Lomnica, Slovakia},
publisher = {Slovak University of Technology in Bratislava},
url = {http://www.kirp.chtf.stuba.sk/pc11/data/papers/055.pdf}}
© 2011 Institute of Information Engineering, Automation and Mathematics, FCFT STU in Bratislava. All rights reserved.