Results 31 to 40 of about 18,829 (175)
Fatigue Damage Mechanism-Based Dependent Modeling With Stochastic Degradation and Random Shocks
IEEE Access, 2018 This paper proposes a dependent modeling method for reliability estimation of metal structures under constant amplitude loading and random shocks considering the nonlinear damage accumulation mechanism.
Dan Xu +4 more
doaj +1 more source
A Stochastic Approach to Noise Modeling for Barometric Altimeters
Sensors, 2013 The question whether barometric altimeters can be applied to accurately track human motions is still debated, since their measurement performance are rather poor due to either coarse resolution or drifting behavior problems.
Angelo Maria Sabatini, Vincenzo Genovese
doaj +1 more source
Impulse Control of Piecewise Deterministic Markov Processes
The Annals of Applied Probability, 1995 An optimal impulse control problem for piecewise deterministic Markov processes is considered. This control problem is converted to an equivalent dynamic control problem. Necessary and sufficient conditions for optimality for the former problem are given in terms of the value function of the latter problem.
Dempster, M. A. H., Ye, J. J.
openaire +3 more sources
Quantitative model checking of continuous-time Markov chains against timed automata specifications [PDF]
, 2009 We study the following problem: given a continuous-time Markov chain (CTMC) C, and a linear real-time property provided as a deterministic timed automaton (DTA) A, what is the probability of the set of paths of C that are\ud accepted by A (C satisfies A)?
Chen, Taolue +3 more
core +4 more sources
Change-point detection for piecewise deterministic Markov processes [PDF]
Automatica, 2018 We consider a change-point detection problem for a simple class of Piecewise Deterministic Markov Processes (PDMPs). A continuous-time PDMP is observed in discrete time and through noise, and the aim is to propose a numerical method to accurately detect both the date of the change of dynamics and the new regime after the change.
Cleynen, Alice, de Saporta, Benoîte
openaire +3 more sources
Maintenance Optimisation of Optronic Equipment
Chemical Engineering Transactions, 2013 As part of optimizing the reliability, Thales Optronics now includes systems that examine the state of its equipment. This function is performed by HUMS (Health & Usage Monitoring System).
C. Baysse +5 more
doaj +1 more source
Stochastic Representations of Ion Channel Kinetics and Exact Stochastic Simulation of Neuronal Dynamics [PDF]
, 2014 In this paper we provide two representations for stochastic ion channel kinetics, and compare the performance of exact simulation with a commonly used numerical approximation strategy.
Anderson, David F. +2 more
core +3 more sources
Value passing for communicating piecewise deterministic Markov processes [PDF]
2006 American Control Conference, 2006 In this paper we extend the CPDP model, which is used for compositional specification of PDP-type stochastic hybrid systems, to the value passing CPDP model. With value passing we can express communication of values of continuous variables between CPDP components. We show that the class of value passing CPDPs is closed under composition.
Strubbe, Stefan +2 more
openaire +2 more sources
Optimizing 3D Bin Packing of Heterogeneous Objects Using Continuous Transformations in SE(3)
Advanced Intelligent Systems, EarlyView.This article presents a method for solving the three‐dimensional bin packing problem for heterogeneous objects using continuous rigid‐body transformations in SE(3). A heuristic optimization framework combines signed‐distance functions, neural network approximations, point‐cloud bin modeling, and physics simulation to ensure feasibility and stability ...
Michele Angelini, Marco Carricato
wiley +1 more source
Bisimulation for Communicating Piecewise Deterministic Markov Processes (CPDPs) [PDF]
, 2005 CPDPs (Communicating Piecewise Deterministic Markov Processes) can be used for compositional specification of systems from the class of stochastic hybrid processes formed by PDPs (Piecewise Deterministic Markov Processes). We define CPDPs and the composition of CPDPs, and prove that the class of CPDPs is closed under composition.
Strubbe, S.N., van der Schaft, Arjan
openaire +2 more sources