Kalman filtering has been widely considered for dynamic state estimation in smart grids. Despite its unique merits, the Kalman Filter (KF)-based dynamic state estimation can be undesirably influenced by cyber adversarial attacks that can potentially be launched against the communication links in the Cyber-Physical System (CPS). To enhance the security of KF-based state estimation, in this paper...

Recent developments in the design and manufacture of microcomputers together with improved simulation techniques make it possible to achieve the speed and accuracy required for the dynamic simulation of power systems in real time. This paper presents some experimental results and outlines new ideas on hardware architecture, mathematical algorithms and software development for this purpose. The ...

In many real systems in which a state variable should be controlled for being in appropriate range, the length of control (review) intervals is taken to be constant. In such systems, when the cost of reviews and out-of-range values of the state variable are considerable, this method may not be optimal. In this paper we let the length of review intervals to be variable during each operating cycl...

Due to the changes which may occur in their parameters, systems are usually demonstrated by some subsystems for different conditions. This paper employs Modified Petri Nets (MPN) to model theses subsystems and makes it simple to analyze them. In this method, first, the continuous transfer function is converted to a discrete transfer function and then, by MPN, system is modeled and analyzed. All...

in this paper we consider the problem of delay-dependent robusth1 control for uncertain fuzzy systems with time-varying delay. the takagi–sugeno (t–s) fuzzy model is used to describe such systems. time-delay isassumed to have lower and upper bounds. based on the lyapunov-krasovskiifunctional method, a sufficient condition for the existence of a robust $h_{infty}$controller is obtained. the fuzz...

in petroleum production, produced water re-injection (pwri) has earned much interest among disposal methods of the produced water. however, presence of the contaminants in the produced waters usually results in formation damage in well bores and their surrounding fracture systems. in the present study, modeling of external cake formation on a fracture in unsteady-state conditions is discussed. ...

Temporal logic model checking is an automatic technique for verifying nite-state concurrent systems. Speciications are expressed in a propositional temporal logic, and the concurrent system is modeled as a state-transition graph. An eecient search procedure is used to determine whether or not the state-transition graph sat-isses the speciication. When the technique was rst developed ten years a...