Duality-Based Nested Controller Synthesis from STL Specifications for Stochastic Linear Systems.
Susmit JhaSunny RajSumit Kumar JhaNatarajan ShankarPublished in: FORMATS (2018)
Keyphrases
- linear systems
- controller synthesis
- autonomic computing systems
- sufficient conditions
- dynamical systems
- control system
- closed loop
- sparse linear systems
- control theory
- linear programming
- coefficient matrix
- neural network
- input output
- pid controller
- fuzzy logic
- expert systems
- autonomic systems
- multi agent
- genetic algorithm