21 citations · 65 across the 31 of their papers we have counts for
Showing 2015Show all
3 papers · 1 filter
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…
math.DS2015
Stability of discrete-time switching systems with constrained switching sequences
Matthew Philippe, Ray Essick, Geir Dullerud +1
We introduce a novel framework for the stability analysis of discrete-time linear switching systems with switching sequences constrained by an automaton. The key element of the fra…
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…