Concepedia

Călin Belta

CB

184

Publications

10.2K

Citations

54

H-Index

2002

Active since

Affiliations

Boston University(Current)

Massachusetts Institute of Technology

University of Pennsylvania

Masaryk University

Eindhoven University of Technology

Călin Belta is an author at Boston University specializing in engineering, systems engineering, and computer science.

Top concepts

EngineeringSystems EngineeringComputer ScienceAutomationFormal MethodsRoboticsIntelligent SystemsFormal VerificationAutomated ReasoningRobot Learning

Publications per year

2002–2023

184

Publications

184

A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications

Marius Kloetzer, Călin Belta · IEEE Transactions on Automatic Control · 2008 · 535 citations

Engineering, Temporal Logic Specifications, Verification +19

Symbolic planning and control of robot motion [Grand Challenges of Robotics]

Călin Belta, Antonio Bicchi, Magnus Egerstedt et al. · IEEE Robotics & Automation Magazine · 2007 · 387 citations

Robot Kinematics, Engineering, Robot Planning +20

Abstraction and Control for Groups of Robots

Călin Belta, V. Kumar · IEEE Transactions on Robotics · 2004 · 338 citations

Artificial Intelligence, Engineering, Geometry +18

High-Order Control Barrier Functions

Wei Xiao, Călin Belta · IEEE Transactions on Automatic Control · 2021 · 311 citations

Engineering, Linear Optimization, Mathematical Control Theory +10

Control Barrier Functions for Systems with High Relative Degree

Wei Xiao, Călin Belta · 2019 · 287 citations

Mathematical Programming, Engineering, Forward Invariance +10

Rows per page

1–5 of 184