Conflict-Tolerant Real-Time Specifications in Metric Temporal Logic
Sumesh Divakaran, Deepak D'Souza, Raj Mohan M.

IISc-CSA-TR-2009-9
(October 2009)

Available formats: pdf

Filed on October 1, 2009
Updated on October 1, 2009


Abstract :
The conflict-tolerant framework was proposed in [DG08,DGRS08] as a methodology for developing and reasoning about systems that are composed of multiple independent controllers. In [DG08,DGRS08] annotated transition systems are used to specify conflict-tolerant features. In this work we propose a way of specifying conflict-tolerant features in Metric Interval Temporal Logic and we call our logic CT-MITL. We also give decision procedures for the verification and synthesis problems for this logic.
The abstract does not seem to be available.


Please bookmark this technical report as http://aditya.csa.iisc.ernet.in/TR/2009/9/.

Problems ? Contact techrep@csa.iisc.ernet.in
[Updated at 2009-10-22T06:42Z]