49 citations · 163 across the 51 of their papers we have counts for
Showing 2015Show all
3 papers · 1 filter
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…
math.OC2015★ 3 cited
Passivity Degradation In Discrete Control Implementations: An Approximate Bisimulation Approach
Xiangru Xu, Necmiye Ozay, Vijay Gupta
In this paper, we present some preliminary results for compositional analysis of heterogeneous systems containing both discrete state models and continuous systems using consistent…
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…