22 citations · 22 across the 7 of their papers we have counts for
3 papers · 1 filter
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…