In this paper, we present a new tool SReach, which solves probabilistic bounded reachability problems for two classes of models of stochastic hybrid systems. The first one is (nonlinear) hybrid automata with parametric uncertainty. The second one is probabilistic hybrid automata with additional randomness for both transition probabilities and variable resets. Standard approaches to reachability...

Satellite power system is a complex, highly interconnected hybrid system that exhibit nonlinear and mode switching behaviors. Directed factor graph is an inference model for fault diagnosis using probabilistic reasoning techniques. A novel approach for constructing the directed factor graph structure based on hybrid bond graph model is proposed. The system components status and their fault symp...

System Invariant properties at various locations play a critical role in enhancing confidence in the reliability of system behavior, be it software, hardware and hybrid systems. While there has recently been considerable interest in researching heuristics for generating loops invariants, almost all developments have focused on generating invariants typically handled using SMT solvers including ...

In this paper, we issue a hybrid system, which is integrated with the fuzzy system and Petri net models. We exploit the characteristics, imprecise or ambiguous information, of fuzzy theory to map the algorithm of crisp inputs and outputs, furthermore, model problems, product a nonlinear function, and final predict the next state transition of Petri net graphs. In order to quickly and precisely ...

A hybrid system, which is integrated with the fuzzy system and Petri net models. We exploit the characteristics, imprecise or ambiguous information, of fuzzy theory to map the algorithm of crisp inputs and outputs, furthermore, model problems, product a nonlinear function, and final predict the next state transition of Petri net graphs. In order to quickly and precisely predict the result state...

In this paper we describe a new tool, SReach, which solves probabilistic bounded reachability problems for two classes of stochastic hybrid systems. The first one is (nonlinear) hybrid automata with parametric uncertainty. The second one is probabilistic hybrid automata with additional randomness for both transition probabilities and variable resets. Standard approaches to reachability problems...

in recent years, using new methods in utilization of energy resources has become necessary due to environmental pollution and restriction of energy resources. the hybrid system presented in this article produced power with sofc and stirling engine. the purpose is to analyze a 50 kw solid oxide fuel cell that could produce enough thermal energy for a 10 kw stirling engine working in the hybrid s...

In this paper, we integrate nonlinear control and supervisory control theory to design a controller of a heating, ventilating and air conditioning (HVAC) system. First we design the nonlinear controllers by Lyapunov theory and backstepping. Then we create the discrete abstraction of this system and thus derive the discrete event system model from the continuous plant. Finally we design the supe...