Controller Synthesis for Omega-Regular and Steady-State Specifications.
Alvaro VelasquezAshutosh TrivediIsmail AlkhouriAndre BeckusGeorge K. AtiaPublished in: CoRR (2021)
Keyphrases
- steady state
- controller synthesis
- autonomic computing systems
- markov chain
- operating conditions
- closed loop
- product form
- control system
- multi agent
- control algorithm
- queueing networks
- state dependent
- arrival rate
- explicit expressions
- service times
- queue length
- queueing model
- autonomic systems
- controller design
- machine learning
- traffic intensity
- expert systems
- steady states
- limit cycle
- computing systems