TY - GEN
T1 - Robust sampling for MITL specifications
AU - Fainekos, Georgios E.
AU - Pappas, George J.
PY - 2007
Y1 - 2007
N2 - Real-time temporal logic reasoning about trajectories of physical systems necessitates models of time which are continuous. However, discrete time temporal logic reasoning is computationally more efficient than continuous time. Moreover, in a number of engineering applications only discrete time models are available for analysis. In this paper, we introduce a framework for testing MITL specifications on continuous time signals using only discrete time analysis. The motivating idea behind our approach is that if the dynamics of the signal fulfills certain conditions and the discrete time signal robustly satisfies the MITL specification, then the corresponding continuous time signal should also satisfy the same MITL specification.
AB - Real-time temporal logic reasoning about trajectories of physical systems necessitates models of time which are continuous. However, discrete time temporal logic reasoning is computationally more efficient than continuous time. Moreover, in a number of engineering applications only discrete time models are available for analysis. In this paper, we introduce a framework for testing MITL specifications on continuous time signals using only discrete time analysis. The motivating idea behind our approach is that if the dynamics of the signal fulfills certain conditions and the discrete time signal robustly satisfies the MITL specification, then the corresponding continuous time signal should also satisfy the same MITL specification.
UR - http://www.scopus.com/inward/record.url?scp=38149116993&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=38149116993&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-75454-1_12
DO - 10.1007/978-3-540-75454-1_12
M3 - Conference contribution
AN - SCOPUS:38149116993
SN - 9783540754534
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 147
EP - 162
BT - Formal Modeling and Analysis of Timed Systems - 5th International Conference, FORMATS 2007, Proceedings
PB - Springer Verlag
T2 - 5th International Conference on Formal Modelling and Analysis of Timed Systems, FORMATS 2007
Y2 - 3 October 2007 through 5 October 2007
ER -