Marius Kloetzer

 

 

Research assistant
                   working with Professor Calin Belta

 

 

Currently pursuing Ph.D. in Systems Engineering at

 

Boston University

 

 

 

B.S., M.Sc., Technical University of Iasi, Romania, 2003

 

 

 

Contact Information:

Office:

 

 

15 Saint Mary’s St., Room 145

Boston University

Boston, MA 02446

Phone:

617 353 1001

E-mail:

kmarius@bu.edu

 

 

 

Research Interests:

Discrete abstractions, Hybrid systems, Robot motion planning , LTL (Linear Temporal Logic)

Identification and predictive control using neural networks; Fuzzy logic

 

 

 

Recent publications:

 

Journals:

 

Ø      M. Kloetzer and C. Belta, A Fully Automated Framework for Control of Linear Systems From Temporal Logic Specifications, IEEE Transactions on Automatic Control (TAC), 2008 (in print) [pdf]

 

Ø      M. Kloetzer and C. Belta, Temporal Logic Planning and Control of Robotic Swarms by Hierarchical Abstractions, IEEE Transactions on Robotics (TRO), vol. 23 (2), Apr. 2007, pp. 320 – 330 [pdf]

 

 

Book Chapters:

 

Ø      M. Kloetzer and C. Belta, Dealing with nondeterminism in symbolic control. In: Lecture Notes in Computer Science, Springer Berlin / Heidelberg, vol. 4981, 2008 (in print) (to be presented at HSCC’08 conference) [pdf]

 

Ø      M. Kloetzer and C. Belta, Reachability analysis of multi-affine systems. In: Lecture Notes in Computer Science, Springer Berlin / Heidelberg, vol. 3927, pp. 348 – 362, 2006 (presented at HSCC’06 conference, Santa Barbara, CA) [pdf]

 

Ø      M. Kloetzer and C. Belta, A fully automated framework for control of linear systems from LTL specifications. In: Lecture Notes in Computer Science, Springer Berlin / Heidelberg, vol. 3927, pp. 333 – 347, 2006 (presented at HSCC’06 conference, Santa Barbara, CA) [pdf]

 

 

Conference Papers:

 

Ø      M. Kloetzer and C. Belta, Distributed implementations of global temporal logic motion specifications, IEEE International Conference on Robotics and Automation (ICRA), Pasadena, CA, May 2008 (accepted) [pdf]

 

Ø      M. Kloetzer and C. Belta, Control of multi-robot teams based on LTL specifications, 4th IFAC Conference on Management and Control of Production and Logistics (MCPL), Sibiu, Romania, Sept. 2007, pp. 103 –108 [pdf]

 

Ø      M. Kloetzer and C. Belta, Managing non-determinism in symbolic robot motion planning and control, IEEE International Conference on Robotics and Automation (ICRA), Rome, Italy, Apr. 2007, pp. 3110 – 3115 [pdf]

 

Ø      M. Kloetzer, L.C.G.J.M. Habets, and C. Belta, Control of rectangular multi-affine hybrid systems, 45th IEEE Conference on Decision and Control (CDC), San Diego, CA, Dec. 2006, pp. 2619 – 2624 [pdf]

 

Ø      M. Kloetzer and C. Belta, A framework for automatic deployment of robots in 2D and 3D environments, IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Beijing, China, Oct. 2006, pp. 953 – 958 [pdf]

 

Ø      M. Kloetzer and C. Belta, LTL planning for groups of robots, IEEE International Conference on Networking, Sensing, and Control (ICNSC), Ft. Lauderdale, FL, Apr. 2006, pp. 578 – 583 [pdf]

 

Ø      M. Kloetzer and C. Belta, Hierarchical abstractions for robotic swarms, IEEE International Conference on Robotics and Automation (ICRA), Orlando, FL, May 2006, pp. 952 – 957 [pdf]

 

 

 

[older publications]

 

 

 

Software:

 

Ø      Automatic deployment of robots in 2D and 3D environments

 

Ø      LTLCon: Control of linear systems from LTL formulas over linear predicates

 

Ø      RAMAS: Reachability analysis of multiaffine systems

 

Ø      Control of multi-robot teams based on LTL specifications

 

(software list to be updated ...)

 

 

 

Page updated: Feb. 8, 08