Robust Sampling for MITL Specifications

Loading...
Thumbnail Image
Penn collection
Departmental Papers (ESE)
General Robotics, Automation, Sensing and Perception Laboratory
Degree type
Discipline
Subject
GRASP
Funder
Grant number
License
Copyright date
Distributor
Related resources
Author
Fainekos, Georgios E
Contributor
Abstract

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.

Advisor
Date of presentation
2007-10-03
Conference name
Departmental Papers (ESE)
Conference dates
2023-05-17T02:01:46.000
Conference location
Date Range for Data Collection (Start Date)
Date Range for Data Collection (End Date)
Digital Object Identifier
Series name and number
Volume number
Issue number
Publisher
Publisher DOI
Journal Issue
Comments
Postprint version. Published in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Volume 4763, Formal Modeling and Analysis of Timed Systems - 5th International Conference, FORMATS 2007, Proceedings, October 2007, pages 147-162.
Recommended citation
Collection