Swarm robotics coordination dynamics modelled and formalised through Coloured Petri Nets.
Claudiney R. TinocoLeiliane Pereira de RezendeStéphane JuliaGina M. B. OliveiraPublished in: ICTAI (2022)
Keyphrases
- coloured petri nets
- swarm robotics
- collective behavior
- swarm intelligence
- distributed control
- social insects
- decentralized control
- formal verification
- cooperative
- robotic systems
- information sharing
- multi agent systems
- multiagent systems
- multi agent
- computational intelligence
- artificial intelligence
- genetic algorithm
- information flow
- information exchange
- physical world
- model checking