Marius Kloetzer

Orcid: 0000-0003-4338-0421

According to our database1, Marius Kloetzer authored at least 51 papers between 2004 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
On Multirobot Path Planning Based on Petri Net Models and LTL Specifications.
IEEE Trans. Autom. Control., September, 2024

Planning strategy based on visibility graph and traveling salesman problem with time window constraints.
Proceedings of the 28th International Conference on System Theory, Control and Computing, 2024

2023
Multi-robot Motion Planning based on Nets-within-Nets Modeling and Simulation.
CoRR, 2023

Multi-robot Motion Planning under MITL Specifications based on Time Petri Nets.
Proceedings of the European Control Conference, 2023

Extension of a decomposition method for a global LTL specification.
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.
CoRR, 2022

Distributing Co-safe LTL Specifications to Mobile Robots.
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>.
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.
Proceedings of the 25th International Conference on System Theory, Control and Computing, 2021

Optimal task allocation for distributed co-safe LTL specifications.
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.
Discret. Event Dyn. Syst., 2020

Distributed Path Planning of Mobile Robots with LTL Specifications.
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.
Proceedings of the 24th International Conference on System Theory, Control and Computing, 2020

2019
Path Planning for Autonomous Drones using 3D Rectangular Cuboid Decomposition.
Proceedings of the 23rd International Conference on System Theory, Control and Computing, 2019

Optimal Indoor Goods Delivery Using Drones.
Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

On the Evaluation of the Crazyflie Modular Quadcopter System.
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.
IEEE Trans. Autom. Control., 2018

Path-planning in Discretized Environments with Optimized Waypoints Computation.
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.
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

2015
LTL-Based Planning in Environments With Probabilistic Observations.
IEEE Trans Autom. Sci. Eng., 2015

Collision avoidance of mobile robots by using initial time delays.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Accomplish multi-robot tasks via Petri net models.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

A Matlab-based interactive simulator for mobile robotics.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

2014
A Petri net based approach for multi-robot path planning.
Discret. Event Dyn. Syst., 2014

An assembly problem with mobile robots.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

Planning mobile robots with Boolean-based specifications.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Optimal multi-agent planning solution for a sample gathering problem.
Proceedings of the IEEE International Conference on Automation, 2014

2013
Petri net approach for deadlock prevention in robot planning.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

2012
Trajectory planning for a car-like robot by environment abstraction.
Robotics Auton. Syst., 2012

LTL planning in dynamic environments.
Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

Online Petri net based algorithm for planning and controlling mobile robots.
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

2011
Automatic Deployment of Robotic Teams.
IEEE Robotics Autom. Mag., 2011

A probabilistic abstraction approach for planning and controlling mobile robots.
Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

Multi-robot deployment from LTL specifications with reduced communication.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Software tool for constructing cell decompositions.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

2010
Automatic Deployment of Distributed Teams of Robots From Temporal Logic Motion Specifications.
IEEE Trans. Robotics, 2010

An Automated Framework for Formal Verification of Timed Continuous Petri Nets.
IEEE Trans. Ind. Informatics, 2010

On the need for communication in distributed implementations of LTL motion specifications.
Proceedings of the IEEE International Conference on Robotics and Automation, 2010

2009
Automatic deployment of autonomous cars in a Robotic Urban-Like Environment (RULE).
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.
IEEE Trans. Autom. Control., 2008

Distributed implementations of global temporal logic motion specifications.
Proceedings of the 2008 IEEE International Conference on Robotics and Automation, 2008

Dealing with Nondeterminism in Symbolic Control.
Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

Formal analysis of timed continuous Petri nets.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

2007
Temporal Logic Planning and Control of Robotic Swarms by Hierarchical Abstractions.
IEEE Trans. Robotics, 2007

Managing non-determinism in symbolic robot motion planning and control.
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.
Proceedings of the 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2006

Hierarchical Abstractions for Robotic Swarms.
Proceedings of the 2006 IEEE International Conference on Robotics and Automation, 2006

Reachability Analysis of Multi-affine Systems.
Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006

A Fully Automated Framework for Control of Linear Systems from LTL Specifications.
Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006

Control of Rectangular Multi-Affine Hybrid Systems.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

2004
Neuro-predictive control based self-tuning of PID controllers.
Proceedings of the 12th European Symposium on Artificial Neural Networks, 2004


  Loading...