A framework based on the notion of “conflict-tolerance ” was proposed in [3, 4] as a compositional methodology for developing and reasoning about systems that are composed of 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 specifying conflict-tolerant real-time controllers in Metric Interval Temporal Logic (MITL). We call our logic CT-MITL for Conflict-Tolerant MITL. We consider the associated verification and synthesis problems for CT-MITL and give decision procedures to solve them.
