Controller synthesis for linear temporal logic and steady-state specifications.
Alvaro VelasquezIsmail AlkhouriAndre BeckusAshutosh TrivediGeorge K. AtiaPublished in: Auton. Agents Multi Agent Syst. (2024)
Keyphrases
- steady state
- linear temporal logic
- bounded model checking
- controller synthesis
- temporal logic
- model checking
- transition systems
- markov chain
- closed loop
- control system
- explicit expressions
- product form
- concurrent systems
- formal specification
- queue length
- control algorithm
- queueing model
- specification language
- formal verification
- multi agent
- reactive systems
- heavy traffic
- arrival rate
- queueing networks
- neural network
- steady states
- controller design