End Point Non-Uniqueness in Labeled Interval Calculus Operations
Navjoat S. Bains, Daisie D. Boettner, Allen C. Ward · 1991
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.