Login / Signup
A Lyapunov Approach for Time-Bounded Reachability of CTMCs and CTMDPs.
Mahmoud Salamati
Sadegh Soudjani
Rupak Majumdar
Published in:
ACM Trans. Model. Perform. Evaluation Comput. Syst. (2020)
Keyphrases
</>
control theory
dynamical systems
stability analysis
sufficient conditions
asymptotic stability
transitive closure
control law
adaptive control
closed loop
control scheme
nonlinear dynamics
real time
artificial intelligence
nonlinear systems
chaos theory
class of nonlinear systems