4 papers
CINOC: Cardinality-Invariant Neural Operator Policies for Scalable PDE Control
Pietro Zanotta, Dibakar Roy Sarkar, Honghui Zheng +2
Controlling partial differential equations (PDEs) with learning-based policies remains fundamentally limited by fixed-dimensional representations: policies trained for a specific s…
SCORE: Statistical Certification of Regions of Attraction via Extreme Value Theory
Pietro Zanotta, Panos Stinis, Ján DrgoÅa
Certifying the Region of Attraction (ROA) for high-dimensional nonlinear dynamical systems remains a severe computational bottleneck. Traditional deterministic verification methods…
Quantum Orthogonal Separable Physics-Informed Neural Networks
Pietro Zanotta, Ljubomir Budinski, Caglar Aytekin +1
This paper introduces Quantum Orthogonal Separable Physics-Informed Neural Networks (QO-SPINNs), a novel architecture for solving Partial Differential Equations, integrating quantu…
On the Potential of Quantum Computing in Classical Program Analysis
Yicheng Guang, Pietro Zanotta, Kai Zhou +2
Classical program analysis techniques, such as abstract interpretation and symbolic execution, are essential for ensuring software correctness, optimizing performance, and enabling…