MTL Robust Testing and Verification for LPV Systems (2009)
by
Georgios E. Fainekos
,
George J. Pappas
BibTeX
@MISC{Fainekos09mtlrobust,
author = {Georgios E. Fainekos and George J. Pappas},
title = { MTL Robust Testing and Verification for LPV Systems},
year = {2009}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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.
