Formal analysis of steady state errors in feedback control systems using HOL-light.

Osman Hasan Muhammad Ahmad

Published in: DATE (2013)

Keyphrases

steady state
formal analysis
feedback control
formal methods
markov chain
operating conditions
queue length
adaptive control
state dependent
explicit expressions
closed loop
heavy traffic
reinforcement learning
queueing model
product form
steady states