Marius Kloetzer

Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023

2022

On Multi-Robot Path Planning Based on Petri Net Models and LTL specifications.

[BibT_eX]

[DOI]

CoRR, 2022

Distributing Co-safe LTL Specifications to Mobile Robots.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on System Theory, Control and Computing , 2022

Whitening of greenhouse's roof using drones and Petri net models<sup>*</sup>.

[BibT_eX]

[DOI]

Sofia Hustiu

Alejandro López-Martínez

Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

2021

Mission assignment and 3D path planning for a team of UAVs.

[BibT_eX]

[DOI]

Sofia Hustiu

Proceedings of the 25th International Conference on System Theory, Control and Computing, 2021

Optimal task allocation for distributed co-safe LTL specifications.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021

2020

Path planning for robotic teams based on LTL specifications and Petri net models.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2020

Distributed Path Planning of Mobile Robots with LTL Specifications.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on System Theory, Control and Computing, 2020

Collision Free Path Planning for Unmanned Aerial Vehicles in Environments with Dynamic Obstacles.

[BibT_eX]

[DOI]

Sofia Hustiu

Adrian Burlacu

Proceedings of the 24th International Conference on System Theory, Control and Computing, 2020

2019

Path Planning for Autonomous Drones using 3D Rectangular Cuboid Decomposition.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on System Theory, Control and Computing, 2019

Optimal Indoor Goods Delivery Using Drones.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

On the Evaluation of the Crazyflie Modular Quadcopter System.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

2018

Robot Planning Based on Boolean Specifications Using Petri Net Models.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2018

Path-planning in Discretized Environments with Optimized Waypoints Computation.

[BibT_eX]

[DOI]

Emanuele Vitolo

Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

2016

Multi-robot path planning for syntactically co-safe LTL specifications.

[BibT_eX]

[DOI]

Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

2015

LTL-Based Planning in Environments With Probabilistic Observations.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2015

Collision avoidance of mobile robots by using initial time delays.

[BibT_eX]

[DOI]

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Accomplish multi-robot tasks via Petri net models.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

A Matlab-based interactive simulator for mobile robotics.

[BibT_eX]

[DOI]

Ramon Gonzalez

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

2014

A Petri net based approach for multi-robot path planning.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2014

An assembly problem with mobile robots.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

Planning mobile robots with Boolean-based specifications.

[BibT_eX]

[DOI]

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Optimal multi-agent planning solution for a sample gathering problem.

[BibT_eX]

[DOI]

Adrian Burlacu

Florin Ostafi

Proceedings of the IEEE International Conference on Automation, 2014

2013

Petri net approach for deadlock prevention in robot planning.

[BibT_eX]

[DOI]

José Manuel Colom

Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

2012

Trajectory planning for a car-like robot by environment abstraction.

[BibT_eX]

[DOI]

Narcis Ghita

Robotics Auton. Syst., 2012

LTL planning in dynamic environments.

[BibT_eX]

[DOI]

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

Online Petri net based algorithm for planning and controlling mobile robots.

[BibT_eX]

[DOI]

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

2011

Automatic Deployment of Robotic Teams.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Mag., 2011

A probabilistic abstraction approach for planning and controlling mobile robots.

[BibT_eX]

[DOI]

Octavian Pastravanu

Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

Multi-robot deployment from LTL specifications with reduced communication.

[BibT_eX]

[DOI]

Xu Chu Ding

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Software tool for constructing cell decompositions.

[BibT_eX]

[DOI]

Narcis Ghita

Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

2010

Automatic Deployment of Distributed Teams of Robots From Temporal Logic Motion Specifications.

[BibT_eX]

[DOI]

IEEE Trans. Robotics, 2010

An Automated Framework for Formal Verification of Timed Continuous Petri Nets.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2010

On the need for communication in distributed implementations of LTL motion specifications.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2010

2009

Automatic deployment of autonomous cars in a Robotic Urban-Like Environment (RULE).

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE International Conference on Robotics and Automation, 2009

2008

A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2008

Distributed implementations of global temporal logic motion specifications.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE International Conference on Robotics and Automation, 2008

Dealing with Nondeterminism in Symbolic Control.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

Formal analysis of timed continuous Petri nets.

[BibT_eX]

[DOI]

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

2007

Temporal Logic Planning and Control of Robotic Swarms by Hierarchical Abstractions.

[BibT_eX]

[DOI]

IEEE Trans. Robotics, 2007

Managing non-determinism in symbolic robot motion planning and control.

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE International Conference on Robotics and Automation, 2007

2006

A Framework for Automatic Deployment of Robots in 2D and 3D Environments.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2006

Hierarchical Abstractions for Robotic Swarms.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE International Conference on Robotics and Automation, 2006

Reachability Analysis of Multi-affine Systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006

A Fully Automated Framework for Control of Linear Systems from LTL Specifications.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006

Control of Rectangular Multi-Affine Hybrid Systems.

[BibT_eX]

[DOI]

Luc C. G. J. M. Habets