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
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;
Conference_Titel :
American Control Conference, 2009. ACC '09.
Conference_Location :
St. Louis, MO
Print_ISBN :
978-1-4244-4523-3
Electronic_ISBN :
0743-1619
DOI :
10.1109/ACC.2009.5159969
