UAV Swarms Behavior Modeling Using Tracking Bigraphical Reactive Systems.

Piotr Cybulski Zbigniew Zielinski

Published in: Sensors (2021)

Keyphrases

reactive systems
real time
model checking
information flow
particle swarm optimization
behavior analysis
dynamic environments
petri net
collective behavior
temporal logic
vision based navigation
particle filter
formal methods
modeling language
unmanned aerial vehicles
first order logic
state machines
case study