We consider a discretization based approach to controller synthesis of hybrid systems that allows to handle non-linear dynamics. In such an approach, states are grouped together in a finite index partition at the price of a non-deterministic over approximation of the transition relation. The main contribution of this work is a technique to reduce the state explosion generated by the discretizat...

FUNCTION Mass/energy flow and balance GENERAL FUNCTION Flow and storage of heat, etc. PHYSICAL FUNCTION States of components what? what? what? what? what?

The need for non-destructive evaluation (NDE) technologies for maintenance of complex welded structures such as pressure vessels, load bearing structural members and power plants has long been recognized. This paper presents an application of data mining approach for weld data extracted from reported radiographic images. Data mining is the extraction of implicit, previously unknown and potentia...

in this article a graph theoretical approach is employed to study some specifications of dynamic systems with time delay in the inputs and states, such as structural controllability and observability. first, the zero and non-zero parameters of a proposed system have been determined, next the general structure of the system is presented by a graph which is constructed by non-zero parameters. the...