Title :
Verification of piecewise linear switched systems using abstractions
Author :
Einarsson, Valur ; Glad, Torkel
Author_Institution :
Linkoping Univ., Sweden
Abstract :
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
Keywords :
control system analysis; linear systems; modelling; time-varying systems; abstractions; automated verification; conservative discrete approximations; model checking; piecewise linear switched systems; specifications; Automata; Automatic control; Chemical analysis; Control system synthesis; Differential equations; Force control; Piecewise linear approximation; Piecewise linear techniques; Safety; Switched systems;
Conference_Titel :
American Control Conference, 1999. Proceedings of the 1999
Conference_Location :
San Diego, CA
Print_ISBN :
0-7803-4990-3
DOI :
10.1109/ACC.1999.786618
