22 citations · 22 across the 7 of their papers we have counts for
9 papers
Formal Modeling and Verification of Publisher-Subscriber Paradigm in ROS 2
Jahid Chowdhury Choton, Lipsy Gupta, Pavithra Prabhakar
The Robot Operating System (ROS) is one of the most popular middleware for developing robot applications, but it is subject to major shortcomings when applied to real-time robotic…
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 (…
Bisimulations for Neural Network Reduction
Pavithra Prabhakar
We present a notion of bisimulation that induces a reduced network which is semantically equivalent to the given neural network. We provide a minimization algorithm to construct th…
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…
Learning event-driven switched linear systems
Atreyee Kundu, Pavithra Prabhakar
We propose an automata theoretic learning algorithm for the identification of black-box switched linear systems whose switching logics are event-driven. A switched system is expres…
Optimal tool path planning for 3D printing with spatio-temporal and thermal constraints
Zahra Rahimi Afzal, Pavana Prabhakar, Pavithra Prabhakar
In this paper, we address the problem of synthesizing optimal path plans in a 2D subject to spatio-temporal and thermal constraints. Our solution consists of reducing the path plan…
Abstraction based Output Range Analysis for Neural Networks
Pavithra Prabhakar, Zahra Rahimi Afzal
In this paper, we consider the problem of output range analysis for feed-forward neural networks with ReLU activation functions. The existing approaches reduce the output range ana…
Abstraction-Refinement Based Optimal Control with Regular Objectives
Yoke Peng Leong, Pavithra Prabhakar
This paper presents an abstraction-refinement method to synthesize control inputs for a discrete-time piecewise linear system. The controlled system behavior satisfies a finite-wor…