Marius Kloetzer
제목
인용
인용
연도
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
5202008
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
1822009
Temporal logic planning and control of robotic swarms by hierarchical abstractions
M Kloetzer, C Belta
IEEE Transactions on Robotics 23 (2), 320-330, 2007
1362007
Automatic deployment of robotic teams
XC Ding, M Kloetzer, Y Chen, C Belta
IEEE Robotics & Automation Magazine 18 (3), 75-86, 2011
832011
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
Reachability analysis of multi-affine systems
M Kloetzer, C Belta
International Workshop on Hybrid Systems: Computation and Control, 348-362, 2006
792006
Dealing with nondeterminism in symbolic control
M Kloetzer, C Belta
International Workshop on Hybrid Systems: Computation and Control, 287-300, 2008
692008
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
602011
Hierarchical abstractions for robotic swarms
M Kloetzer, C Belta
Proceedings 2006 IEEE International Conference on Robotics and Automation …, 2006
472006
A matlab-based interactive simulator for mobile robotics
R Gonzalez, C Mahulea, M Kloetzer
2015 IEEE International Conference on Automation Science and Engineering …, 2015
412015
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
A Petri net based approach for multi-robot path planning
M Kloetzer, C Mahulea
Discrete Event Dynamic Systems 24 (4), 417-445, 2014
372014
LTL-based planning in environments with probabilistic observations
M Kloetzer, C Mahulea
IEEE Transactions on Automation Science and Engineering 12 (4), 1407-1420, 2015
342015
Trajectory planning for a car-like robot by environment abstraction
N Ghita, M Kloetzer
Robotics and Autonomous Systems 60 (4), 609-619, 2012
312012
LTL planning for groups of robots
M Kloetzer, C Belta
2006 IEEE International Conference on Networking, Sensing and Control, 578-583, 2006
312006
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
282015
Hybrid systems: computation and control
J Hespanha, A Tiwari
Springer Berlin/Heidelberg., 2006
272006
Control of rectangular multi-affine hybrid systems
L Habets, M Kloetzer, C Belta
Proceedings of the 45th IEEE Conference on Decision and Control, 2619-2624, 2006
242006
Petri net approach for deadlock prevention in robot planning
M Kloetzer, C Mahulea, JM Colom
2013 IEEE 18th Conference on Emerging Technologies & Factory Automation …, 2013
232013
Robot planning based on boolean specifications using Petri net models
C Mahulea, M Kloetzer
IEEE Transactions on Automatic Control 63 (7), 2218-2225, 2017
202017
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20