Conflict-Tolerant Real-Time Specifications in Metric Temporal Logic

Divakaran, Sumesh and Mohan, Raj M (2010) Conflict-Tolerant Real-Time Specifications in Metric Temporal Logic. In: 2010 17th International Symposium on Temporal Representation and Reasoning (TIME), 6-8 Sept. 2010, Paris.

PDF Conflict-Tolerant.pdf - Published Version Restricted to Registered users only Download (264kB) | Request a copy

Abstract

A framework based on the notion of "conflict-tolerance" was proposed in as a compositional methodology for developing and reasoning about systems that comprise multiple independent controllers. A central notion in this framework is that of a "conflict-tolerant" specification for a controller. In this work we propose a way of defining conflict-tolerant real-time specifications in Metric Interval Temporal Logic (MITL). We call our logic CT-MITL for Conflict-Tolerant MITL. We then give a clock optimal "delay-then-extend" construction for building a timed transition system for monitoring past-MITL formulas. We show how this monitoring transition system can be used to solve the associated verification and synthesis problems for CT-MITL.

Item Type:	Conference Paper
Publisher:	IEEE
Additional Information:	Copyright 20 IEEE. Personal use of this material is permitted.However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
Department/Centre:	Division of Electrical Sciences > Computer Science & Automation
Date Deposited:	20 Dec 2011 06:28
Last Modified:	20 Dec 2011 06:28
URI:	http://eprints.iisc.ac.in/id/eprint/39114

Actions (login required)

View Item