5 papers
Non-Trivial Topological Majorana Architectures: Mobius and Trefoil Band Topologies evaluated by Signal to Noise Ratio and Coherence time mesuarements
Spandan Das, Ennis Mawas
Topological quantum computing is expected to be less sensitive to noise because information is stored in global states rather than local features. To examine whether different devi…
Abstraction-based Probabilistic Stability Analysis of Polyhedral Probabilistic Hybrid Systems
Spandan Das, Pavithra Prabhakar
In this paper, we consider the problem of probabilistic stability analysis of a subclass of Stochastic Hybrid Systems, namely, Polyhedral Probabilistic Hybrid Systems (PPHS), where…
Bayesian Statistical Model Checking for Multi-agent Systems using HyperPCTL*
Spandan Das, Pavithra Prabhakar
In this paper, we present a Bayesian method for statistical model checking (SMC) of probabilistic hyperproperties specified in the logic HyperPCTL* on discrete-time Markov chains (…
Stability Analysis of Planar Probabilistic Piecewise Constant Derivative Systems
Spandan Das, Pavithra Prabhakar
In this paper, we study the probabilistic stability analysis of a subclass of stochastic hybrid systems, called the Planar Probabilistic Piecewise Constant Derivative Systems (Plan…
Necessary and sufficient condition for the existence of Schmidt decomposition in multipartite Hilbert spaces
Spandan Das, Goutam Paul
Pati (Physics Letters A, 2000) derived a sufficient condition for the existence of Schmidt decomposition in tripartite Hilbert spaces. In this paper, we show that the condition is…