Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics.
Luke RickardThom S. BadingsLicio RomaoNils JansenAlessandro AbatePublished in: CoRR (2022)
Keyphrases
- linear systems
- dynamical systems
- controller synthesis
- markov chain
- external disturbances
- autonomic computing systems
- sufficient conditions
- closed loop
- state space
- control theory
- control law
- sliding mode control
- sparse linear systems
- decision making
- coefficient matrix
- control system
- radial basis function neural network
- pid controller
- control algorithm
- differential equations
- multi agent
- adaptive fuzzy
- dynamic model
- autonomic systems