We propose a process algebra obtained by extending a combination of the process algebra with continuous relative timing from Baeten and Middelburg [Process Algebra with Timing, Springer, Chap. 4, 2002] and the process algebra with propositional signals from Baeten and Bergstra [Theoretical Computer Science 177:381–405, 1997]. The proposed process algebra makes it possible to deal with the behav...

Modeling and control of hybrid systems, with particular emphasis on process control applications, are considered in this article. Based on a number of observations on typical mixed discrete and continuous features for such applications, a fairly general model structure for hybrid systems is proposed. This model structure, which clearly separates the open loop plant from the closed loop system, ...

In aquaculture, the process of hybridization is used to produce animals that have better growth rates, meat quality, and higher resistance and tolerance to environmental variations than their parental species. The identification of a hybrid fish may require a DNA-based technology that is an expensive process. In this study, the sagittal otolith shape of hatchery-reared brook trout (Salvelinus f...

this paper proposes a novel hybrid algorithm namely apso-bfo which combines merits of bacterial foraging optimization (bfo) algorithm and adaptive particle swarm optimization (apso) algorithm to determine the optimal pid parameters for control of nonlinear systems. to balance between exploration and exploitation, the proposed hybrid algorithm accomplishes global search over the whole search spa...