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...

In this article, we present algorithms devised for the automatic verification of UML(Unified Modeling Language) statechart models. The basic algorithm checks the safety property violation during the construction (onthe-fly) of the state space graph and if any property violation is found, it generates a counter example. The second algorithm builds the state space considering only those events, w...

In time series problems, noise can be divided into two categories: dynamic noise which drives the process, and observational noise which is added in the measurement process, but does not influence future values of the system. In this framework, we show that empirical volatilities (the squared relative returns of prices) exhibit a significant amount of observational noise. To model and predict t...

in this paper, a two-surfaces sliding mode controller (tssmc) is proposed for the voltage tracking control of a two input dc-dc converter in application of electric vehicles (evs). the imperialist competitive algorithm (ica) is used for tuning tssmc parameters. the proposed controller significantly improves the transient response and disturbance rejection of the two input converters while prese...

In this paper, a new state-space method for language modeling is presented. The complexity of the model is controlled by choosing the dimension of the state instead of the smoothing and back-off methods common in n-gram modeling. The model complexity also controls the generalization ability of the model, allowing the model to handle similar words in similar manner. We compare the state-space mo...

Binaural displays for immersive listening must model reverberant environments, multiple sound sources, and accommodate source and head motion. Many displays model such phenomena as a collection of spatially distributed point sources; source signals are filtered with multiple head-related transfer functions (HRTFs) and then combined into a single binaural signal for display. The computational lo...

A new method has been developed to compute the probability that each amino acid in a protein sequence is in a particular secondary structural element. Each of these probabilities is computed using the entire sequence and a set of predefined structural class models. This set of structural classes is patterned after Jane Richardson's taxonomy for the domains of globular proteins. For each structu...

Automated planning for numerous co-existing agents, with uncertainty caused by various levels of their predictability, observability and autonomy, is a complex task. One of the most significant issues is related to explosion of the state space. This paper presents a formal framework which can be used to model such systems and proposes the use of formally-modeled agents’ preferences as a way of ...

Analyzing the impact of environment on drivers’ stress level and workload is high importance for designing human-centered driver-vehicle interaction systems to ultimately help build a safer driving experience. However, driver’s state, including workload, are latent variables that cannot be measured their own should estimated through sensor measurements such as psychophysiological measures. We p...