MTL robust testing and verification for LPV systems
Fainekos, G.E.; Pappas, G.J.
American Control Conference, 2009. ACC apos;09.
Volume , Issue , 10-12 June 2009 Page(s):3748 - 3753
Digital Object Identifier   10.1109/ACC.2009.5159969
Summary: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.

» View citation and abstract

Log in by entering your IEEE Web Account Username and Password.

IEEE Communications Society members: If you subscribe to the IEEE Electronic Periodicals Package or IEEE Electronic Periodicals Package Plus, you must access your subscription at www.comsoc.org.

Check with your librarian, information professional, or system manager to determine if you need to log in. Please complete the online Technical Support Form if you need assistance.

Select the Purchase History link to access the document. You will have 5 Days after purchase to access the Full Text PDF. Please complete the online Technical Support Form if you need assistance.

• Search and access Abstract records free of charge
• Register for table of contents alerts
• Purchase Full Text PDF documents

» Learn more about subscription options or how to become an IEEE Member.