49 citations · 163 across the 51 of their papers we have counts for
Showing 2015 · eess.SYShow all
2 papers · 2 filters
eess.SY2015
Synthesis of separable controlled invariant sets for modular local control design
Petter Nilsson, Necmiye Ozay
Many correct-by-construction control synthesis methods suffer from the curse of dimensionality. Motivated by this challenge, we seek to reduce a correct-by-construction control syn…
eess.SY2015★ 2 cited
Computing finite abstractions with robustness margins via local reachable set over-approximation
Yinan Li, Jun Liu, Necmiye Ozay
This paper proposes a method to compute finite abstractions that can be used for synthesizing robust hybrid control strategies for nonlinear systems. Most existing methods for comp…