An original spectral study of the compressible hybrid lattice Boltzmann method (HLBM) on standard is proposed. In this framework, mass and momentum equations are addressed using (LBM), while finite difference (FD) schemes solve an energy equation. Both systems coupled with each other thanks to ideal gas equation state. This work aims at answering some questions regarding numerical stability suc...

Reachability analysis of hybrid system imposes restrictions on the continuous and discrete behavior. In this paper a method is proposed to approximate the reachable set of linear systems by linear inequalities. It allows to use the full continuous dynamics of hybrid systems for reachability analysis. This method is applied to an automotive control problem, which was presented by Stauner et al. ...

Reachability analysis of hybrid system imposes restrictions on the continuous and discrete behavior. In this paper a method is proposed to approximate the reachable set of linear systems by linear inequalities. It allows to use the full continuous dynamics of hybrid systems for reachability analysis. This method is applied to an automotive control problem, which was presented by Stauner et al. ...

The Electromagnetic Aircraft Launch System (EMALS) is being developed utilizing electrical and electronic technologies. EMALS is emerging in order to replace the existing steam catapult on naval carriers. Recently, the double-sided linear launcher has drawn increasing attention of researchers. This paper presents the design and analysis of the Linear Hybrid Reluctance Motor (LHRM). This new mot...

In a previous paper, we showed how classical ideas for dynamic programming in discrete networks can be adapted to hybrid systems. The approach is based on discretization of the continuous Bellman inequality which gives a lower bound on the optimal cost. The lower bound is maximized by linear programming to get an approximation of the optimal solution. In this paper, we apply ideas from infinite...

drought is random and nonlinear phenomenon and using linear stochastic models, nonlinear artificial neural network and hybrid models is advantaged for drought forecasting. this paper presents the performances of autoregressive integrated moving average (arima), direct multi-step neural network (dmsnn), recursive multi-step neural network (rmsnn), hybrid stochastic neural network of directive ap...

One of the most important analysis problems of hybrid systems is the reacha-bility problem. State of the art computational tools perform reachability computation for timed automata, multirate automata, and rectangular automata. In this paper, we extend the decidability frontier for classes of linear hybrid systems, which are introduced as hybrid systems with linear vector elds in each discrete ...

We present an algorithm for the linearization of hybrid processes modeled in hybrid process algebra (HyPA) and prove its correctness. HyPA is a formalism that is suitable for the algebraic analysis of hybrid systems, i.e., systems with continuous (physical) as well as discrete (computational) components. Linearization is a useful first step in this analysis, because it reduces the complexity of...