TY - GEN
T1 - MTL robust testing and verification for LPV systems
AU - Fainekos, Georgios E.
AU - Pappas, George J.
PY - 2009
Y1 - 2009
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=70449637804&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=70449637804&partnerID=8YFLogxK
U2 - 10.1109/ACC.2009.5159969
DO - 10.1109/ACC.2009.5159969
M3 - Conference contribution
AN - SCOPUS:70449637804
SN - 9781424445240
T3 - Proceedings of the American Control Conference
SP - 3748
EP - 3753
BT - 2009 American Control Conference, ACC 2009
T2 - 2009 American Control Conference, ACC 2009
Y2 - 10 June 2009 through 12 June 2009
ER -