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