Follow
Marius Kloetzer
Title
Cited by
Cited by
Year
A fully automated framework for control of linear systems from temporal logic specifications
M Kloetzer, C Belta
IEEE Transactions on Automatic Control 53 (1), 287-297, 2008
6152008
Automatic deployment of distributed teams of robots from temporal logic motion specifications
M Kloetzer, C Belta
IEEE Transactions on Robotics 26 (1), 48-61, 2009
2082009
Temporal logic planning and control of robotic swarms by hierarchical abstractions
M Kloetzer, C Belta
IEEE Transactions on Robotics 23 (2), 320-330, 2007
1702007
Automatic deployment of robotic teams
XC Ding, M Kloetzer, Y Chen, C Belta
IEEE Robotics & Automation Magazine 18 (3), 75-86, 2011
942011
Reachability analysis of multi-affine systems
M Kloetzer, C Belta
International Workshop on Hybrid Systems: Computation and Control, 348-362, 2006
832006
A fully automated framework for control of linear systems from LTL specifications
M Kloetzer, C Belta
International Workshop on Hybrid Systems: Computation and Control, 333-347, 2006
822006
Dealing with nondeterminism in symbolic control
M Kloetzer, C Belta
International Workshop on Hybrid Systems: Computation and Control, 287-300, 2008
762008
Multi-robot deployment from LTL specifications with reduced communication
M Kloetzer, XC Ding, C Belta
2011 50th IEEE Conference on Decision and Control and European Control …, 2011
692011
Optimizing cell decomposition path planning for mobile robots using different metrics
M Kloetzer, C Mahulea, R Gonzalez
2015 19th international conference on system theory, control and computing …, 2015
642015
A matlab-based interactive simulator for mobile robotics
R Gonzalez, C Mahulea, M Kloetzer
2015 IEEE International Conference on Automation Science and Engineering …, 2015
492015
A Petri net based approach for multi-robot path planning
M Kloetzer, C Mahulea
Discrete Event Dynamic Systems 24, 417-445, 2014
492014
Hierarchical abstractions for robotic swarms
M Kloetzer, C Belta
Proceedings 2006 IEEE International Conference on Robotics and Automation …, 2006
492006
LTL-based planning in environments with probabilistic observations
M Kloetzer, C Mahulea
IEEE Transactions on Automation Science and Engineering 12 (4), 1407-1420, 2015
462015
Robot planning based on boolean specifications using Petri net models
C Mahulea, M Kloetzer
IEEE Transactions on Automatic Control 63 (7), 2218-2225, 2017
452017
Trajectory planning for a car-like robot by environment abstraction
N Ghita, M Kloetzer
Robotics and Autonomous Systems 60 (4), 609-619, 2012
452012
Comparative study of trajectories resulted from cell decomposition path planning approaches
R Gonzalez, M Kloetzer, C Mahulea
2017 21st International Conference on System Theory, Control and Computing …, 2017
422017
An automated framework for formal verification of timed continuous petri nets
M Kloetzer, C Mahulea, C Belta, M Silva
IEEE Transactions on Industrial Informatics 6 (3), 460-471, 2010
402010
Path planning for robotic teams based on LTL specifications and Petri net models
M Kloetzer, C Mahulea
Discrete Event Dynamic Systems 30 (1), 55-79, 2020
392020
Path planning of cooperative mobile robots using discrete event models
C Mahulea, M Kloetzer, R González
John Wiley & Sons, 2020
362020
LTL planning for groups of robots
M Kloetzer, C Belta
2006 IEEE International Conference on Networking, Sensing and Control, 578-583, 2006
332006
The system can't perform the operation now. Try again later.
Articles 1–20