Verification of Piecewise Linear Switched Systems using Abstractions
1999 (English)In: Proceedings of the 1999 American Control Conference, 1999, 2967-2968 vol.4 p.Conference paper (Refereed)
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
1999. 2967-2968 vol.4 p.
Control system analysis, Linear systems, Modeling, Time-varying systems
Engineering and Technology Control Engineering
IdentifiersURN: urn:nbn:se:liu:diva-91173DOI: 10.1109/ACC.1999.786618ISBN: 0-7803-4990-3OAI: oai:DiVA.org:liu-91173DiVA: diva2:617308
1999 American Control Conference, San Diego, CA, USA, June, 1999