Modern control-command systems often include controllers that perform nonlinear computations to control a physical system, which can typically be described by an hybrid automaton containing highdimensional systems of nonlinear differential equations. To prove safety of such systems, one must compute all the reachable sets from a given initial position, which might be uncertain (its value is not...

Modern control-command systems often include controllers that perform nonlinear computations to control a physical system, which can typically be described by an hybrid automaton containing highdimensional systems of nonlinear differential equations. To prove safety of such systems, one must compute all the reachable sets from a given initial position, which might be uncertain (its value is not...

Biological systems can possess multiple operational modes with specific nonlinear dynamics in each mode. Hybrid automata and its variants are often used to model and analyze the dynamics of such systems. Highly nonlinear hybrid automata are difficult to analysis and usually have many parameters. An important problem is to identify parameter values using which the system can reach certain states...

Recently, a great amount of interest has been shown in the field of modeling and controlling hybrid systems. One of the efficient and common methods in this area utilizes the mixed logicaldynamical (MLD) systems in the modeling. In this method, the system constraints are transformed into mixed-integer inequalities by defining some logic statements. In this paper, a system containing three tanks...

This paper studies power management in a grid-tied hybrid energy system consisting of photovoltaic array, wind turbine, fuel cell, electrolyzer, hydrogen storage tank and a combinational heating system to supply the thermal and electrical demand of a building. Moreover, the hybrid system is capable of exchanging power with local grid. Thus, variable daily buying and selling tariffs are also tak...