A Theory of Sampling for Continuous-time Metric Temporal Logic

Details A Theory of Sampling for Continuous-time Metric Temporal Logic A Theory of Sampling for Continuous-time Metric Temporal Logic

2009-11-30

arxiv.org/abs/0911.5642v2

Computer Science

Logic in Computer Science

Revised version, 43 pages.

Scientific paper

This paper revisits the classical notion of sampling in the setting of real-time temporal logics for the modeling and analysis of systems. The relationship between the satisfiability of Metric Temporal Logic (MTL) formulas over continuous-time models and over discrete-time models is studied. It is shown to what extent discrete-time sequences obtained by sampling continuous-time signals capture the semantics of MTL formulas over the two time domains. The main results apply to "flat" formulas that do not nest temporal operators and can be applied to the problem of reducing the verification problem for MTL over continuous-time models to the same problem over discrete-time, resulting in an automated partial practically-efficient discretization technique.

Affiliated with

Also associated with

No associations

Rating

A Theory of Sampling for Continuous-time Metric Temporal Logic does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A Theory of Sampling for Continuous-time Metric Temporal Logic, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Theory of Sampling for Continuous-time Metric Temporal Logic will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-149308