End Point Non-Uniqueness in Labeled Interval Calculus Operations

Abstract

Abstract Designers must often reason quantitatively about sets of artifacts under sets of operating conditions. The labeled interval calculus (LIC) is a formal reasoning mechanism for such inferences. This paper discusses its fundamental operations in greater detail than previous publications. In particular, it provides proofs for a new and more efficient computation mechanism of these operations. Further, it details the effect of interval end point non-uniqueness not dealt with earlier, identifying the need for, and defining new operations.