61 citations · 99 across the 12 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
math.OC2016★ 61 cited
Safety Verification and Control for Collision Avoidance at Road Intersections
Heejin Ahn, Domitilla Del Vecchio
This paper presents the design of a supervisory algorithm that monitors safety at road intersections and overrides drivers with a safe input when necessary. The design of the super…
math.DS2016
Model order reduction for Linear Noise Approximation using time-scale separation (Extended Version)
Narmada Herath, Domitilla Del Vecchio
In this paper, we focus on model reduction of biomolecular systems with multiple time-scales, modeled using the Linear Noise Approximation. Considering systems where the Linear Noi…
eess.SY2016★ 5 cited
Robust Supervisors for Intersection Collision Avoidance in the Presence of Uncontrolled Vehicles
Heejin Ahn, Andrea Rizzi, Alessandro Colombo +1
We present the design and validation of a centralized controller, called a supervisor, for collision avoidance of multiple human-driven vehicles at a road intersection, considering…