DocumentCode
343390
Title
Verification of piecewise linear switched systems using abstractions
Author
Einarsson, Valur ; Glad, Torkel
Author_Institution
Linkoping Univ., Sweden
Volume
4
fYear
1999
fDate
1999
Firstpage
2967
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;
fLanguage
English
Publisher
ieee
Conference_Titel
American Control Conference, 1999. Proceedings of the 1999
Conference_Location
San Diego, CA
ISSN
0743-1619
Print_ISBN
0-7803-4990-3
Type
conf
DOI
10.1109/ACC.1999.786618
Filename
786618
Link To Document