In this paper, a novel methodology for analysis of piecewise linear hybrid systems based on discrete abstractions of the continuous dynamics is presented. An important characteristic of the approach is that the available control inputs are taken into consideration in order to simplify the continuous dynamics. Control specifications such as safety and reachability specifications are formulated i...

Hybrid systems are digital real-time systems that are embedded in analog environments. Model-checking tools are available for the automatic analysis of linear hybrid automata, whose environment variables are subject to piecewise-constant poly-hedral diierential inclusions. In most embedded systems, however, the environment variables have diierential inclusions that vary with the values of the v...

In this paper, a novel methodology for analysis of piecewise linear hybrid systems based on discrete abstractions of the continuous dynamics is presented. An important characteristic of the approach is that the available control inputs are taken into consideration in order to simplify the continuous dynamics. Control specifications such as safety and reachability specifications are formulated i...

in this paper we apply hybrid functions of general block-pulse‎ ‎functions and legendre polynomials for solving linear and‎ ‎nonlinear multi-order fractional differential equations (fdes)‎. ‎our approach is based on incorporating operational matrices of‎ ‎fdes with hybrid functions that reduces the fdes problems to‎ ‎the solution of algebraic systems‎. ‎error estimate that verifies a‎ ‎converge...

in this article, we develop the distributed order fractional hybrid differential equations (dofhdes) with linear perturbations involving the fractional riemann-liouville derivative of order $0 < q < 1$ with respect to a nonnegative density function. furthermore, an existence theorem for the fractional hybrid differential equations of distributed order is proved under the mixed $varphi$-lipschit...

For hybrid systems described by interconnections of linear discrete-time dynamical systems, automata, and propositional logic rules, we recently proposed the Mixed Logical Dynamical (MLD) systems formalism and the language HYSDEL (Hybrid System Description Language) as a modeling tool. For MLD models, we developed a reachability analysis algorithm which combines forward reach set computation an...

This study examines the distributions of cogging and current forces in a hybrid linear motor their impact on its performance. Subsequently, using Maxwell stress tensor to analyze force acting motor, method has been proposed for calculating effect mechanical system stiffness. Based profile, it was found that noncurrent could reduce spring stiffness when is operation. An electromagnetic–mechanica...

This section collects work on the general stability analysis of hybrid systems. The hybrid systems considered are those that combine continuous dynamics—represented by differential or difference equations-with finite dynamics—usually thought of as being a finite automaton. We present some general background on stability analysis, and then work on the stability analysis of hybrid control systems...

this paper proposes a hybrid control scheme for the synchronization of two chaotic duffing oscillator system, subject to uncertainties and external disturbances. the novelty of this scheme is that the linear quadratic regulation (lqr) control, sliding mode (sm) control and gaussian radial basis function neural network (grbfnn) control are combined to chaos synchronization with respect to extern...