14 citations · 31 across the 17 of their papers we have counts for
6 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…
Automating Geometric Proofs of Collision Avoidance with Active Corners
Nishant Kheterpal, Elanor Tang, Jean-Baptiste Jeannin
Avoiding collisions between obstacles and vehicles such as cars, robots or aircraft is essential to the development of automation and autonomy. To simplify the problem, many collis…
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…
Formally verified asymptotic consensus in robust networks
Mohit Tekriwal, Avi Tachna-Fram, Jean-Baptiste Jeannin +2
Distributed architectures are used to improve performance and reliability of various systems. Examples include drone swarms and load-balancing servers. An important capability of a…
Formalization of Asymptotic Convergence for Stationary Iterative Methods
Mohit Tekriwal, Joshua Miller, Jean-Baptiste Jeannin
Solutions to differential equations, which are used to model physical systems, are computed numerically by solving a set of discretized equations. This set of discretized equations…
Dandelion: Certified Approximations of Elementary Functions
Heiko Becker, Mohit Tekriwal, Eva Darulova +2
Elementary function operations such as sin and exp cannot in general be computed exactly on today's digital computers, and thus have to be approximated. The standard approximations…