This paper addresses the exact computation of the set of reachable states of a strongly linear hybrid system. It proposes an approach that is an extension of classical state-space exploration. This approach uses a new operation, based on a cycle analysis in the control graph of the system, for generating sets of reachable states, as well as a powerful representation system for sets of values. T...

With the ubiquitous use of computers in controlling physical systems, it requires to have a new formalism that could model both continuous flows and discrete jumps. Hybrid systems are introduced to this purpose. A hybrid system, which is modeled by a hybrid automaton in the thesis, is equipped with finitely many discrete modes and continuous real-valued variables. A state of it is then represen...

Hybrid systems has attracted the attention of many researchers in the recent years because of their ability to capture the mixed continuous and discrete dynamics of many real systems. In the recent years many work has been devoted to the formalization of such models and to the control of systems presenting hybrid dynamics. But the identification of systems based on hybrid models has not coped a...

Design analysis of Cyber-Physical Systems (CPS) with complex continuous and discrete behaviors, in-practice, relies heavily on numerical simulations. While useful for evaluation and debugging, such analysis is often incomplete owing to the nondeterminism in the discrete transitions and the uncountability of the continuous space. In this paper, we present a precise notion of simulations for CPS ...

In this paper, we analyze complemented group Cellular Automata (CA) derived from Linear Hybrid Group CA with rules 60, 102 and 204. We analyze some properties of the CA. And we give rule vectors which determine the state transition of the CA dividing the entire state space into smaller spaces of equal lengths, and find conditions for the complement vectors corresponding to the rule vectors. And...

Data security is an important area of concern for every computer system owner. An intrusion detection system is a device or software application that monitors a network or systems for malicious activity or policy violations. Already various techniques of artificial intelligence have been used for intrusion detection. The main challenge in this area is the running speed of the available implemen...

In this paper, a continuous hybrid differentiator is presented based on a strong Lyapunov function. The differentiator design can not only reduce sufficiently chattering phenomenon of derivative estimation by introducing a perturbation parameter, but also the dynamical performances are improved by adding linear correction terms to the nonlinear ones. Moreover, strong robustness ability is obtai...

We present results on symbolic reachability analysis for hybrid systems with linear autonomous dynamics in each location.

This paper presents performance analysis of an adaptive Volterra/Hybrid equalizer in a nonlinear magneto-optic data storage channel. In a data storage system, nonlinear intersymbol interference (ISI) is one of the limiting factors for high storage density. Volterra and Hybrid (combination of linear and Volterra) equalizers are proposed and developed for compensation of nonlinear ISI. The use of...

this paper proposes a suitable benchmark for inefficient commercial bank branches by using data envelopment analysis (dea). in order to render an inefficient bank branch efficient, it is necessary to decrease inputs and increase outputs. as there are priorities for decreasing some certain inputs and increasing some certain outputs over other inputs and outputs, respectively, it is necessary to ...