Verification of piecewise linear switched systems using abstractions
Valur Einarsson, Torkel Glad · 1999
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.