In this article, a new approach is proposed to include parametric uncertainties in the analysis of transient stability power systems by using intervals. Two methodologies based on interval were developed and implemented: (i) robust extension potential energy boundary surface method combined with arithmetic (ii) an optimization formulation for problem. The enable one obtain closed-form expressio...

Interval Logics for Temporal Speci cation and Veri cation by Y. S. Ramakrishna This thesis investigates temporal speci cation and veri cation techniques using a linear-time temporal logic with interval constructs. It identi es an expressive elementary logic with interval modalities, called Future Interval Logic (FIL). This logic has a natural graphical representation which, combined with its ab...

The sensitivity of linear systems is often expressed in terms of condition numbers, e.g., the ordinary, the effective, or the local condition number, all of which are computed via singular value decomposition. We express the sensitivity of linear systems by using interval methods, and by means of experiments using three particularly suitable systems we indicate which condition numbers are relev...

A method is presented for guaranteeing robust steady-state operation of chemical processes using a model-based approach, taking into account uncertainty in the model parameters and disturbances in the process inputs. Intractable bilevel optimization formulations have been proposed for this problem in the past. A new approach is presented in which the equality constraints (process model equation...

Two complementary interval-valued probabilistic reasoning approaches, the incidence calculus proposed by Bundy and the cautious probabilistic reasoning method suggested by Quinlan, are analyzed and compared in this study. The correspondences are drawn between the sets of inference axioms employed by each model. In incidence calculus, the set of inference axioms produces the tightest probability...