Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach.

Mahmoud Salamati Sadegh Soudjani Rupak Majumdar

Published in: QEST (2018)

Keyphrases

sufficient conditions
control scheme
adaptive control
stability analysis
dynamical systems
exact solution
database
state space
least squares
nonlinear systems
control theory
nonlinear dynamics
asymptotic stability