Formal Methods for Control Synthesis: An Optimization Perspective
Belta, Calin, Sadraddini, Sadra
Published in Annual review of control, robotics, and autonomous systems (03.05.2019)
Published in Annual review of control, robotics, and autonomous systems (03.05.2019)
Get full text
Journal Article
Scalable and Robust Algorithms for Task-Based Coordination From High-Level Specifications (ScRATCHeS)
Leahy, Kevin, Serlin, Zachary, Vasile, Cristian-Ioan, Schoer, Andrew, Jones, Austin M., Tron, Roberto, Belta, Calin
Published in IEEE transactions on robotics (01.08.2022)
Published in IEEE transactions on robotics (01.08.2022)
Get full text
Journal Article
Safety-Critical Optimal Control for Autonomous Systems
Xiao, Wei, Cassandras, G. Christos, Belta, Calin
Published in Journal of systems science and complexity (01.10.2021)
Published in Journal of systems science and complexity (01.10.2021)
Get full text
Journal Article
Provably Safe Cruise Control of Vehicular Platoons
Sadraddini, Sadra, Sivaranjani, S., Gupta, Vijay, Belta, Calin
Published in IEEE control systems letters (01.10.2017)
Published in IEEE control systems letters (01.10.2017)
Get full text
Journal Article
Symbolic planning and control of robot motion [Grand Challenges of Robotics]
Belta, C., Bicchi, A., Egerstedt, M., Frazzoli, E., Klavins, E., Pappas, G.J.
Published in IEEE robotics & automation magazine (01.03.2007)
Published in IEEE robotics & automation magazine (01.03.2007)
Get full text
Journal Article
Automated Design of Pluripotent Stem Cell Self-Organization
Libby, Ashley R.G., Briers, Demarcus, Haghighi, Iman, Joy, David A., Conklin, Bruce R., Belta, Calin, McDevitt, Todd C.
Published in Cell systems (27.11.2019)
Published in Cell systems (27.11.2019)
Get full text
Journal Article
Q-Learning for robust satisfaction of signal temporal logic specifications
Aksaray, Derya, Jones, Austin, Zhaodan Kong, Schwager, Mac, Belta, Calin
Published in 2016 IEEE 55th Conference on Decision and Control (CDC) (01.12.2016)
Published in 2016 IEEE 55th Conference on Decision and Control (CDC) (01.12.2016)
Get full text
Conference Proceeding
Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications
Mehdipour, Noushin, Vasile, Cristian-Ioan, Belta, Calin
Published in 2019 American Control Conference (ACC) (01.07.2019)
Published in 2019 American Control Conference (ACC) (01.07.2019)
Get full text
Conference Proceeding
Investigating metabolite essentiality through genome-scale analysis of Escherichia coli production capabilities
Imieliński, Marcin, Belta, Călin, Halász, Ádám, Rubin, Harvey
Published in Bioinformatics (01.05.2005)
Published in Bioinformatics (01.05.2005)
Get full text
Journal Article