The main problem encountered when starting verification of goals for some formal system, is the ambiguity of those goals when they are specified in natural language. To verify goals given in natural language, a translation of those goals to the formalism of the verification tool is required. The main concern is to assure equivalence of the final translation and the original. A structured method...

In this paper, a hybrid model of a gasification unit is presented, using linear representations and a discrete events (DES) supervisor based on automata. This supervisor chooses the best linear description at the occurrence of variations of plant’s operative conditions, to assure the best prediction performance. Performances of the proposed hybrid model are discussed. Copyright © 2005 IFAC

In this component of the evaluation, the Circles of Care grantees assessed the feasibility of their model systems of care. The goal of the Feasibility Assessment was to assure that each model system of care was well designed with careful consideration of project goals, community resources and readiness, cultural competence and measurable outcomes.

As more computing systems are utilized in various areas of our society, the reliability of computing systems becomes a significant issue. However, as the complexity of computing systems increases, conventional verification and validation techniques such as testing and model checking have limitations to assess reliability of complex safety critical systems. Such systems often control highly comp...

A delayed predator-prey model with diffusion and competition is proposed. Some sufficient conditions on uniform persistence of the model have been obtained. By applying LiapunovRazumikhin technique, we will point out, under almost periodic circumstances, a set of sufficient conditions that assure the existence and uniqueness of the positive almost periodic solution which is globally asymptotica...