Sign in

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

Abolfazl LavaeiMajid Zamani
Published in: CDC (2019)
Keyphrases
  • stochastic systems
  • sufficient conditions
  • stochastic models
  • conservation laws
  • optimal solution
  • initial conditions
  • sample path