Controller Synthesis for Omega-Regular and Steady-State Specifications.
Alvaro VelasquezIsmail AlkhouriAndre BeckusAshutosh TrivediGeorge K. AtiaPublished in: AAMAS (2022)
Keyphrases
- steady state
- controller synthesis
- autonomic computing systems
- markov chain
- closed loop
- explicit expressions
- product form
- multi agent
- queue length
- control system
- operating conditions
- control algorithm
- queueing networks
- autonomic systems
- steady states
- state dependent
- service times
- controller design
- machine learning
- fluid model
- expert systems
- neural network