This paper proposes an efficient approach to model stochastic hybrid systems and to implement Monte Carlo simulation for such models, thus allowing the calculation of various probabilistic indicators: reliability, availability, average production, life cyle cost etc. Stochastic hybrid systems can be considered, most of the time, as Piecewise Deterministic Markov Processes (PDMP). Although PDMP has been long ago formalized and studied from a theoretical point of view by Davis (Davis 1993), they are still difficult to use in real applications. The solution proposed here relies on a novel method to handle the case when the hazard rate ofa transition depends on continous variables of the system model, the use of an extension of Modelica 3.3 an...
In this paper we present a rather general hybrid system made of deterministic differential equations...
In this paper a hybrid simulation-based algorithm is proposed for the Stochastic Flow Shop Problem....
The reliability of a complex industrial system can rarely be assessed analytically. As system failur...
International audienceThis paper proposes an efficient approach to model stochastic hybrid systems a...
International audienceThe paper proposes a modeling framework to support Monte Carlo simulations of ...
A method for approximate model checking of stochastic hybrid systems with provable approximation gua...
We study the problem of approximating a stochastic, possibly hybrid, system by means of some abstrac...
We study statistical model checking of continuous-time stochastic hybrid systems. The challenge in a...
In this paper, we develop a framework to model and analyze systems that are subject to dependent, co...
International audienceIn this paper, we develop a framework to model and analyze systems that are su...
The problem of estimating the probability that a system reaches a given set within some time horizon...
Abstract. The objective of this study is to introduce an abstraction procedure that applies to a gen...
Abstract — This paper introduces a method for approximat-ing the dynamics of deterministic hybrid sy...
Hybrid systems (HS) have been proven a valid formalism to study and analyze specific issues in a var...
The use of stochastic models, in effect piecewise deterministic Markov processes (PDMP), has become ...
In this paper we present a rather general hybrid system made of deterministic differential equations...
In this paper a hybrid simulation-based algorithm is proposed for the Stochastic Flow Shop Problem....
The reliability of a complex industrial system can rarely be assessed analytically. As system failur...
International audienceThis paper proposes an efficient approach to model stochastic hybrid systems a...
International audienceThe paper proposes a modeling framework to support Monte Carlo simulations of ...
A method for approximate model checking of stochastic hybrid systems with provable approximation gua...
We study the problem of approximating a stochastic, possibly hybrid, system by means of some abstrac...
We study statistical model checking of continuous-time stochastic hybrid systems. The challenge in a...
In this paper, we develop a framework to model and analyze systems that are subject to dependent, co...
International audienceIn this paper, we develop a framework to model and analyze systems that are su...
The problem of estimating the probability that a system reaches a given set within some time horizon...
Abstract. The objective of this study is to introduce an abstraction procedure that applies to a gen...
Abstract — This paper introduces a method for approximat-ing the dynamics of deterministic hybrid sy...
Hybrid systems (HS) have been proven a valid formalism to study and analyze specific issues in a var...
The use of stochastic models, in effect piecewise deterministic Markov processes (PDMP), has become ...
In this paper we present a rather general hybrid system made of deterministic differential equations...
In this paper a hybrid simulation-based algorithm is proposed for the Stochastic Flow Shop Problem....
The reliability of a complex industrial system can rarely be assessed analytically. As system failur...