Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems.
Francesco LeofanteStefan SchuppErika ÁbrahámArmando TacchellaPublished in: ECMS (2019)
Keyphrases
- hybrid systems
- reachability analysis
- swarm robotics
- computational intelligence
- artificial intelligence
- swarm intelligence
- model checking
- markov decision processes
- intelligent systems
- black box
- soft computing
- timed automata
- meta learning
- neural network
- discrete event
- collective behavior
- incremental algorithms
- evolutionary computation
- decentralized control
- robotic systems
- state space
- distributed control
- multi agent
- fuzzy logic
- learning tasks
- particle swarm optimization
- supervised learning
- dynamic programming
- multi agent systems
- machine learning