PUBLICATIONS

Books  |  Patents  | 2026 | 2025  |  2024  |  2023   |   2022   |   2021   |  2020   |   2019   |   2018   |   2017   |   2016   |   2015   |   2014   |   2013   |   2012   |   2011   |   2010   |   2009   |   2008   |   2007   |   before 2007

Alex Beaudin, Hanna Krasowski, Eric Palanques-Tost, Calin Belta, Murat Arcak,  Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic, IEEE Control Systems Letters (L-CSS) (in print), 2026

TBD

Kermanshah Mehdi, Beaver Logan E., Sokolich Max, Kirmizitas Fatma Ceren, Ahmad Ahmad, Tron Roberto, Weiss Ron, Das Sambeeta, Belta Calin, Model Predictive Control for Magnetically Actuated Cellbots, Advanced Robotics Research 2026, 0, e70182. https://doi.org/10.1002/adrr.70182 (pdf)

@article{https://doi.org/10.1002/adrr.70182,
author = {Kermanshah, Mehdi and Beaver, Logan E. and Sokolich, Max and Kirmizitas, Fatma Ceren and Ahmad, Ahmad and Tron, Roberto and Weiss, Ron and Das, Sambeeta and Belta, Calin},
title = {Model Predictive Control for Magnetically Actuated Cellbots},
journal = {Advanced Robotics Research},
volume = {n/a},
number = {n/a},
pages = {e70182},
keywords = {Gaussian process, magnetic actuation, medical application, microrobots, model predictive controller},
doi = {https://doi.org/10.1002/adrr.70182},
url = {https://advanced.onlinelibrary.wiley.com/doi/abs/10.1002/adrr.70182},
eprint = {https://advanced.onlinelibrary.wiley.com/doi/pdf/10.1002/adrr.70182},
abstract = {This article presents a control strategy for, which are magnetically actuated, micron-scale robots embedded into living cells. Our approach combines model predictive control, which provides low computational complexity and adaptability to changing environments, with Gaussian Processes (GPs), which are used as disturbance estimators for precise path tracking. To address the challenges posed by unmodeled dynamics, we integrate data-driven modeling with model-based control to accurately track desired trajectories using relatively small data. To the best of our knowledge, this is the first work to integrate data-driven modeling with model-based control for magnetically actuated cellbots. The GP effectively learns and predicts unmodeled disturbances, providing uncertainty bounds as well. The experimental results show that our controllers perform very well, even in environments cluttered with cells.}
}

Yi-Hsuan Chen, Salman Sarfaraz Ghori, Ania Adil, Eric Feron, Calin Belta, Long-Horizon Geometry-Aware Navigation among Polytopes via MILP-MPC and Minkowski-Based CBFs, 65th IEEE Conference on Decision and Control (CDC), Honolulu, Hawaii, USA, 2026

TBD

Ryan Matheu, John S. Baras, Calin Belta, Ternary Logic Encodings of Temporal Behavior Trees with Application to Control Synthesis, 65th IEEE Conference on Decision and Control (CDC), Honolulu, Hawaii, USA, 2026

TBD

Shuo Liu, Liang Wu, Dawei Zhang, Jan Drgona, Calin Belta, Koopman-Based Linear MPC for Safe Control using Control Barrier Functions, 65th IEEE Conference on Decision and Control (CDC), Honolulu, Hawaii, USA, 2026

TBD

Sai Sandeep Damera, Ryan Matheu, Aniruddh Gopinath Puranic, John S. Baras, Calin Belta, On the Stability and Realizability of Recurrent Polynomial Surrogate Ternary Logic Gate Networks, 65th IEEE Conference on Decision and Control (CDC), Honolulu, Hawaii, USA, 2026

TBD

Clinton Enwerem, John S. Baras, Calin Belta, Risk-Constrained Belief-Space Optimization for Safe Control under Latent Uncertainty, 65th IEEE Conference on Decision and Control (CDC), Honolulu, Hawaii, USA, 2026

TBD

Eric Palanques-Tost, Ron Weiss, Calin Belta, Experimental Design for Controller Selection in Synthetic Biology, 65th IEEE Conference on Decision and Control (CDC), Honolulu, Hawaii, USA, 2026

TBD

Shuo Liu, Zhe Huang, Jun Zeng, Koushil Sreenath, Calin Belta, Learning-Enabled Iterative Convex Optimization for Safety-Critical Model Predictive Control, 65th IEEE Conference on Decision and Control (CDC), Honolulu, Hawaii, USA, 2026

TBD

Clinton Enwerem, Shreya Kalyanaraman, John Baras, Calin Belta, Variational Neural Belief Parameterizations for Robust Dexterous Grasping under Multimodal Uncertainty, IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2026

TBD

Shuo Liu, Zhe Huang, Calin Belta, Iterative Convex Optimization with Control Barrier Functions for Obstacle Avoidance among Polytopes, IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2026

TBD

Shuo Liu, Wei Xiao, Calin Belta, Sampling-Aware Control Barrier Functions for Safety-Critical and Finite-Time Constrained Control, European Control Conference (ECC), Reykjavík, Iceland, 2026

TBD

Maria Charitidou, John S. Baras, Calin Belta, Distributed Trust-Based Multi-Agent Control under Signal Temporal Logic Specifications, European Control Conference (ECC), Reykjavík, Iceland, 2026

TBD

Shuo Liu, Wei Xiao, Calin Belta, Safety-Critical Control with Guaranteed Lipschitz Continuity via Filtered Control Barrier Functions, American Control Conference (ACC), New Orleans, 2026

TBD

Alper Bozkurt, Calin Belta, Ming Lin, Accelerated Learning with Linear Temporal Logic using Differentiable Simulation, 14th International Conference on Learning Representations (ICLR), Rio de Janeiro, 2026

TBD

Books  |  Patents  | 2026 | 2025  |  2024  |  2023   |   2022   |   2021   |  2020   |   2019   |   2018   |   2017   |   2016   |   2015   |   2014   |   2013   |   2012   |   2011   |   2010   |   2009   |   2008   |   2007   |   before 2007