Seguir
Marius Kloetzer
Título
Citado por
Citado por
Año
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
6252008
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
2142009
Temporal logic planning and control of robotic swarms by hierarchical abstractions
M Kloetzer, C Belta
IEEE Transactions on Robotics 23 (2), 320-330, 2007
1762007
Automatic deployment of robotic teams
XC Ding, M Kloetzer, Y Chen, C Belta
IEEE Robotics & Automation Magazine 18 (3), 75-86, 2011
962011
Reachability analysis of multi-affine systems
M Kloetzer, C Belta
International Workshop on Hybrid Systems: Computation and Control, 348-362, 2006
822006
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
702011
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
652015
A matlab-based interactive simulator for mobile robotics
R Gonzalez, C Mahulea, M Kloetzer
2015 IEEE International Conference on Automation Science and Engineering …, 2015
502015
A Petri net based approach for multi-robot path planning
M Kloetzer, C Mahulea
Discrete Event Dynamic Systems 24, 417-445, 2014
502014
Robot planning based on boolean specifications using Petri net models
C Mahulea, M Kloetzer
IEEE Transactions on Automatic Control 63 (7), 2218-2225, 2017
492017
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
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
452017
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
442020
Trajectory planning for a car-like robot by environment abstraction
N Ghita, M Kloetzer
Robotics and Autonomous Systems 60 (4), 609-619, 2012
442012
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
422010
Path planning of cooperative mobile robots using discrete event models
C Mahulea, M Kloetzer, R González
John Wiley & Sons, 2020
402020
LTL planning for groups of robots
M Kloetzer, C Belta
2006 IEEE International Conference on Networking, Sensing and Control, 578-583, 2006
342006
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20