Opacity is an information flow property characterizing whether a system reveals its secret to passive observer. Several notions of opacity have been introduced in the literature. We study language-based opacity, current-state initial-state initial-and-final-state K-step and infinite-step opacity. Comparing natural question that has investigated summarized by Wu Lafortune, who provided transform...

Model predictive control (MPC) is a very popular controller design method in the process industry. A key advantage of MPC is that it can accommodate constraints on the inputs and outputs. Usually MPC uses linear or nonlinear discrete-time models. In this paper and its companion paper (“Part II: Hybrid Systems”) we give an overview of some results in connection with MPC approaches for discrete-e...

background: cigarette smoking is one of the most important health‑related risk factors in terms of morbidity and mortality. in this study, we introduced a new method for deriving the transitional probabilities of smoking stages from a cross‑sectional study and simulated a long‑term smoking behavior for adolescents. methods: in this study in 2010, a total of 4853 high school students were random...

normal 0 false false false en-us x-none ar-sa microsoftinternetexplorer4 background: urban living and transition of illnesses, today has led hygienic centers for dedicating services to serious challenge management of an outpatient center is very difficult. worse is that the patient advice and service time is much less than waiting time. many people to avoid long waiting go to private treatment ...

in previous studies we first concentrated on utilizing crisp simulationto produce discrete event fuzzy systems simulations. then we extendedthis research to the simulation of continuous fuzzy systems models. in this paperwe continue our study of continuous fuzzy systems using crisp continuoussimulation. consider a crisp continuous system whose evolution depends ondifferential equations. such a ...

In previous studies we first concentrated on utilizing crisp simulationto produce discrete event fuzzy systems simulations. Then we extendedthis research to the simulation of continuous fuzzy systems models. In this paperwe continue our study of continuous fuzzy systems using crisp continuoussimulation. Consider a crisp continuous system whose evolution depends ondifferential equations. Such a ...

We provide an output feedback event-triggered controller for discrete-time linear systems. make novel use of positive systems, interval observers, state estimator, and triggering times that are computed from estimator values. This provides a analog our recent systems approach continuous-time A key ingredient in event triggers is their vectors absolute values, instead the usual Euclidean norm. i...