Calin Belta
Calin Belta
Dirección de correo verificada de bu.edu
TítuloCitado porAñ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
4432008
Abstraction and control for groups of robots
C Belta, V Kumar
IEEE Transactions on robotics 20 (5), 865-875, 2004
3782004
Symbolic planning and control of robot motion [grand challenges of robotics]
C Belta, A Bicchi, M Egerstedt, E Frazzoli, E Klavins, GJ Pappas
IEEE Robotics & Automation Magazine 14 (1), 61-70, 2007
3602007
Discrete abstractions for robot motion planning and control in polygonal environments
C Belta, V Isler, GJ Pappas
IEEE Transactions on Robotics 21 (5), 864-874, 2005
2582005
Hybrid modeling and simulation of biomolecular networks
R Alur, C Belta, F Ivančić, V Kumar, M Mintz, GJ Pappas, H Rubin, ...
International workshop on hybrid systems: Computation and control, 19-32, 2001
2552001
Controlling a class of nonlinear systems on rectangles
C Belta, LC Habets
IEEE Transactions on Automatic Control 51 (11), 1749-1759, 2006
2262006
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
1582009
Robustness analysis and tuning of synthetic gene networks
G Batt, B Yordanov, R Weiss, C Belta
Bioinformatics 23 (18), 2415-2422, 2007
1552007
Temporal logic planning and control of robotic swarms by hierarchical abstractions
M Kloetzer, C Belta
IEEE Transactions on Robotics 23 (2), 320-330, 2007
1302007
Temporal logic control of discrete-time piecewise affine systems
B Yordanov, J Tumova, I Cerna, J Barnat, C Belta
IEEE Transactions on Automatic Control 57 (6), 1491-1504, 2011
1252011
Optimal path planning for surveillance with temporal-logic constraints
SL Smith, J Tůmová, C Belta, D Rus
The International Journal of Robotics Research 30 (14), 1695-1708, 2011
1242011
Optimality and robustness in multi-robot path planning with temporal logic constraints
A Ulusoy, SL Smith, XC Ding, C Belta, D Rus
The International Journal of Robotics Research 32 (8), 889-911, 2013
1122013
Formal methods for discrete-time dynamical systems
C Belta, B Yordanov, EA Gol
Springer, 2017
1052017
Temporal logic motion planning and control with probabilistic satisfaction guarantees
M Lahijanian, SB Andersson, C Belta
IEEE Transactions on Robotics 28 (2), 396-409, 2011
1052011
An SVD-based projection method for interpolation on SE (3)
C Belta, V Kumar
IEEE transactions on Robotics and Automation 18 (3), 334-345, 2002
1032002
Formal approach to the deployment of distributed robotic teams
Y Chen, XC Ding, A Stefanescu, C Belta
IEEE Transactions on Robotics 28 (1), 158-171, 2011
1012011
Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees
M Lahijanian, J Wasniewski, SB Andersson, C Belta
2010 IEEE International Conference on Robotics and Automation, 3227-3232, 2010
982010
Optimal control of Markov decision processes with linear temporal logic constraints
X Ding, SL Smith, C Belta, D Rus
IEEE Transactions on Automatic Control 59 (5), 1244-1257, 2014
962014
Trajectory design for formations of robots by kinetic energy shaping
C Belta, V Kumar
Proceedings 2002 IEEE International Conference on Robotics and Automation …, 2002
962002
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20