MTL robust testing and verification for LPV systems

Georgios E. Fainekos, George J. Pappas

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Scopus citations


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.

Original languageEnglish (US)
Title of host publication2009 American Control Conference, ACC 2009
Number of pages6
StatePublished - 2009
Externally publishedYes
Event2009 American Control Conference, ACC 2009 - St. Louis, MO, United States
Duration: Jun 10 2009Jun 12 2009

Publication series

NameProceedings of the American Control Conference
ISSN (Print)0743-1619


Other2009 American Control Conference, ACC 2009
Country/TerritoryUnited States
CitySt. Louis, MO

ASJC Scopus subject areas

  • Electrical and Electronic Engineering


Dive into the research topics of 'MTL robust testing and verification for LPV systems'. Together they form a unique fingerprint.

Cite this