Probabilistic Reachability and Invariance Computation of Stochastic Systems using Linear Programming.

Niklas Schmid John Lygeros

Published in: CoRR (2022)

Keyphrases

stochastic systems
linear programming
dynamic programming
generative model
stochastic models
conservation laws
bayesian networks
np hard
confidence intervals
linear program
objective function
probabilistic model
state space
mathematical programming
nonlinear programming
sample path