Switching Controller Synthesis for Hybrid Systems Against STL Formulas.
Han SuShenghua FengSinong ZhanNaijun ZhanPublished in: CoRR (2024)
Keyphrases
- hybrid systems
- controller synthesis
- autonomic computing systems
- black box
- closed loop
- neural network
- meta learning
- intelligent systems
- soft computing
- computational intelligence
- discrete event
- control system
- multi agent
- artificial intelligence
- control algorithm
- autonomic systems
- controller design
- inductive learning
- knowledge base
- control scheme
- pattern recognition
- dynamic systems
- access control
- artificial neural networks