First we define a new type of transition system in which states are symbolic (i.e., we should think of them as distributions on concrete states) and transitions are probabilistic. Apart from the intended meaning of states, this system type is equivalent to a special case of Segala’s general PA. We propose a (non-deterministic) composition mechanism for this system type, as well as trace distrib...

We use two surveys to describe the demographic and attitudinal correlates of being in "Living Apart Together" (LAT), cohabiting, and marital relationships for heterosexuals, lesbians, and gay men. About one third of U.S. adults not married or cohabiting are in LAT relationships - these individuals would be classified as "single" in conventional studies that focus on co-residential unions. Gay m...

despite providing robustness, high-gain observers impose a peaking phenomenon, which may cause instability, on the system states. in this paper, an adaptive saturation is proposed to attenuate the undesirable mentioned phenomenon in high-gain observers. a real-valued and differentiable sigmoid function is considered as the saturating element whose parameters (height and slope) are adaptively tu...

In this paper, a dynamical multiple criteria model of integrated adaptive planning and scheduling for complex technical – organizational system (CTOS) is presented. Various types of CTOS are used nowadays, for example: virtual enterprises, supply chains, telecommunication systems, etc. Hereafter, we mostly interpret CTOS as the systems of the above-mentioned types. The above-mentioned CTOS pecu...