论文信息 - Discrete Event Systems based Modeling for Agricultural Multiple Unmanned Aerial Vehicles: Automata Theory Approach

Discrete Event Systems based Modeling for Agricultural Multiple Unmanned Aerial Vehicles: Automata Theory Approach

A discrete event system (DES) is a dynamic system in which the state of a system is changed by the occurrence of an event. This study presents the formal modeling for agricultural multiple unmanned aerial vehicle (UAV) system based on DES theory. To model the multi-UAV system, we model the states of UAVs using a finite state automaton. This approach using automata theory provides a systematic procedure for designing supervisory control theory, which is a control mechanism that can change the dynamic change of the system to a desired state based on discrete event modeling.

Hyoung Il Son | Chanyoung Ju

[1] P. Ramadge,et al. Supervisory control of a class of discrete event processes , 1987 .

[2] Antonio Barrientos,et al. Aerial remote sensing in agriculture: A practical approach to area coverage and path planning for fleets of mini aerial robots , 2011, J. Field Robotics.

[3] W. M. Wonham,et al. The control of discrete event systems , 1989 .

[4] Eric Klavins. A Formal Model of a Multi-Robot Control and Communication Task , 2003 .

[5] Pedro U. Lima,et al. Modelling, analysis and execution of multi-robot tasks using petri nets , 2008, AAMAS.

[6] Jeffrey D. Ullman,et al. Introduction to Automata Theory, Languages and Computation , 1979 .

[7] Y. Ho,et al. Models of discrete event dynamic systems , 1990, IEEE Control Systems Magazine.

[8] André B. Leal,et al. Modeling and Supervisory Control of Mobile Robots: A Case of a Sumo Robot , 2016 .

[9] Gayan W. Gamage,et al. Discrete event systems based formation control framework to coordinate multiple nonholonomic mobile robots , 2009, 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems.