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

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.

Original languageEnglish (US)
Title of host publication2009 American Control Conference, ACC 2009
Pages3748-3753
Number of pages6
DOIs
StatePublished - 2009
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

Other

Other2009 American Control Conference, ACC 2009
CountryUnited States
CitySt. Louis, MO
Period6/10/096/12/09

ASJC Scopus subject areas

  • Electrical and Electronic Engineering

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

Cite this