Formal Verification of Steady-State Errors in Unity-Feedback Control Systems.
Muhammad AhmadOsman HasanPublished in: FMICS (2014)
Keyphrases
- steady state
- feedback control
- formal verification
- markov chain
- automated verification
- explicit expressions
- operating conditions
- product form
- model checking
- queueing model
- steady states
- queue length
- closed loop
- state dependent
- queueing networks
- arrival rate
- adaptive control
- single server
- heavy traffic
- optimal control
- variance estimator
- real time