In real-world design and veriication of concurrent systems with many identical processes, the number of processes is never a factor in the system correctness. This paper embodies such an engineering reasoning to propose an almost automatic method to safely verify safety properties of such systems. The central idea is to construct a nite collective quotient structure (CQS) which collapses state-...

PIECEWISE LINEAR DYNAMIC PROGRAMS WITH APPLICATIONS Katsushige Sawaki Nanzan University (Received May 22, 1978; Revised May 11, 1979) This paper considers a special class of dynamic programs which satisfies the monotone and contraction assumptions. This class of dynamic programs is charaC1:erized by the piecewise linearity that the cost function is piecewise linear whenever the terminal cost fu...

The paper deals with the modelling of dynamical processes based on Soft Computing methods. The structure of a Dynamic Fuzzy Model is illustrated on a linear dynamic system of first order. The influence of impreciseness of the characteristic map is demonstrated on an oscillating non-linear model. At last the results of simulation are valuated.

Operational variables of a mineral processing circuit are subjected to different variations. Steady-statesimulation of processes provides an estimate of their ideal stable performance whereas their dynamicsimulation predicts the effects of the variations on the processes or their subsequent processes. In thispaper, a dynamic simulator containing some of the major equipment of mineral processing...

Recent research in image and video recognition indicates that many visual processes can be thought of as being generated by a time-varying generative model. A nearby descriptive model for visual processes is thus a statistical distribution that varies over time. Specifically, modeling visual processes as streams of histograms generated by a kernelized linear dynamic system turns out to be effic...

In practice, all physical processes exhibit some non-linear behaviour. Furthermore, when a process shows strong non-linear behaviour, a linear model may be inadequate; a non-linear model will be more realistic. Unfortunately, this improved closeness to reality is attained at a cost: the convenience and simplicity offered by the linear model is sacrificed. Since many processes exhibit only mildl...