280 citations · 2.6k across the 261 of their papers we have counts for
30 papers · 1 filter
Assume/Guarantee Contracts for Dynamical Systems: Theory and Computational Tools
Miel Sharf, Bart Besselink, Adam Molin +2
Modern engineering systems include many components of different types and functions. Verifying that these systems satisfy given specifications can be an arduous task, as most forma…
Causality Graph of Vehicular Traffic Flow
Sina Molavipour, Germán Bassi, Mladen Čičić +2
In an intelligent transportation system, the effects and relations of traffic flow at different points in a network are valuable features which can be exploited for control system…
Edge Deletion Algorithms for Minimizing Spread in SIR Epidemic Models
Yuhao Yi, Liren Shan, Philip E. Paré +1
This paper studies algorithmic strategies to effectively reduce the number of infections in susceptible-infected-recovered (SIR) epidemic models. We consider a Markov chain SIR mod…
Learning-based Traffic State Reconstruction using Probe Vehicles
John Liu, Matthieu Barreau, Mladen Cicic +1
This article investigates the use of a model-based neural-network for the traffic reconstruction problem using noisy measurements coming from probe vehicles. The traffic state is a…
Networked Multi-Virus Spread with a Shared Resource: Analysis and Mitigation Strategies
Axel Janson, Sebin Gracy, Philip E. Paré +2
The paper studies multi-competitive continuous-time epidemic processes in the presence of a shared resource. We consider the setting where multiple viruses are simultaneously preva…
Distributed Design of Glocal Controllers via Hierarchical Model Decomposition
Hampei Sasahara, Takayuki Ishizaki, Jun-ichi Imura +2
This paper proposes a distributed design method of controllers having a glocal (global/local) information structure for large-scale network systems. Distributed design, independent…