Title
Coordination Of Concurrent Mobile Robot Motion Processes With Composite Automaton Supervisor
Abstract
Coordination of multiple mobile robots operating in the same area requires a discrete-event supervisor, whose role is to ensure their correct concurrent motion. Performance analysis of such a system requires a hybrid model that combines the DES model of the supervisor with the continuous time models of the robot motion processes. The contribution of this paper is twofold. We propose the logic that formally ensures collision and deadlock free robot coordination and implement it in the form of a composite automaton supervisor. This allows us to to combine the supervisor with time models of robot motion processes in Matlab/Simulink/Stateflow environment. The obtained simulation model of a system of multiple mobile robots ensures their formally correct co-operation and can be directly used for prediction or experimental optimization of the system performance.
Year
Venue
Field
2018
2018 23RD INTERNATIONAL CONFERENCE ON METHODS & MODELS IN AUTOMATION & ROBOTICS (MMAR)
Supervisor,MATLAB,Computer science,Automaton,Robot kinematics,Collision,Control engineering,Stateflow,Robot,Mobile robot
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
3
Name
Order
Citations
PageRank
Elzbieta Roszkowska1446.41
Piotr Dulewicz200.34
Lukasz Janiec300.34