activity
20152025
most citedSafety Verification and Control for Collision Avoidance at Road Intersections

61 citations · 99 across the 12 of their papers we have counts for

collaborators

13 papers

math.PR2025

Coclique level structure for stochastic chemical reaction networks

Simone Bruno, Yi Fu, Felipe A. Campos +2

Continuous time Markov chains are commonly used as models for the stochastic behavior of chemical reaction networks. More precisely, these Stochastic Chemical Reaction Networks (SC…

math.PR2024

Analysis of singularly perturbed stochastic chemical reaction networks motivated by applications to epigenetic cell memory

Simone Bruno, Felipe A. Campos, Yi Fu +2

Epigenetic cell memory, the inheritance of gene expression patterns across subsequent cell divisions, is a critical property of multi-cellular organisms. In recent work [10], a sub…

q-bio.MN2024

Competition for binding targets results in paradoxical effects for simultaneous activator and repressor action -- Extended Version

M. Ali Al-Radhawi, Krishna Manoj, Dhruv D. Jatkar +3

In the context of epigenetic transformations in cancer metastasis, a puzzling effect was recently discovered, in which the elimination (knock-out) of an activating regulatory eleme…

q-bio.QM2023

A Stein's Method Approach to the Linear Noise Approximation for Stationary Distributions of Chemical Reaction Networks

Theodore W. Grunberg, Domitilla Del Vecchio

Stochastic Chemical Reaction Networks are continuous time Markov chain models that describe the time evolution of the molecular counts of species interacting stochastically via dis…

math.PR2023★ 5 cited

Comparison Theorems for Stochastic Chemical Reaction Networks

Felipe A. Campos, Simone Bruno, Yi Fu +2

Continuous-time Markov chains are frequently used as stochastic models for chemical reaction networks, especially in the growing field of systems biology. A fundamental problem for…

eess.SY2021

Identifiability of Chemical Reaction Networks with Intrinsic and Extrinsic Noise from Stationary Distributions

Theodore W. Grunberg, Domitilla Del Vecchio

Many biological systems can be modeled as a chemical reaction network with unknown parameters. Data available to identify these parameters are often in the form of a stationary dis…

eess.SY2020★ 1 cited

Robustness of networked systems to unintended interactions with application to engineered genetic circuits

Yili Qian, Domitilla Del Vecchio

A networked dynamical system is composed of subsystems interconnected through prescribed interactions. In many engineering applications, however, one subsystem can also affect othe…

eess.SY2017

Robust Moment Closure Method for the Chemical Master Equation

Mohammad Naghnaeian, Domitilla Del Vecchio

The Chemical Master Equation (CME) is used to stochastically model biochemical reaction networks, under the Markovian assumption. The low-order statistical moments induced by the C…

q-bio.MN2017

Multi-modality in gene regulatory networks with slow promoter kinetics

M. Ali Al-Radhawi, Domitilla Del Vecchio, Eduardo D. Sontag

Phenotypical variability in the absence of genetic variation often reflects complex energetic landscapes associated with underlying gene regulatory networks (GRNs). In this view, d…

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…

eess.SY2015★ 27 cited

Semi-autonomous Intersection Collision Avoidance through Job-shop Scheduling

Heejin Ahn, Domitilla Del Vecchio

In this paper, we design a supervisor to prevent vehicle collisions at intersections. An intersection is modeled as an area containing multiple conflict points where vehicle paths…