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

This paper gives a brief overview of the new features introduced in the latest version of the tool Flow*. We mainly describe the new efficient scheme for integrating linear ODEs. We show that it can efficiently handle the challenging benchmarks on which, to the best of our knowledge, only SpaceEx works. Moreover, it is also possible to extend the method to deal with unbounded initial sets. A co...

in this paper, we use a combination of legendre and block-pulse functionson the interval [0; 1] to solve the nonlinear integral equation of the second kind.the nonlinear part of the integral equation is approximated by hybrid legen-dre block-pulse functions, and the nonlinear integral equation is reduced to asystem of nonlinear equations. we give some numerical examples. to showapplicability of...

Motivated by an example from aircraft connict resolution we seek a methodology for synthesizing controllers for nonlinear hybrid automata. We rst show how game theoretic methodologies developed for this purpose for nite automata and continuous systems can be cast in a uniied framework. We then present a conceptual algorithm for extending them to the hybrid setting. We conclude with a discussion...

This letter describes the first derivatives estimation of nonlinear parameters through an embedded identifier in the hybrid system by using a feed-forward neural network (FFNN). The hybrid systems are modelled by the differential-algebraic-impulsive-switched (DAIS) structure. The FFNN is used to identify the full dynamics of the hybrid system. Moreover, the partial derivatives of an objective f...

in this paper, stochastic generalizations of some fixed point for operators satisfying random contractively generalized hybrid and some other contractive condition have been proved. we discuss also the existence of a solution to a nonlinear random integral equation in banah spaces.

Nonlinear control systems have undergone tremendous advances in the last two decades at the levels of theory and applications. Among those, a class of particular interest is that one resulting from the interaction of a control system with a system governed by different dynamics. This class of system lies in the hybrid and nonlinear control systems field. In the last decade, the study of such hy...

The difficulty of many robot controls tasks stems from stochasticity and partial observability coupled with highly nonlinear dynamics. We propose to approximate nonlinear system dynamics using hybrid dynamics models and extend the POMDP framework to hybrid systems. To do this, we introduce a Bayesian inference based hybrid state evolution model that can be used to develop feasible motion plans ...

State estimation and estimator based predictive control of nonlinear autonomous hybrid systems poses a challenging problem as these systems involve discontinuities that are introduced by switching of the discrete variables. In this paper, we propose a state estimation scheme for an autonomous hybrid system using an ensemble Kalman filter (EnKF), which belongs to the class of particle filters an...