Methods for Verification of Piecewise Linear Systems
1998 (English)In: Proceedings of the First Conference on Computer Science and Systems Engineering, 1998, 237-248 p.Conference paper (Other academic)
A modeling framework for the class of piecewise linear switched systems is presented. This is done combining classical ordinary differential equations (ODE:s) and logic. Methods for abstracting away from the details of ODE:s using conservative discrete approximations are discussed and DEDS methods are used for verifying specifications. A fairly complex example is treated, the main result being that fully automated verification appears to be successful for models in this class.
Place, publisher, year, edition, pages
1998. 237-248 p.
Ordinary differential equations, Linear systems
Engineering and Technology Control Engineering
IdentifiersURN: urn:nbn:se:liu:diva-91167OAI: oai:DiVA.org:liu-91167DiVA: diva2:617386
First Conference on Computer Science and Systems Engineering, Kolmården, Sweden, March, 1998