14 citations · 31 across the 17 of their papers we have counts for
Showing 2022 · eess.SYShow all
2 papers · 2 filters
eess.SY2022★ 1 cited
Efficient Backward Reachability Using the Minkowski Difference of Constrained Zonotopes
Liren Yang, Hang Zhang, Jean-Baptiste Jeannin +1
Backward reachability analysis is essential to synthesizing controllers that ensure the correctness of closed-loop systems. This paper is concerned with developing scalable algorit…
eess.SY2022
A Concurrent Switching Model for Traffic Congestion Control
Hossein Rastgoftar, Xun Liu, Jean-Baptiste Jeannin
We introduce a new conservation-based approach for traffic coordination modeling and control in a network of interconnected roads (NOIR) with switching movement phase rotations at…