![](bg6.png)
ming language in order to enable its operation in real
time scenarios (including timing analysis) using a real
UAV and also perform more comparisons with the lat-
est techniques available in UAV control literature.
REFERENCES
G. De Micheli, Synthesis and Optimization of Digital Cir-
cuits, McGraw- Hill, Inc., 1994.
T.Villa, T.Kam, R.K.Brayton, A.Sangiovanni-Vincentelli,
Synthesis of Finite State Machines: Logic Optimiza-
tion, Kluwer Academic Publishers, 1997.
Branco, K., Pelizzoni, J., Oliveira Neris, L., Trindade, O.,
Osorio, F., and Wolf, D. (2011). Tiriba - a new ap-
proach of uav based on model driven development and
multiprocessors. In Robotics and Automation (ICRA),
2011 IEEE International Conference on, pages 1–4.
Cavett, D., Coker, M., Jimenez, R., and Yaacoubi, B.
(2007). Human-computer interface for control of un-
manned aerial vehicles. In Systems and Information
Engineering Design Symposium, 2007. SIEDS 2007.
IEEE, pages 1–6.
Changqing, Y. and Zhurong, W. (2013). Uav path plan-
ning using gso-de algorithm. In TENCON 2013 - 2013
IEEE Region 10 Conference (31194), pages 1–4.
Dayuan, G., Zheng, M., and Hai, Z. (2013). Modeling
and control of unmanned aerial vehicle using self-
organizing map multiple models. In Control and De-
cision Conference (CCDC), 2013 25th Chinese, pages
4177–4182.
Devaud, J., Najko, S., Le Nahedic, P., Maussire, C., Zante,
E., and Marzat, J. (2012). Full design of a low-cost
quadrotor uav by student team. In System Engineering
and Technology (ICSET), 2012 International Confer-
ence on, pages 1–6.
Ercegovac, M. (2000). Introducao aos Sistemas Digitais.
Bookman.
Ericson, C. A. (1999). Fault Tree Analysis A History. In
Proceedings of The 17th International System Safety
Conference.
Girault, A., Lee, B., and Lee, E. A. (1999). Hierarchical
finite state machines with multiple concurrency mod-
els. IEEE Transactions on Computer-aided Design of
Integrated Circuits and Systems, 18:742–760.
He, R., Bachrach, A., Achtelik, M., Geramifard, A., Gur-
dan, D., Prentice, S., Stumpf, J., and Roy, N. (2010).
On the design and use of a micro air vehicle to track
and avoid adversaries. Int. J. Rob. Res., 29(5):529–
546.
Huang, H. and Sturm, J. (2014). Tum package.
Jeon, J., Lee, H., Han, S., Lee, H., Lee, C., Kim, Y. B.,
and Choi, H. R. (2013). Design and control of an
unmanned aerial vehicle (uav) based on the coanda
effect. In Ubiquitous Robots and Ambient Intelli-
gence (URAI), 2013 10th International Conference
on, pages 129–129.
McCune, R., Purta, R., Dobski, M., Jaworski, A., Madey,
G., Madey, A., Wei, Y., and Blake, M. (2013). In-
vestigations of dddas for command and control of uav
swarms with agent-based modeling. In Simulation
Conference (WSC), 2013 Winter, pages 1467–1478.
Ping, J., Ling, A. E., Quan, T. J., and Dat, C. Y. (2012).
Generic unmanned aerial vehicle (uav) for civilian
application-a feasibility assessment and market survey
on civilian application for aerial imaging. In Sustain-
able Utilization and Development in Engineering and
Technology (STUDENT), 2012 IEEE Conference on,
pages 289–294.
Quigley, M., Conley, K., Gerkey, B. P., Faust, J., Foote, T.,
Leibs, J., Wheeler, R., and Ng, A. Y. (2009). Ros: an
open-source robot operating system. In ICRA Work-
shop on Open Source Software.
Rabbath, C. (2013a). A finite-state machine for collabo-
rative airlift with a formation of unmanned air vehi-
cles. Journal of Intelligent & Robotic Systems, 70(1-
4):233–253.
Rabbath, C. (2013b). A finite-state machine for collabo-
rative airlift with a formation of unmanned air vehi-
cles. Journal of Intelligent & Robotic Systems, 70(1-
4):233–253.
Sklyarov, V. and Skliarova, I. (2008). Design and im-
plementation of parallel hierarchical finite state ma-
chines. In Communications and Electronics, 2008.
ICCE 2008. Second International Conference on,
pages 33–38.
Trimble, G. (1987). A multiprocessor system for auv appli-
cations. In Unmanned Untethered Submersible Tech-
nology, Proceedings of the 1987 5th International
Symposium on, volume 5, pages 208–219.
Wang, Y., Yan, W., and Yan, W. (2009). A leader-follower
formation control strategy for auvs based on line-of-
sight guidance. In Mechatronics and Automation,
2009. ICMA 2009. International Conference on, pages
4863–4867.
AParallelHierarchicalFiniteStateMachineApproachtoUAVControlforSearchandRescueTasks
415