Skip to main navigation
Skip to search
Skip to main content
Aalborg University's Research Portal Home
Dansk
English
Home
Profiles
Projects
Publications
Activities
Research units
Facilities
Press/Media
Prizes
Datasets
Impacts
Search by keywords, name or affiliation
Towards Coordination and Control of Multi-robot Systems
Michael Melholt Quottrup
Automation & Control
Department of Electronic Systems
Research output
:
PhD thesis
250
Downloads (Pure)
Overview
Fingerprint
Projects
(1)
Fingerprint
Dive into the research topics of 'Towards Coordination and Control of Multi-robot Systems'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Bisimulation
50%
Computation Tree Logic
25%
Controller Synthesis
50%
Discrete Controller
25%
Formal Specification
25%
Hybrid Automata
25%
Linear Temporal Logic
25%
Mobile Robot
25%
Modal
25%
Model Checker
25%
Motion Plan
25%
Multi-robot Systems
100%
Original System
50%
Requirements Specification
50%
Robot Network
50%
Symbolic Model Checking
25%
System Behavior
25%
Time Constraints
25%
Timed Automata
25%
UPPAAL
25%
Computer Science
Controller Synthesis
22%
Formal Specification
11%
Hybrid Automaton
11%
linear time temporal logic
11%
model checker
11%
Model Checking
11%
multiple robot
100%
Requirement Specification
22%
Robot
100%
System Behavior
11%
Timed Automaton
11%
Timing Constraint
11%