5 citations · 10 across the 4 of their papers we have counts for
5 papers
Approximate Partial Order Reduction
Chuchu Fan, Zhenqi Huang, Sayan Mitra
We present a new partial order reduction method for reachability analysis of nondeterministic labeled transition systems over metric spaces. Nondeterminism arises from both the cho…
Controller Synthesis with Inductive Proofs for Piecewise Linear Systems: an SMT-based Algorithm
Zhenqi Huang, Yu Wang, Sayan Mitra +2
We present a controller synthesis algorithm for reach-avoid problems for piecewise linear discrete-time systems. Our algorithm relies on SMT solvers and in this paper we focus on p…
Controller Synthesis for Linear Time-varying Systems with Adversaries
Zhenqi Huang, Yu Wang, Sayan Mitra +1
We present a controller synthesis algorithm for a discrete time reach-avoid problem in the presence of adversaries. Our model of the adversary captures typical malicious attacks en…
Differentially Private Distributed Optimization
Zhenqi Huang, Sayan Mitra, Nitin Vaidya
In distributed optimization and iterative consensus literature, a standard problem is for agents to minimize a function over a subset of Euclidean space, where the cost fun…
Differentially Private Iterative Synchronous Consensus
Zhenqi Huang, Sayan Mitra, Geir Dullerud
The iterative consensus problem requires a set of processes or agents with different initial values, to interact and update their states to eventually converge to a common value. P…