Verification using Abstractions - Application to Piecewise Linear Systems
1998 (English)In: Proceedings of Reglermöte 1998, 1998Conference paper (Other academic)
A modeling framework for the class of piecewise linear switched systems is presented. This is done combining classical ordinary differential equations (ODEs) and logic. Methods for abstracting away from the details of ODEs using conservative discrete approximations are discussed and DEDS methods are used for verifying specifications. A fairly complex example is treated, the main resultbeing that fully automated verification may be successful for models in this class.
Place, publisher, year, edition, pages
Ordinary differential equations, Linear systems
IdentifiersURN: urn:nbn:se:liu:diva-91610OAI: oai:DiVA.org:liu-91610DiVA: diva2:626259
Reglermöte 1998, Lund, Sweden, June, 1998