Robust Sampling for MITL Specifications

Simple item page
dc.contributor.authorFainekos, Georgios E
dc.contributor.authorPappas, George J
dc.date2023-05-17T02:01:46.000
dc.date.accessioned2023-05-22T19:07:57Z
dc.date.available2023-05-22T19:07:57Z
dc.date.issued2007-10-03
dc.date.submitted2008-03-18T09:27:56-07:00
dc.description.abstractReal-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.
dc.description.commentsPostprint 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.
dc.identifier.urihttps://repository.upenn.edu/handle/20.500.14332/33530
dc.legacy.articleid1365
dc.legacy.fulltexturlhttps://repository.upenn.edu/cgi/viewcontent.cgi?article=1365&context=ese_papers&unstamped=1
dc.source.issue330
dc.source.journalDepartmental Papers (ESE)
dc.source.peerreviewedtrue
dc.source.statuspublished
dc.subject.otherGRASP
dc.titleRobust Sampling for MITL Specifications
dc.typePresentation
digcom.contributor.authorFainekos, Georgios E
digcom.contributor.authorisAuthorOfPublication|email:pappasg@seas.upenn.edu|institution:University of Pennsylvania|Pappas, George J
digcom.identifierese_papers/330
digcom.identifier.contextkey464620
digcom.identifier.submissionpathese_papers/330
digcom.typeconference
dspace.entity.typePublication
relation.isAuthorOfPublication00473ef0-d415-4df9-b027-00f0cf171730
relation.isAuthorOfPublication.latestForDiscovery00473ef0-d415-4df9-b027-00f0cf171730
upenn.schoolDepartmentCenterDepartmental Papers (ESE)
upenn.schoolDepartmentCenterGeneral Robotics, Automation, Sensing and Perception Laboratory
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
formats07final.pdf
Size:
298.63 KB
Format:
Adobe Portable Document Format
Download
Collection
Presentations