DocumentCode
2461370
Title
MTL robust testing and verification for LPV systems
Author
Fainekos, Georgios E. ; Pappas, George J.
Author_Institution
GRASP Lab., Univ. of Pennsylvania, Philadelphia, PA, USA
fYear
2009
fDate
10-12 June 2009
Firstpage
3748
Lastpage
3753
Abstract
This paper deals with the robust metric temporal logic (MTL) testing and verification of linear systems with parametric uncertainties. This is a very general class of systems that includes not only linear time invariant (LTI) systems with unknown constant parameters, but also linear time varying (LTV) systems and certain classes of nonlinear systems through abstraction. The two main tools for the solution of this problem are the approximate bisimulation relations and a notion of robustness for temporal logic formulas.
Keywords
linear systems; logic testing; nonlinear systems; temporal logic; uncertain systems; LPV systems; MTL robust testing; MTL robust verification; approximate bisimulation relations; linear time varying systems; metric temporal logic; nonlinear systems; Control systems; Electrical equipment industry; Linear systems; Logic testing; Nonlinear systems; Robust control; Robustness; System testing; Time varying systems; Uncertainty;
fLanguage
English
Publisher
ieee
Conference_Titel
American Control Conference, 2009. ACC '09.
Conference_Location
St. Louis, MO
ISSN
0743-1619
Print_ISBN
978-1-4244-4523-3
Electronic_ISBN
0743-1619
Type
conf
DOI
10.1109/ACC.2009.5159969
Filename
5159969
Link To Document