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
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}} |