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 - Nov 23 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

    Fingerprint

ASJC Scopus subject areas

  • Electrical and Electronic Engineering

Cite this

Fainekos, G. E., & Pappas, G. J. (2009). MTL robust testing and verification for LPV systems. In 2009 American Control Conference, ACC 2009 (pp. 3748-3753). [5159969] (Proceedings of the American Control Conference). https://doi.org/10.1109/ACC.2009.5159969