21 citations · 65 across the 31 of their papers we have counts for
Showing 2015 · eess.SYShow all
2 papers · 2 filters
eess.SY2015★ 2 cited
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…
eess.SY2015★ 3 cited
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…