Analysis and control of epidemics: A survey of spreading processes on complex networks
C Nowzari, VM Preciado… - IEEE Control Systems …, 2016 - ieeexplore.ieee.org
This article reviews and presents various solved and open problems in the development,
analysis, and control of epidemic models. The proper modeling and analysis of spreading …
analysis, and control of epidemic models. The proper modeling and analysis of spreading …
Control and optimization of air traffic networks
K Gopalakrishnan… - Annual Review of Control …, 2021 - annualreviews.org
The air transportation system connects the world through the transport of goods and people.
However, operational inefficiencies such as flight delays and cancellations are prevalent …
However, operational inefficiencies such as flight delays and cancellations are prevalent …
Compositional construction of control barrier functions for continuous-time stochastic hybrid systems
In this work, we propose a compositional framework for the construction of control barrier
functions for networks of continuous-time stochastic hybrid systems enforcing complex logic …
functions for networks of continuous-time stochastic hybrid systems enforcing complex logic …
State-feedback control of Markov jump linear systems with hidden-Markov mode observation
In this paper, we study state-feedback control of Markov jump linear systems with partial
information about the mode signal responsible for switching between dynamic modes. We …
information about the mode signal responsible for switching between dynamic modes. We …
Contact adaption during epidemics: A multilayer network formulation approach
People change their physical contacts as a preventive response to infectious disease
propagations. Yet, only a few mathematical models consider the coupled dynamics of the …
propagations. Yet, only a few mathematical models consider the coupled dynamics of the …
Preventive and reactive cyber defense dynamics with ergodic time-dependent parameters is globally attractive
Cybersecurity dynamics is a mathematical approach to modeling and analyzing cyber
attacker-defender interactions in networks. In this paper, we advance the state-of-the-art in …
attacker-defender interactions in networks. In this paper, we advance the state-of-the-art in …
Optimal design of switched networks of positive linear systems via geometric programming
M Ogura, VM Preciado - IEEE Transactions on Control of …, 2015 - ieeexplore.ieee.org
In this paper, we propose an optimization framework to design a network of positive linear
systems whose structure switches according to a Markov process. The optimization …
systems whose structure switches according to a Markov process. The optimization …
Formal Verification and Control of Stochastic Hybrid Systems: Model-based and Data-driven Techniques
A Nejati - 2023 - mediatum.ub.tum.de
This dissertation provides efficient (data-driven) techniques to design highly-reliable
stochastic hybrid systems with mathematical guarantees by bringing together …
stochastic hybrid systems with mathematical guarantees by bringing together …
Stability of networked systems with switching topologies
K Gopalakrishnan, H Balakrishnan… - 2016 IEEE 55th …, 2016 - ieeexplore.ieee.org
The evolution of many networked systems, such as air transportation, can be modeled using
a combination of the network topology and the resultant dynamics. In particular, time-varying …
a combination of the network topology and the resultant dynamics. In particular, time-varying …
-intertwined SIS epidemic model with Markovian switching
X Cao, Z ** - Stochastics and Dynamics, 2019 - World Scientific
Epidemic dynamics is often subject to environmental noise and uncertainty. In this paper, we
investigate the effect of color noise on the spread of epidemic in complex networks, which is …
investigate the effect of color noise on the spread of epidemic in complex networks, which is …