International audienceThis 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 cycle cost etc. Stochastic hybrid systems can be considered, most of the time, as Piecewise Deterministic Markov Processes (PDMP). Although PDMP have 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 of a transition λ depends on continuous variables of the system model, the use of an ...
Abstract — This paper introduces a method for approximat-ing the dynamics of deterministic hybrid sy...
International audienceThis paper describes a new methodology to model and assess the behavior of ind...
AbstractHybrid systems (HS) have been proven a valid formalism to study and analyze specific issues ...
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 ...
We study statistical model checking of continuous-time stochastic hybrid systems. The challenge in a...
A method for approximate model checking of stochastic hybrid systems with provable approximation gua...
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...
We study the problem of approximating a stochastic, possibly hybrid, system by means of some abstrac...
The problem of estimating the probability that a system reaches a given set within some time horizon...
Hybrid systems (HS) have been proven a valid formalism to study and analyze specific issues in a var...
The reliability of a complex industrial system can rarely be assessed analytically. As system failur...
Abstract. The objective of this study is to introduce an abstraction procedure that applies to a gen...
The use of stochastic models, in effect piecewise deterministic Markov processes (PDMP), has become ...
Abstract — This paper introduces a method for approximat-ing the dynamics of deterministic hybrid sy...
International audienceThis paper describes a new methodology to model and assess the behavior of ind...
AbstractHybrid systems (HS) have been proven a valid formalism to study and analyze specific issues ...
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 ...
We study statistical model checking of continuous-time stochastic hybrid systems. The challenge in a...
A method for approximate model checking of stochastic hybrid systems with provable approximation gua...
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...
We study the problem of approximating a stochastic, possibly hybrid, system by means of some abstrac...
The problem of estimating the probability that a system reaches a given set within some time horizon...
Hybrid systems (HS) have been proven a valid formalism to study and analyze specific issues in a var...
The reliability of a complex industrial system can rarely be assessed analytically. As system failur...
Abstract. The objective of this study is to introduce an abstraction procedure that applies to a gen...
The use of stochastic models, in effect piecewise deterministic Markov processes (PDMP), has become ...
Abstract — This paper introduces a method for approximat-ing the dynamics of deterministic hybrid sy...
International audienceThis paper describes a new methodology to model and assess the behavior of ind...
AbstractHybrid systems (HS) have been proven a valid formalism to study and analyze specific issues ...