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, reasoning about the correctness and performance guarantees of the models they implement remains largely ad hoc: simulation outputs are int...
Moussa Labbadi, Rupak Majumdar, V. R. Sathiyanarayana et al.· 0 citations
An upgraded version of MIghtyPPL is introduced that enables for the first time, the model checking of Metric Temporal Logic properties of the form (whenever an event p occurs, it is eventually followed by some event q after exactly some k time units) in addition to Pnueli and Past modalities.
Hsi-Ming Ho, S. Krishna, Khushraj Madnani et al.· 0 citations
A novel framework for analyzing metastability using Koopman theory is proposed, using a finite set of system trajectories to learn a representation of the dynamics that defines a latent space in which the system evolves linearly, thereby enabling a systematic characterization of metastable behavior through the spectral...
Rupak Majumdar, Mahmoud Salamati, Nikhil Singh et al.· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
