PUBLICATIONS

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

2024

Erfan Aasi, Mingyu  Cai, Cristian-Ioan Vasile, Calin Belta, A Two-Level Control Algorithm for Autonomous Driving in Urban Environments, Transactions on Intelligent Transportation Systems, 2024 (to appear)

…coming soon

Noushin Mehdipour, Cristian Ioan Vasile, Calin Belta, Generalized Mean Robustness for Signal Temporal Logic, Automatica, 2024 (accepted)

…coming soon

Kasra Ghasemi, Sadra Sadraddini, and Calin Belta, Compositional synthesis for linear systems via convex optimization of assume-guarantee contracts, Automatica, vol. 169, pp. 111816, 2024 (pdf)

@article{GHASEMI2024111816,
title = {Compositional synthesis for linear systems via convex optimization of assume-guarantee contracts},
journal = {Automatica},
volume = {169},
pages = {111816},
year = {2024},
issn = {0005-1098},
doi = {https://doi.org/10.1016/j.automatica.2024.111816},
url = {https://www.sciencedirect.com/science/article/pii/S0005109824003108},
author = {Kasra Ghasemi and Sadra Sadraddini and Calin Belta},
keywords = {Assume-guarantee contract, Compositional correct-by-construction synthesis, Distributed robust model predictive control, Viable set, Zonotope, Interconnected linear systems},
abstract = {We take a divide and conquer approach to design controllers for reachability problems given large-scale linear systems with polyhedral constraints on states, controls, and disturbances. Such systems are made of small subsystems with coupled dynamics. We treat the couplings as additional disturbances and use assume-guarantee (AG) contracts to characterize these disturbance sets. For each subsystem, we design and implement a robust controller locally, subject to its own constraints and contracts. The main contribution of this paper is a method to derive the contracts via a novel parameterization and a corresponding potential function that characterizes the distance to the correct composition of controllers and contracts, where all contracts are held. We show that the potential function is convex in the contract parameters. This enables the subsystems to negotiate the contracts with the gradient information from the dual of their local synthesis optimization problems in a distributed way, facilitating compositional control synthesis that scales to large systems. We present numerical examples, including a scalability study on a system with tens of thousands of dimensions, and a simple case study on applying our method to a distributed Model Predictive Control (MPC) problem in a power system.}
}

Evan Appleton,  Noushin Mehdipour,  Tristan Daifuku,  Demarcus Briers,  Iman Haghighi,  Michaël Moret,  George Chao,  Timothy Wannier,  Anush Chiappino-Pepe,  Jeremy Huang,  Calin Belta,  George M. Church, Algorithms for Autonomous Formation of Multicellular Shapes from Single Cells,
ACS Synthetic Biology, DOI: 10.1021/acssynbio.4c00037, 2024 (pdf)

@article{doi:10.1021/acssynbio.4c00037,
author = {Appleton, Evan and Mehdipour, Noushin and Daifuku, Tristan and Briers, Demarcus and Haghighi, Iman and Moret, Michaël and Chao, George and Wannier, Timothy and Chiappino-Pepe, Anush and Huang, Jeremy and Belta, Calin and Church, George M.},
title = {Algorithms for Autonomous Formation of Multicellular Shapes from Single Cells},
journal = {ACS Synthetic Biology},
volume = {0},
number = {0},
pages = {null},
year = {0},
doi = {10.1021/acssynbio.4c00037},
note ={PMID: 39194023},

URL = {https://doi.org/10.1021/acssynbio.4c0003},
eprint = {https://doi.org/10.1021/acssynbio.4c00037}

}

Mehdi Kermanshah, Calin Belta, Roberto Tron, Control-Based Planning over Probability Mass Function Measurements via Robust Linear Programming, American Control Conference (ACC), Toronto, Canada, 2024

content coming soon…

Max Cohen, Makai Mann, Kevin Leahy, Calin Belta, Uncertainty Quantification for Recursive Estimation in Adaptive Safety-Critical Control, American Control Conference (ACC), Toronto, Canada, 2024

content coming soon…

L. E. Beaver, M. Sokolich, S. Alsalehi, R. Weiss, S. Das and C. Belta, Learning a Tracking Controller for Rolling μbots, IEEE Robotics and Automation Letters, vol. 9, no. 2, pp. 1819-1826, 2024 (also communicated at 2024 IROS, Abu Dhabi) (pdf)

@ARTICLE{10382672,
author={Beaver, Logan E. and Sokolich, Max and Alsalehi, Suhail and Weiss, Ron and Das, Sambeeta and Belta, Calin},
journal={IEEE Robotics and Automation Letters},
title={Learning a Tracking Controller for Rolling $\mu$bots},
year={2024},
volume={9},
number={2},
pages={1819-1826},
doi={10.1109/LRA.2024.3350968}}

Mr. Khayatian, M. Mehrabian, I.C. Tseng, C.W Lin, C. Belta, A. Shrivastava, Cooperative Driving of Connected Autonomous vehicle using Responsibility Sensitive Safety Rules: A Control Barrier Functions Approach, Transactions on Cyber-Physical Systems, 2024

… coming soon

Wei Xiao and Anni Li and Christos G. Cassandras and Calin Belta, Toward model-free safety-critical control with humans in the loop, Annual Reviews in Control, vol. 57, 2024 (pdf)

@article{XIAO2024100944,
abstract = {This vision article shows how to build on the framework of event-triggered Control Barrier Functions (CBFs) to design model-free controllers for safety-critical multi-agent systems with unknown dynamics, including humans in the loop. This event-triggered framework has been shown to be computationally efficient and robust while guaranteeing safety for systems with unknown dynamics. We show how to extend it to model-free safety critical control where a controllable ego agent does not need to model the dynamics of other agents and updates its control based only on events dependent on the error states of agents obtained by real-time sensor measurements. To facilitate the process of real-time sensor measurements critical in this approach, we also present CBF relative degree reduction methods, which can reduce the number of such measurements. We illustrate the effectiveness of the proposed framework on a multi-agent traffic merging decentralized control problem and on highway lane changing control with humans in the loop and relative degree reduction. We also compare the proposed event-driven method to the classical time-driven approach.},
author = {Wei Xiao and Anni Li and Christos G. Cassandras and Calin Belta},
doi = {https://doi.org/10.1016/j.arcontrol.2024.100944},
issn = {1367-5788},
journal = {Annual Reviews in Control},
keywords = {Unknown dynamics, Event-driven control, Model-free control, Human in the loop},
pages = {100944},
title = {Toward model-free safety-critical control with humans in the loop},
url = {https://www.sciencedirect.com/science/article/pii/S1367578824000130},
volume = {57},
year = {2024},
bdsk-url-1 = {https://www.sciencedirect.com/science/article/pii/S1367578824000130},
bdsk-url-2 = {https://doi.org/10.1016/j.arcontrol.2024.100944}}

Shuo Liu, Wei Xiao, Calin Belta, Feasibility-Guaranteed Safety-Critical Control with Applications to Heterogeneous Platoons, 63rd IEEE Conference on Decision and Control (CDC), Milano, Italy, 2024

coming soon

Shuo Liu, Wei Xiao, Calin Belta, Auxiliary-Variable Adaptive Control Lyapunov Barrier Functions for Spatio-Temporally Constrained Safety-Critical Applications, 63rd IEEE Conference on Decision and Control (CDC), Milano, Italy, 2024

coming soon

Carter Berlind, Wenliang Liu, Alyssa Pierson, Calin Belta, Capability Augmentation for Heterogeneous Dynamic Teaming with Temporal Logic Tasks, 63rd IEEE Conference on Decision and Control (CDC), Milano, Italy, 2024

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