Compositional Verification of Large-Scale Stochastic Systems via Relaxed Small-Gain Conditions.

Abolfazl Lavaei Majid Zamani

Published in: CDC (2019)

Keyphrases

stochastic systems
sufficient conditions
stochastic models
conservation laws
optimal solution
initial conditions
sample path