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