Alain Beaulieu

Publication Activity (10 Years)

Years Active: 2008-2018
Publications (10 Years): 5

Top Topics

Vehicle Routing

Surface Defects

Predictive Control

Top Venues

Publications

Romulo Gonçalves Lins, Sidney N. Givigi, Arthur D. M. Freitas, Alain Beaulieu
Autonomous Robot System for Inspection of Defects in Civil Infrastructures. IEEE Syst. J. 12 (2) (2018)
Alain Beaulieu, Sidney N. Givigi, Dany Ouellet, Jay Thor Turner
Model-Driven Development Architectures to Solve Complex Autonomous Robotics Problems. IEEE Syst. J. 12 (2) (2018)
Alain Beaulieu, A. Lapointe, Sidney Nascimento Givigi, K. Sillins, A. Lavoie, K. Tilley, N. Le Bel
Network of wireless medical devices to assess the gait of rehabilitation in patients for walking and running. SysCon (2017)
Nicolas Hili, Juergen Dingel, Alain Beaulieu
Modelling and code generation for real-time embedded systems with UML-RT and papyrus-RT. ICSE (Companion Volume) (2017)
James P. Jessup, Sidney N. Givigi, Alain Beaulieu
Robust and Efficient Multirobot 3-D Mapping Merging With Octree-Based Occupancy Grids. IEEE Syst. J. 11 (3) (2017)
Guillaume Vigeant, Alain Beaulieu, Sidney N. Givigi
Hard Real-Time scheduling on a multicore platform. SysCon (2015)
Romulo Gonçalves Lins, Eduardo Wisniewski Marcondes Gomes, Marcio Corazzim, Alain Beaulieu
Development and implementation of a natural interface to control an industrial hydraulic robot arm. SysCon (2015)
Mohamad Iskandarani, Sidney Nascimento Givigi, Giovanni Fusina, Alain Beaulieu
Unmanned Aerial Vehicle formation flying using Linear Model Predictive Control. SysCon (2014)
Ahmed T. Hafez, Mohamad Iskandarani, Sidney N. Givigi, Shahram Yousefi, Alain Beaulieu
Applying quadrotor aircraft to dynamic encirclement. SysCon (2014)
James P. Jessup, Sidney Nascimento Givigi, Alain Beaulieu
Robust and efficient multi-robot 3D mapping with octree based occupancy grids. SMC (2014)
Ahmed T. Hafez, Mohamad Iskandarani, Sidney Nascimento Givigi, Shahram Yousefi, Aboelmagd Noureldin, Alain Beaulieu
Encirclement of moving target using linear model predictive control via feedback linearization. SMC (2014)
James P. Jessup, Sidney N. Givigi, Alain Beaulieu
Merging of octree based 3D occupancy grid maps. SysCon (2014)
Ahmed T. Hafez, Mohamad Iskandarani, Sidney Nascimento Givigi, Shahram Yousefi, Camille Alain Rabbath, Alain Beaulieu
Using Linear Model Predictive Control via Feedback Linearization for dynamic encirclement. ACC (2014)
David Pike, Sidney Nascimento Givigi, Joshua A. Marshall, Adrian Taylor, Alain Beaulieu
Robust vehicle routing policies using local communications & sensing. ACC (2013)
Mohamad Iskandarani, Sidney N. Givigi, Camille Alain Rabbath, Alain Beaulieu
Linear Model Predictive Control for the encirclement of a target using a quadrotor aircraft. MED (2013)
Mohamad Iskandarani, Ahmed T. Hafez, Sidney N. Givigi, Alain Beaulieu, Camille Alain Rabbath
Using multiple Quadrotor aircraft and Linear Model Predictive Control for the encirclement of a target. SysCon (2013)
Yann Moffett, Jürgen Dingel, Alain Beaulieu
Verifying Protocol Conformance Using Software Model Checking for the Model-Driven Development of Embedded Systems. IEEE Trans. Software Eng. 39 (9) (2013)
Jay Thor Turner, Sidney N. Givigi, Alain Beaulieu
Implementation of a subsumption based architecture using model-driven development. SysCon (2013)
Flavio Stasi, Rip Pennell, Sidney N. Givigi, Alain Beaulieu
Systems approach for the development of a Silent Wireless Communicator. SysCon (2013)
Anthony J. Marasco, Sidney Nascimento Givigi, Camille Alain Rabbath, Alain Beaulieu
Dynamic encirclement of a moving target using decentralized nonlinear Model Predictive Control. ACC (2013)
Ahmed T. Hafez, Anthony J. Marasco, Sidney Nascimento Givigi, Alain Beaulieu, Camille Alain Rabbath
Encirclement of multiple targets using model predictive control. ACC (2013)
Luis Mendez, Sidney Nascimento Givigi, Howard M. Schwartz, Alain Beaulieu, Gerard Pieris, Giovanni Fusina
Validation of swarms of robots: theory and experimental results. SoSE (2012)
Yann Moffett, Alain Beaulieu, Jürgen Dingel
Verifying UML-RT Protocol Conformance Using Model Checking. MoDELS (2011)
Alain Beaulieu, Greg Phillips, Sandra Smith
Modeling Security Protocols using UML2. MODSEC@MoDELS (2008)