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.
Conflict-Tolerant.pdf - Published Version
Restricted to Registered users only
Download (258Kb) | Request a copy
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|
|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 (Formerly, School of Automation)|
|Date Deposited:||20 Dec 2011 06:28|
|Last Modified:||20 Dec 2011 06:28|
Actions (login required)