Controller Synthesis for Unknown-Mode Linear Systems with an Epistemic variant of LTL.
Kwesi RutledgeYuhang MeiNecmiye OzayPublished in: ACC (2023)
Keyphrases
- linear systems
- controller synthesis
- autonomic computing systems
- sufficient conditions
- dynamical systems
- temporal logic
- control theory
- sparse linear systems
- model checking
- coefficient matrix
- autonomic systems
- closed loop
- real time
- multi agent
- interior point methods
- neural network
- external disturbances
- pid controller
- control system
- control algorithm
- state space