Verification of Piecewise Linear Switched Systems using Abstractions
1999 (English)Report (Other academic)
A modeling framework for the class of piecewise linear switched systems is presented. Methods for abstraction using conservative discrete approximations are introduced and model checking is used for verifying specifications. A fairly complex example is treated, the main result being that abstraction is a promising tool for fully automated verification.
Place, publisher, year, edition, pages
Linköping: Linköping University Electronic Press, 1999. , 12 p.
LiTH-ISY-R, ISSN 1400-3902 ; 2112
Control system analysis, Linear systems, Modeling, Time-varying systems
IdentifiersURN: urn:nbn:se:liu:diva-55688ISRN: LiTH-ISY-R-2112OAI: oai:DiVA.org:liu-55688DiVA: diva2:316460