Följ
Calin Belta
Calin Belta
Brendan Iribe Endowed Professor, University of Maryland
Verifierad e-postadress på bu.edu - Startsida
Titel
Citeras av
Citeras av
År
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
6392008
Formal methods for discrete-time dynamical systems
C Belta, B Yordanov, EA Gol
Springer 89, 01, 2017
5092017
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
5052007
Abstraction and control for groups of robots
C Belta, V Kumar
IEEE Transactions on robotics 20 (5), 865-875, 2004
4432004
Control barrier functions for systems with high relative degree
W Xiao, C Belta
2019 IEEE 58th conference on decision and control (CDC), 474-479, 2019
3292019
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
3192005
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
2782001
Controlling a class of nonlinear systems on rectangles
C Belta, LC Habets
IEEE Transactions on Automatic Control 51 (11), 1749-1759, 2006
2642006
Reinforcement learning with temporal logic rewards
X Li, CI Vasile, C Belta
2017 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2017
2632017
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
2582011
High-order control barrier functions
W Xiao, C Belta
IEEE Transactions on Automatic Control 67 (7), 3655-3662, 2021
2432021
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
2322013
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
2242009
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
2192014
Q-learning for robust satisfaction of signal temporal logic specifications
D Aksaray, A Jones, Z Kong, M Schwager, C Belta
2016 IEEE 55th Conference on Decision and Control (CDC), 6565-6570, 2016
2052016
Robust temporal logic model predictive control
S Sadraddini, C Belta
2015 53rd Annual Allerton Conference on Communication, Control, and …, 2015
1982015
A decision tree approach to data classification using signal temporal logic
G Bombara, CI Vasile, F Penedo, H Yasuoka, C Belta
Proceedings of the 19th International Conference on Hybrid Systems …, 2016
1802016
Temporal logic planning and control of robotic swarms by hierarchical abstractions
M Kloetzer, C Belta
IEEE Transactions on Robotics 23 (2), 320-330, 2007
1782007
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
1702011
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
1702011
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20