Results 51 to 60 of about 109,235 (253)
TIPPtool: Compositional Specification and Analysis of Markovian Performance Models [PDF]
, 1999 In this short paper we briefly describe a tool which is based on a Markovian stochastic process algebra. The tool offers both model specification and quantitative model analysis in a compositional fashion, wrapped in a userfriendly graphical front ...
Hermanns, H. +2 more
core +1 more source
A new drag and lift correlation for spherocylinders from fully resolved Immersed Boundary Method
AIChE Journal, EarlyView.Abstract Many industrial processes deal with non‐spherical particles, e.g., mineral mining and biomass conversion. It is crucial to understand the particles' hydrodynamics to control and optimize these processes. To extend the current state‐of‐the‐art from arrays of spherical particles to spherocylindrical particles, we performed extensive particle ...
A. H. Huijgen +4 more
wiley +1 more source
A Unifying Approach to Self‐Organizing Systems Interacting via Conservation Laws
Advanced Intelligent Discovery, EarlyView.The article develops a unified way to model and analyze self‐organizing systems whose interactions are constrained by conservation laws. It represents physical/biological/engineered networks as graphs and builds projection operators (from incidence/cycle structure) that enforce those constraints and decompose network variables into constrained versus ...
F. Barrows +7 more
wiley +1 more source
SiOx‐Based Probabilistic Bits Enabling Invertible Logic Gate for Cryptographic Applications
Advanced Intelligent Systems, EarlyView.To enable lightweight hardware encryption and decryption, a Ti/SiOx/Ti threshold switching device is engineered to generate controllable stochastic oscillations. By tuning the input voltage, the device produces a programmable spike probability governed by intrinsic switching dynamics, enabling probabilistic bits that construct an invertible ...
Jihyun Kim, Hyeonsik Choi, Jiyong Woo
wiley +1 more source
Visualisation for Stochastic Process Algebras: The Graphic Truth [PDF]
, 2011 There have historically been two approaches to performance modelling. On the one hand, textual language-based formalisms such as stochastic process algebras allow compositional modelling that is portable and easy to manage. In contrast, graphical formalisms such as stochastic Petri nets and stochastic activity networks provide an automaton-based view ...
Michael J. A. Smith, Stephen Gilmore
openaire +1 more source
Risk‐aware safe reinforcement learning for control of stochastic linear systems
Asian Journal of Control, EarlyView.Abstract This paper presents a risk‐aware safe reinforcement learning (RL) control design for stochastic discrete‐time linear systems. Rather than using a safety certifier to myopically intervene with the RL controller, a risk‐informed safe controller is also learned besides the RL controller, and the RL and safe controllers are combined together ...
Babak Esmaeili +2 more
wiley +1 more source
Stochastic Process Algebra and Stability Analysis of Collective Systems [PDF]
, 2013 Collective systems consist of large numbers of agents that coordinate through local behaviour, adapt to their environment and possibly give rise to emergent phenomena. Their formal analysis requires advanced scalable mathematical approximation techniques.
Bortolussi L, Latella D, Massink M
openaire +3 more sources
A hidden Markov model and reinforcement learning‐based strategy for fault‐tolerant control
The Canadian Journal of Chemical Engineering, EarlyView.Abstract This study introduces a data‐driven control strategy integrating hidden Markov models (HMM) and reinforcement learning (RL) to achieve resilient, fault‐tolerant operation against persistent disturbances in nonlinear chemical processes. Called hidden Markov model and reinforcement learning (HMMRL), this strategy is evaluated in two case studies
Tamera Leitao +2 more
wiley +1 more source
Stochastic Elasto-Plastic Analysis of Necking Bar with Random Tvergaard Coefficients
MATEC Web of Conferences, 2019 This paper reports on the computational modelling of static extension tests of the round steel bar. The main objective was to apply the generalised stochastic perturbation technique implemented as the Stochastic Finite Element Method to carry out the ...
Strąkowski Michai, Kamiñski Marcin
doaj +1 more source
Construction and Verification of Performance and Reliability Models [PDF]
, 2001 Over the last two decades formal methods have been extended towards performance and reliability evaluation. This paper tries to provide a rather intuitive explanation of the basic concepts and features in this area. Instead of striving for mathematical
Hermanns, H.
core +2 more sources