2 citations · 3 across the 8 of their papers we have counts for
3 papers · 1 filter
Formal Reasoning about Performance Models
Moussa Labbadi, Rupak Majumdar, V. R. Sathiyanarayana +1
Discrete-event simulation is a standard technique for modelling and analysing the performance of computer systems, networks, and services. Although simulation tools are widely used…
Learning Metastable Dynamics
Rupak Majumdar, Mahmoud Salamati, Nikhil Singh +1
Metastability---a phenomenon where systems remain trapped in quasi-stable states before abruptly transitioning under rare perturbations---is ubiquitous in physical systems. Althoug…
Almost Sure Reachability in Continuous-time Stochastic Systems
Arash Bahari Kordabad, Rupak Majumdar, Sadegh Soudjani
We provide certificates for almost sure reachability of continuous-time stochastic systems governed by stochastic differential equations (SDEs). We first show that a standard Euler…