14 citations · 31 across the 17 of their papers we have counts for
5 papers · 1 filter
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…
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…
A Physics-Based Finite-State Abstraction for Traffic Congestion Control
Hossein Rastgoftar, Jean-Baptiste Jeannin
This paper offers a finite-state abstraction of traffic coordination and congestion in a network of interconnected roads (NOIR). By applying mass conservation, we model traffic coo…
Formal Specification of Continuum Deformation Coordination
Hossein Rastgoftar, Jean-Baptiste Jeannin, Ella Atkins
Continuum deformation is a leader-follower multiagent cooperative control approach. Previous work showed a desired continuum deformation can be uniquely defined based on trajectori…
Verifying Aircraft Collision Avoidance Neural Networks Through Linear Approximations of Safe Regions
Kyle D. Julian, Shivam Sharma, Jean-Baptiste Jeannin +1
The next generation of aircraft collision avoidance systems frame the problem as a Markov decision process and use dynamic programming to optimize the alerting logic. The resulting…