4 citations · 4 across the 1 of their papers we have counts for
2 papers
cs.RO2022★ 4 cited
gatekeeper: Online Safety Verification and Control for Nonlinear Systems in Dynamic Environments
Devansh R Agrawal, Ruichang Chen, Dimitra Panagou
This paper presents the gatekeeper algorithm, a real-time and computationally-lightweight method that ensures that trajectories of a nonlinear system satisfy safety constraints des…
eess.SY2017
Stochastic Flow Models with Delays and Applications to Multi-Intersection Traffic Light Control
Rui Chen, Christos G. Cassandras
We extend Stochastic Flow Models (SFMs), used for a large class of discrete event and hybrid systems, by including the delays which typically arise in flow movement. We apply this…