199 search results - page 10 / 40 » A Fully Abstract Model for Graph-Interpreted Temporal Logic |
110
Voted
FORMATS
2008
Springer
15 years 3 months ago
2008
Springer
This paper investigates the properties of Metric Temporal Logic (MTL) over models in which time is dense but phenomena are constrained to have bounded variability. Contrary to the ...
114
click to vote
CDC
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract-- We present a computational framework for identifying a set of initial states from which all trajectories of a piecewise affine (PWA) system satisfy a Linear Temporal Log...
120
click to vote
CORR
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. Metric Temporal Logic (MTL) is a prominent specification formalism for realtime systems. In this paper, we show that the satisfiability problem for MTL over finite tim...
130
click to vote
FORMATS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
127
Voted
ASIAN
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We present a logic-based framework to evaluate the resilience of computer networks in the face of incidents, i.e., attacks from malicious intruders as well as random faul...