Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

14

BIRTHDAY
2008
Springer

favoriteEmaildiscussreport

117views Applied Computing» more BIRTHDAY 2008»

Checking Temporal Properties of Discrete, Timed and Continuous Behaviors

13 years 6 months ago

Checking Temporal Properties of Discrete, Timed and Continuous Behaviors

Download www-verimag.imag.fr

We survey some of the problems associated with checking whether a given behavior (a sequence, a Boolean signal or a continuous signal) satisfies a property specified in an appropriate temporal logic and describe two such monitoring algorithms for the real-time logic MITL.

Oded Maler, Dejan Nickovic, Amir Pnueli

Real-time Traffic

Applied Computing | Appropriate Temporal Logic | BIRTHDAY 2008 | Boolean Signal | Real-time Logic Mitl |

claim paper

Related Content

» Model Checking Liveness Properties of Genetic Regulatory Networks

» Symbolic Simulation of Hybrid Systems

» Formal Modeling and DiscreteTime Analysis of BPEL Web Services

» Approximation of stationary statistical properties of dissipative dynamical systems Time d...

» Bounded Parametric Verification for Distributed Time Petri Nets with DiscreteTime Semantic...

» On simulationbased probabilistic model checking of mixedanalog circuits

» Receding horizon temporal logic planning for dynamical systems

» Verifying Quantitative Properties of Continuous Probabilistic Timed Automata

» AMT A PropertyBased Monitoring Tool for Analog Systems

Post Info
More Details (n/a)

Added	12 Oct 2010
Updated	12 Oct 2010
Type	Conference
Year	2008
Where	BIRTHDAY
Authors	Oded Maler, Dejan Nickovic, Amir Pnueli

Comments (0)