Publications
2023
Wenliang Liu, Kevin Leahy, Zachary Serlin, and Calin Belta, CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications, Learning for Dynamics and Control Conference (L4DC), 2023 (accepted)
Erfan Aasi, Minyu Cai, Cristian Vasile, and Calin Belta, Time-Incremental Learning of Temporal Logic Classifiers Using Decision Trees, Learning for Dynamics and Control Conference (L4DC), 2023 (accepted)
Wei Xiao, Christos G. Cassandras, Calin Belta, Learning Feasibility Constraints for Control Barrier Functions, European Control Conference (ECC), 2023 (accepted)
Mehdi Kermanshah, Nguyen Nguyen, Calin Belta, Roberto Tron, Robust Filtering based on Complex Cell Networks from the Visual Cortex, American Control Conference (ACC), 2023
Shuo Liu, Jun Zeng, Koushil Sreenath, Calin Belta, Iterative Convex Optimization for Model Predictive Control with Discrete-Time High-Order Control Barrier Functions, American Control Conference (ACC), 2023
Max Cohen, Calin Belta, Modular Adaptive Safety-Critical Control, American Control Conference (ACC), 2023 (accepted)
Wenliang Liu, Kevin Leahy, Zachary Serlin, Calin Belta, Robust Multi-Agent Coordination from CaTL+ Specifications, American Control Conference (ACC), 2023 (accepted)
Wenliang Liu, Mirai Duintjer Tebbens Nishioka, Calin Belta, Safe Model-based Control from Signal Temporal Logic Specifications Using Recurrent Neural Networks, IEEE International Conference on Robotics and Automation (ICRA), 2023 (to appear)
Noushin Mehdipour, Matthias Althoff, Radboud Duintjer Tebbens, Calin Belta, Formal Methods to Comply with Rules of the Road in Autonomous Driving: State of the Art and Grand Challenges, Automatica, vol. 152, 2022
2022
Max Cohen, Calin Belta, Safe Exploration in Model-based Reinforcement Learning using Control Barrier Functions, Automatica, 2022 (in print)
Max H. Cohen, Zachary Serlin, Kevin Leahy, Calin Belta, Temporal Logic Guided Safe Model-based Reinforcement Learning: A Hybrid Systems Approach, Nonlinear Analysis Hybrid Systems (NAHS), 2022 (accepted)
Wei Xiao, Calin Belta, Christos G. Cassandras, Event-Triggered Control for Safety-Critical Systems with Unknown Dynamics, IEEE Transactions on Automatic Control (accepted), 2022
Kasra Ghasemi, Sadra Sadraddini, Calin Belta, Decentralized Signal Temporal Logic Control for Perturbed Interconnected Systems via Assume-Guarantee Contract Optimization, 61st IEEE Conference on Decision and Control (CDC), Cancun, Mexico, 2022
Max Cohen, Calin Belta, Roberto Tron, Robust Control Barrier Functions for Nonlinear Control Systems with Uncertainty: A Duality-based Approach, 61st IEEE Conference on Decision and Control (CDC), Cancun, Mexico, 2022
Ahmad Ahmad, Calin Belta, Roberto Tron, Adaptive Sampling-based Motion Planning with Control Barrier Functions, 61st IEEE Conference on Decision and Control (CDC), Cancun, Mexico, 2022
Wenliang Liu and Noushin Mehdipour and Calin A. Belta, Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints, IEEE Control Systems Letters, volume 6, pp. 91-96, 2022
W. Xiao and C. Belta, High-Order Control Barrier Functions, IEEE Transactions on Automatic Control, vol. 67, no. 7, pp. 3655-3662, July 2022, doi: 10.1109/TAC.2021.3105491.
Wei Xiao, Calin A. Belta, Christos G. Cassandras, Sufficient conditions for feasibility of optimal control problems using Control Barrier Functions, Automatica, Volume 135, 2022, ISSN 0005-1098
Erfan Aasi, Cristian Ioan Vasile, Mahroo Bahreinian, Calin Belta, Classification of Time-Series Data Using Boosted Decision Trees,IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Kyoto, Japan, 2022
Suhail Alsalehi, Erfan Aasi, Ron Weiss and Calin Belta, Learning Spatio-Temporal Specifications for Dynamical Systems, Learning for Dynamics and Control (L4DC), Stanford, CA, 2022 (Accepted)
Ningyuan Zhang, Wenliang Liu and Calin Belta , Distributed Control using Reinforcement Learning with Temporal-Logic-Based Reward Shaping, Learning for Dynamics and Control (L4DC), Stanford, CA, 2022 (Accepted)
Max Cohen and Calin Belta, High Order Robust Adaptive Control Barrier Functions and Exponentially Stabilizing Adaptive Control Lyapunov Functions, American Control Conference (ACC), 2022
Wei Xiao, Christos G. Cassandras, Calin Belta, Daniela Rus, Control Barrier Functions for Systems with Multiple Control Inputs, American Control Conference (ACC), 2022
2021
Xiao, W., Cassandras, G.C., Belta, C. Safety-Critical Optimal Control for Autonomous Systems. J Syst Sci Complex 34, 1723–1742 (2021). https://doi.org/10.1007/s11424-021-1230-x
Kevin Leahy, Zachary Serlin, Cristian Ioan Vasile, Andrew Schoer, Austin Jones, Roberto Tron, Calin Belta, Scalable and Robust Algorithms for Task-based Coordination from High-level Specifications (ScRATCHeS), IEEE Transactions on Robotics, 2021 (in print), DOI: 10.1109/TRO.2021.3130794
Wei Xiao, Calin Belta, Christos G. Cassandras, Event-Triggered Safety-Critical Control for Systems with Unknown Dynamics Conference, IEEE Conference on Decision and Control (CDC), 2021
Suhail Alsalehi, Noushin Mehdipour, Ezio Bartocci, Calin Belta, Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications Conference: IEEE Conference on Decision and Control (CDC), 2021
Bassam Helou, Aditya Dusi, Anne Collin, Noushin Mehdipour, Zhiliang Chen, Cristhian Lizarazo, Calin Belta, Tichakorn Wongpiromsarn, Radboud Duintjer Tebbens, Oscar Beijbom, The Reasonable Crowd: Towards evidence-based and interpretablemodels of driving behavior, IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2021
Wei Xiao, Calin Belta, Christos G. Cassandras, Adaptive Control Barrier Functions, IEEE Transactions on Automatic Control, vol. 67, no. 5, pp. 2267-2281, 2022
Giuseppe Bombara, Calin Belta, Offline and Online Learning of Signal Temporal Logic Formulae Using Decision Trees, ACM Transactions on Cyber-Physical Systems, vol. 5, no. 3, pp. 1-23, 2021
Wei Xiao, Calin Belta, Christos G. Cassandras, High Order Control Lyapunov-Barrier Functions for Temporal Logic Specifications, American Control Conference (ACC), New Orleans, Louisiana, 2021
Erfan Aasi, Cristian Ioan Vasile, Calin Belta, A Control Architecture for Provably-Correct Autonomous Driving, American Control Conference (ACC), New Orleans, Louisiana, 2021
Noushin Mehdipour, Cristian Ioan Vasile, Calin Belta, Specifying User Preferences using Weighted Signal Temporal Logic, IEEE Control Systems Letters (L-CSS), 2021, DOI: 10.1109/LCSYS.2020.3047362 (also appearing in American Control Conference (ACC), New Orleans, Louisiana, 2021
Wenliang Liu, Noushin Mehdipour, Calin Belta, Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints, American Control Conference (ACC), New Orleans, Louisiana, 2021
Wei Xiao, Noushin Mehdipour, Anne Collin, Amitai Bin-Nun, Emilio Frazzoli, Radboud Tebbens and Calin Belta, Rule-based Optimal Control for Autonomous Driving, 12th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), 2021
Wei Xiao, Christos G. Cassandras, Calin Belta, Bridging the Gap between Optimal Trajectory Planning and Safety-Critical Control with Applications to Autonomous Vehicles, Automatica, 2021 (in print)
2020
Wei Xiao, Calin Belta, Christos G. Cassandras, Feasibility-Guided Learning for Constrained Optimal Control Problems, 59th IEEE Conference on Decision and Control (CDC), 2020
Max Cohen and Calin Belta, Approximate Optimal Control for Safety-Critical Systems with Control Barrier Functions, 59th IEEE Conference on Decision and Control (CDC), 2020 (accepted)
Cristian Vasile, Xiao Li, Calin Belta, Reactive sampling-based path planning with temporal logic specifications, The International Journal of Robotics Research, https://doi.org/10.1177/0278364920918919, June 4, 2020
Zachary Serlin, Guang Yang, Brandon Sookraj, Calin Belta, Roberto Tron, Distributed and consistent multi-image feature matching via QuickMatch, International Journal of Robotic Research, https://doi.org/10.1177/0278364920917465, June 5, 2020
Penedo, Francisco and Vasile, Cristian-Ioan and Belta, Calin, Language-Guided Sampling-based Planning using Temporal Relaxation, Algorithmic Foundations of Robotics XII: Proceedings of the Twelfth Workshop on the Algorithmic Foundations of Robotics, Springer International Publishing, Cham, pp. 128–143, isbn = 978-3-030-43089-4, doi = 10.1007/978-3-030-43089-4_9, url = https://doi.org/10.1007/978-3-030-43089-4_9, 2020
Wei Xiao, Christos Cassandras, Calin Belta, Decentralized Optimal Control in Multi-lane Merging for Connected and Automated Vehicles, 23rd Intelligent Transportation Systems Conference (IEEE ITSC 2020)
Chuangchuang Sun, Xiao Li, Calin Belta, Automata Guided Semi-Decentralized Multi-Agent Reinforcement Learning, American Control Conference (ACC), Denver, CO, USA, 2020
Guang Yang, Roberto Tron, Calin Belta, Continuous-time Signal Temporal Logic Planning with Control Barrier Functions, American Control Conference (ACC), Denver, CO, USA, 2020
Kasra Ghasemi, Sadra Sadraddini and Calin Belta, Compositional Synthesis via a Convex Parameterization of Assume-Guarantee Contracts, Hybrid Systems: Computation and Control (HSCC), Sydney, Australia, 2020
2019
Guang Yang, Bee Vang, Zachary Serlin, Calin Belta, and Roberto Tron, Sampling-Based Motion Planning via Control Barrier Functions, Proceedings of the 2019 3rd International Conference on Automation, Control and Robots (ICACR), 2019
C. Belta, Formal Methods for Controlling Dynamical Systems. In: Baillieul J., Samad T. (eds) Encyclopedia of Systems and Control. Springer, London, 2019
Xiao Li, Zachary Serlin, Guang Yang, Calin Belta, A Formal Methods Approach to Interpretable Reinforcement Learning for Robotic Planning, Science: Robotics, vol. 4, issue 37, 2019 Summary Abstract TOC. Full text
Ashley RG Libby, Demarcus Briers, Iman Haghighi, David A. Joy, Bruce R. Conklin, Calin Belta, Todd C. McDevitt, Automated Design of Pluripotent Stem Cell Self-Organization, Cell Systems, vol. 9, pp.1-13, 2019
Austin Jones, Kevin Leahy, Cristian Ioan Vasile, Sadra Sadraddini, Zachary Serlin, Roberto Tron, Calin Belta, ScRATCHS: Scalable and Robust Algorithms for Task-Based Coordination from High-Level Specifications, The International Symposium on Robotics Research (ISRR), Hanoi, Vietnam, 2019
Alessio Mosca, Cristian-Ioan Vasile, Calin Belta, Davide Raimondo, Multi-robot routing and scheduling with temporal logic and synchronization constraint, International Conference on Control and Robots (ICCR), Jeju Island, Korea, 2019
Kasra Ghasemi, Sadra Sadraddini, Calin Belta, Compositional Synthesis of Decentralized Robust Set-Invariance Controllers for Large-scale Linear Systems, IEEE Conference on Decision and Control (CDC), Nice, France, 2019
Noushin Mehdipour, Cristian Ioan Vasile, Calin Belta, Average-based Robustness for Continuous-Time Signal Temporal Logic, IEEE Conference on Decision and Control (CDC), Nice, France, 2019
Iman Haghighi, Noushin Mehdipour, Ezio Bartocci, Calin Belta, Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics, IEEE Conference on Decision and Control (CDC), Nice, France, 2019
Wei Xiao, Calin Belta, Control Barrier Functions for Systems with High Relative Degree, IEEE Conference on Decision and Control (CDC), Nice, France, 2019
Calin Belta and Sadra Sadraddini, Formal Methods for Control Synthesis: An Optimization Perspective, Annual Review of Control, Robotics, and Autonomous Systems, vol. 2, no. 1, pp. 115-140, 2019
Dogan Ulus and Calin Belta, Reactive Control Meets Runtime Verification: A Case Study of Navigation, 19th International Conference on Runtime Verification (RV), Porto, Portugal, 2019
Wei Xiao, Christos Cassandras, Calin Belta, Decentralized Merging Control in Traffic Networks with Noisy Vehicle Dynamics: a Joint Optimal Control and Barrier Function Approach
Conference: 22nd Intelligent Transportation Systems Conference (ITSC), Auckland, New Zeeland, 2019
Junmin Wang, Samuel A. Isaacson, and Calin Belta, Modeling Genetic Circuit Behavior in Transiently Transfected Mammalian Cells, ACS Synth. Biol., March, 2019 DOI: 10.1021 / acssynbio.8b00166
Sadra Sadraddini and Calin Belta, Formal Synthesis of Control Strategies for Positive Monotone Systems, IEEE Transactions on Automatic Control, vol. 64, no. 2, 2019
Noushin Mehdipour, Cristian Ioan Vasile, Calin Belta, Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications, American Control Conference, Philadelphia, PA, 2019
Junmin Wang, Calin Belta, Retroactivity Affects the Adaptive Robustness of Transcriptional Regulatory Networks, American Control Conference, Philadelphia, PA, 2019
Guang Yang, Roberto Tron, Calin Belta, Self-triggered Control for Safety Critical Systems using Control Barrier Functions, American Control Conference, Philadelphia, PA, 2019
Wei Xiao, Calin Belta and Christos Cassandras Decentralized Optimal Merging at an Intersection: a Control Barrier Function Approach, International Conference on Cyber-Physical Systems, Montreal, Canada, 2019
2018
Erkan Kayacan, Wouter Saeys, Herman Ramon, Calin Belta, and Joshua Peschel, Experimental Validation of Linear and Nonlinear MPC on an Articulated Unmanned Ground Vehicle, IEEE/ASME Transactions on Mechatronics, vol. 23, issue 5, pp. 2023- 2030, 2018
Cristian Ioan Vasile, Mac Schwager, Calin Belta, Translational and Rotational Invariance in Networked Dynamical Systems, IEEE Transactions on Control of Network Systems, vol. 5 , issue 3, pp. 822 – 832, 2018
Ezio Bartocci, Ebru Aydin Gol, Iman Haghighi, and Calin Belta, A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks, IEEE Transactions on Control of Network Systems, Vol. 5, No. 1, pp. 308-320, March 2018
Junmin Wang, Samuel Isaacson, Calin Belta, Predictions of Genetic Circuit Behavior Based on Modular Composition in Transiently Transfected Mammalian Cells, 2018 IEEE Life Sciences Conference, Montreal, Canada, 2018
Noushin Mehdipour, Demarcus Briers, Iman Haghighi, Chad Glen, Melissa Kemp, Calin Belta, Spatial-Temporal Pattern Synthesis in a Network of Locally Interacting Cells, 2018 IEEE Conference on Decision and Control (CDC), Fontainebleau, Miami Beach, FL, USA, 2018
Curtis Madsen, Prashant Vaidyanathan, Sadra Sadraddini, Cristian Ioan Vasile, Nicholas DeLateur, Ron Weiss, Douglas Densmore, Calin Belta, Metrics for Signal Temporal Logic Formulae, 2018 IEEE Conference on Decision and Control (CDC), Fontainebleau, Miami Beach, FL, USA, 2018
Francisco Penedo Alvarez, Harold Park, Calin Belta, Control Synthesis for Partial Differential Equations from Spatio-Temporal Specifications, 2018 IEEE Conference on Decision and Control (CDC), Fontainebleau, Miami Beach, FL, USA, 2018
Zachary Serlin, Kevin Leahy, Roberto Tron, Calin Belta, Distributed Sensing Subject to Temporal Logic Constraints, 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Madrid, Spain, 2018
Zachary Serlin, Brandon Sookraj, Calin Belta and Roberto Tron, Consistent Multi-Robot Object Matching via QuickMatch, 2018 International Symposium on Experimental Robotics (ISER), Buenos Aires, Argentina, 2018
Giuseppe Bombara, Calin Belta, Online Learning of Temporal Logic Formulae for Signal Classification,European Control Conference (ECC), Limassol, Cyprus, 2018
Xiao Li, Yao Ma, Calin Belta, A Policy Search Method For Temporal Logic Specified Reinforcement Learning Tasks, 2018 American Control Conference (ACC), Wisconsin, Milwaukee, USA, 2018
Sadra Sadraddini, Calin Belta, Distributed Robust Set-Invariance for Interconnected Linear Systems, 2018 American Control Conference (ACC), Wisconsin, Milwaukee, USA, 2018
Sadra Sadraddini and Calin Belta, Formal Guarantees in Data-Driven Model Identification and Control Synthesis, Hybrid Systems: Computation and Control (HSCC), Porto, Portugal, 2018
Zhe Xu, Marc Birtwistle, Calin Belta, Agung Julius, A Temporal Logic Inference Approach for Model Discrimination, IEEE Life Sciences Letters, vol. 2, no. 3, pp. 19-22, 2016
Samuel Coogan, Murat Arcak, Calin Belta, Formal Methods for Control of Traffic Flow: Automated control synthesis from finite state transition models, IEEE Control Systems Magazine, vol. 37, issue 2, pp. 109 – 128, 2017
Maria Svorenova, Jan Kretinsky, Martin Chmelik, Krishnendu Chatterjee, Ivana Cerna, Calin Belta, Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games, Nonlinear Analysis: Hybrid Systems, vol. 23, pp. 230–253, February 2017
Kong, Zhaodan, Jones, Austin, Belta, Calin, Temporal Logics for Learning and Detection of Anomalous Behavior, IEEE Transactions on Automatic Control, vol. 62, no. 3, pp. 1210 – 1222, 2017
Sadra Sadraddini, Sivaranjani S, Vijay Gupta, Calin Belta, Provably Safe Cruise Control of Vehicular Platoons, IEEE Control Systems Letters, vol. 1, no. 2, pp. 262-267,2017
Kun Deng, Yushan Chen, Calin Belta, An Approximate Dynamic Programming Approach to Multi-Agent Persistent Monitoring in Stochastic Environments with Temporal Logic Constraints, IEEE Transactions on Automatic Control, vol. 62, no. 9, pp. 4549-4563, 2017
Xiao Li, Cristian Vasile, Calin Belta, Reinforcement Learning with Temporal Logic Rewards, IEEE/RSJ International Conference on Intelligent Robots and Systems, Vancouver, BC, Canada, 2017
Cristian-Ioan Vasile, Derya Aksaray, Calin Belta, Time Window Temporal Logic, Theoretical Computer Science, Volume 691, August 2017, Pages 27-54, DOI: 10.1016/j.tcs.2017.07.012, 2017 (in press, available at http://dx.doi.org/10.1016/j.tcs.2017.07.012)
Giuseppe Bombara and Calin Belta, Signal Clustering using Temporal Logics, Runtime Verification, Seattle, WA, 2017
Prashant Vaidyanathan, Rachael Ivison, Giuseppe Bombara, Nicholas DeLateur, Ron Weiss, Calin Belta, Douglas Densmore, Grid-Based Temporal Logic Inference, 56th IEEE Conference on Decision and Control, Melbourne, Australia, 2017
Eric S. Kim, Sadra Sadraddini, Calin Belta, Murat Arcak, Sanjit A. Seshia, Dynamic Contracts for Distributed Temporal Logic Control of Traffic Networks, 56th IEEE Conference on Decision and Control, Melbourne, Australia, 2017
Sadra Sadraddini, Sivaranjani S, Vijay Gupta, Calin Belta, Provably Safe Cruise Control of Vehicular Platoons, 56th IEEE Conference on Decision and Control, Melbourne, Australia, 2017
Sadra Sadraddini, Calin Belta, Formal Methods for Adaptive Control of Dynamical Systems, 56th IEEE Conference on Decision and Control, Melbourne, Australia, 2017
Chanyeol Yoo and Calin Belta, Rich Time Series Classification Using Temporal Logic, Robotics: Science and Systems (RSS), Boston, MA, 2017
Kevin Leahy, Derya Aksaray, Calin Belta, Informative Path Planning under Temporal Logic Constraints with Performance Guarantees, American Control Conference (ACC), Seattle, WA, 2017
Sivaranjani S, Sadra Sadraddini, Vijay Gupta, Calin Belta, Distributed Control Policies for Localization of Large Disturbances in Urban Traffic Networks, American Control Conference (ACC), Seattle, WA, 2017
Iman Haghighi, Kevin Leahy, Rachael Ivision, Calin Belta, Semi-supervised Pattern Synthesis in Spatially Distributed Dynamical Systems, American Control Conference (ACC), Seattle, WA, 2017
Cristian Ioan Vasile, Jana Tumova, Sertac Karaman, Calin Belta, Daniela Rus, Minimum-violation scLTL motion planning for mobility-on-demand, IEEE International Conference on Robotics and Automation (ICRA), Singapore, 2017
Sadra Sadraddini, Janos Rudan and Calin Belta, Formal Synthesis of Distributed Optimal Traffic Control Policies, International Conference on Cyber Physical Systems (ICCPS), Pittsburgh, PA 2017
Francisco Penedo, Cristian-Ioan Vasile, and Calin Belta, Language-Guided Sampling-based Planning using Temporal Relaxation, Workshop on Algorithmic Foundations of Robotics (WAFR), San Francisco, 2017
Kevin Leahy, Dingjiang Zhou, Cristian-Ioan Vasile, Konstantinos Oikonomopoulos, Mac Schwager, Calin Belta, Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging and Temporal Logic Constraints, Autonomous Robots, volume 40, issue 8, pp 1363–1378, 2016
Derya Aksaray, Austin Jones, Zhaodan Kong, Mac Schwager, Calin Belta, Q-Learning for Robust Satisfaction of Signal Temporal Logic Specifications, 55th IEEE Conference on Decision and Control, Las Vegas, NV, 2016
Sadra Sadraddini, Calin Belta, Feasibility Envelopes for Metric Temporal Logic Specifications, 55th IEEE Conference on Decision and Control, Las Vegas, NV, 2016
Cristian Ioan Vasile, Kevin Leahy, Eric Cristofalo, Austin Jones, Mac Schwager, Calin Belta, Control in Belief Space with Temporal Logic Specifications, 55th IEEE Conference on Decision and Control, Las Vegas, NV, 2016
Demarcus Briers, Iman Haghighi, Douglas White, Melissa Kemp, Calin Belta, Pattern Synthesis in a 3D Agent-Based Model of Stem Cell Differentiation, 55th IEEE Conference on Decision and Control, Las Vegas, NV, 2016
Sadra Sadraddini, Calin Belta, Safety Control of Monotone Systems with Bounded Uncertainties, 55th IEEE Conference on Decision and Control, Las Vegas, NV, 2016
Iman Haghighi, Sadra Sadraddini, Calin Belta, Robotic Swarm Control from Spatio-Temporal Specifications, 55th IEEE Conference on Decision and Control, Las Vegas, NV, 2016
Curtis Madsen, Prashant Vaidyanathan, Cristian-Ioan Vasile, Rachael Ivison, Junmin Wang, Calin Belta, and Douglas Densmore, Utilizing Signal Temporal Logic to Characterize and Compose Modules in Synthetic Biology, International Workshop on Biological Design Automation (IWBDA), Newcastle upon Tyne, UK, August 2016
Eric Cristofalo, Kevin Leahy, Cristian Vasile, Eduardo Montijano, Mac Schwager, and Calin Belta. “Vision-based Mobile Sensing for GPS-deprived Control with Temporal Logic Specifications,” 2016 International Symposium on Experimental Robotics (ISER 2016), Tokyo, Japan, October 3-6, 2016.
Sadra Sadraddini, Calin Belta, Controlled Invariance for Uncertain Monotone Systems, 22nd International Symposium on Mathematical Theory of Networks and Systems, Minneapolis, MN, USA, 2016
Vladislav Nenchev and Calin Belta, Receding Horizon Robot Control in Partially Unknown Environments with Temporal Logic Constraints, European Control Conference, Aalbork, Denmark, 2016
Samuel Coogan, Ebru Aydin Gol, Murat Arcak, and Calin Belta, Traffic Network Control from Temporal Logic Specifications, IEEE Transactions on Control of Network Systems, vol. 3, no. 2, pp. 162 – 171, 2016 (pdf)
Kevin Leahy, Prasanna Kannappan, Adam Jardine, Herbert G. Tanner, Jeffrey Heinz, Calin Belta, Integration of Deterministic Inference with Formal Synthesis for Control under Uncertainty, American Control Conference (ACC), Boston, MA, 2016
Sadra Sadraddini, Calin Belta, A Provably Correct MPC Approach to Safety Control of Urban Traffic Networks, American Control Conference (ACC), Boston, MA, 2016
Sadra Sadraddini, Calin Belta, Model Predictive Control of Urban Traffic Networks with Temporal Logic Constraints, American Control Conference (ACC), Boston, MA, 2016
Samuel Coogan, Murat Arcak, Calin Belta, Finite State Abstraction and Formal Methods for Traffic Flow Networks, American Control Conference (ACC), Boston, MA, 2016 (pdf)
Derya Aksaray, Cristian Ioan Vasile, Calin Belta, Dynamic Routing of Energy-Aware Vehicles with Temporal Logic Constraints, IEEE International Conference on Robotics and Automation (ICRA), Stockholm, Sweden, 2016
Giuseppe Bombara, Cristian Vasile, Francisco Penedo, Hirotoshi Yasuoka, Calin Belta, A Decision Tree Approach to Data Classification using Signal Temporal Logic, Hybrid Systems: Computation and Control (HSCC), Vienna, Austria, 2016
Jana Tumova, Sertac Karaman, Calin Belta and Daniela Rus, Least-violating planning in road networks from temporal logic specifications, International Conference on Cyber-Physical Systems (ICCPS), Vienna, Austria, 2016
Sadra Sadraddini, Calin Belta, Robust Temporal Logic Model Predictive Control, 53rd Annual Allerton Conference on Communication, Control, and Computing, Urbana, IL, 2015
Kevin Leahy, Austin Jones, Mac Schwager, Calin Belta, Distributed Information Gathering Policies under Temporal Logic Constraints, 54th IEEE Conference on Decision and Control (CDC), Osaka, Japan, 2015
Yancy Diaz-Mercado, Austin Jones, Calin Belta, Magnus Egerstedt, Correct-by-Construction Control Synthesis for Multi-Robot Mixing, 54th IEEE Conference on Decision and Control (CDC), Osaka, Japan, 2015
Kevin Leahy, Dingjiang Zhou, Cristian Vasile, Konstantinos Oikonomopoulos, Mac Schwager and Calin Belta. Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging and Temporal Logic Constraints. Autonomous Robots, 2015.
Derya Aksaray, Kevin Leahy, Calin Belta, Distributed Multi-Agent Persistent Surveillance Under Temporal Logic Constraints, 5th IFAC Workshop on Distributed Estimation and Control in Networked Systems, Philadelphia, USA, 2015 (accepted)
Zhe Xu, Calin Belta, Agung Julius, Temporal Logic Inference with Prior Information: An Application to Robot Arm Movements, 5th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), Atanta, GA 2015
Zhe Xu, Marc Birtwistle, Calin Belta and Agung Julius, Temporal Logic Inference for Model Discrimination: An Application on the ERK Pathway, Foundations of Systems Biology in Engineering (FOSBE), Boston, MA 2015 (accepted)
Jing Wang, Xuchu Ding, Morteza Lahijanian, Ioannis Ch. Paschalidis, and Calin A. Belta, Temporal logic motion control using actor–critic methods, The International Journal of Robotics Research, Vol. 34(10) 1329–1344, 2015 (pdf)
Morteza Lahijanian, Sean B. Andersson, and Calin Belta, Formal Verification and Synthesis for Discrete-Time Stochastic Systems, IEEE Transactions in Automatic Control, vol. 6, no. 8, pp. 2031 – 2045, 2015 (pdf)
Ebru Aydin Gol, Mircea Lazar, and Calin Belta, Temporal Logic Model Predictive Control, Automatica, vol. 56, pp. 78-85, 2015 (pdf)
Maria Svorenova, Ivana Cerna, and Calin Belta, Optimal Temporal Logic Control for Deterministic Transition Systems with Probabilistic Penalties, IEEE Transactions in Automatic Control, vol. 60, no. 6, pp. 1528-1541, 2015 (pdf)
Samuel Coogan, Ebru Aydin Gol, Murat Arcak, and Calin Belta, Traffic Network Control from Temporal Logic Specifications, IEEE Transactions on Control of Network Systems (accepted)
Cristian-Ioan Vasile, Calin Belta, Mac Schwager, SE(N) Invariance in Networked Systems, European Control Conference, Linz, Austria, 2015
Vladislav Nenchev, Calin Belta, Joerg Raisch, Optimal motion planning with temporal logic and switching constraints, European Control Conference, Linz, Austria, 2015
Austin Jones, Mac Schwager, Calin Belta, Information-guided persistent monitoring under temporal logic constraints, American Control Conference (ACC) 2015
Samuel Coogan, Ebru Aydin Gol, Murat Arcak, Calin Belta, Controlling a Network of Signalized Intersections From Temporal Logical Specifications, American Control Conference (ACC) 2015 (pdf)
Iman Haghighi, Austin Jones, Zhaodan Kong, Ezio Bartocci, Radu Grosu and Calin Belta, SpaTeL: A Novel Spatial-Temporal Logic and Its Applications to Networked Systems, Hybrid Systems: Computation and Control (HSCC) 2015 (pdf)
Mária Svoreňová, Jan Křetínský, Martin Chmelík, Krishnendu, Chatterjee, Ivana Cerna and Calin Belta, Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games, Hybrid Systems: Computation and Control (HSCC) 2015 (pdf)
Mária Svoreňová, Martin Chmelík, Kevin Leahy, Hasan Ferit Eniser,Krishnendu Chatterjee, Ivana Černá and Calin Belta, Temporal Logic Motion Planning using POMDPs with Parity Objectives, Hybrid Systems: Computation and Control (HSCC) 2015 (pdf)
Alphan Ulusoy and Calin Belta, Receding Horizon Temporal Logic Control in Dynamic Environments, The International Journal of Robotics Research (IJRR) vol. 33(12), pp. 1593-1607, 2014 (pdf)
Igor Cizelj and Calin Belta, Control of Noisy Differential-Drive Vehicles from Time-Bounded Temporal Logic Specifications, The International Journal of Robotics Research (IJRR), vol. 33, no. 8, pp. 1112-1129, 2014 (pdf)
Ebru Aydin Gol, Xuchu Ding, Mircea Lazar, and Calin Belta, Finite Bisimulations for Switched Linear Systems, IEEE Transactions on Automatic Control, vol. 59, no. 12, pp. 3122 – 3134, 2014 (pdf)
Ebru Aydin Gol, Ezio Bartocci, Calin Belta, A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems, 53rd IEEE Conference on Decision and Control (CDC), Los Angeles, CA 2014 (pdf)
Austin Jones, Zhaodan Kong, and Calin Belta, Anomaly Detection in Cyber-Physical Systems: A Formal Methods Approach, 53rd IEEE Conference on Decision and Control (CDC), Los Angeles, CA 2014 (pdf)
Kevin Leahy, Dingjiang Zhou, Cristian Vasile, Konstantinos Oikonomopoulos, Mac Schwager and Calin Belta, Provably Correct Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging Constraints, 2014 International Symposium on Experimental Robotics (ISER 2014), Marrakech and Essaouira, Morocco, June 15-18, 2014 (pdf)
Cristian Ioan Vasile and Calin Belta, An Automata-Theoretic Approach to the Vehicle Routing Problem, Robotics: Science and Systems (RSS) 2014, Berkeley, CA, 2014 (pdf)
Cristian Ioan Vasile, Calin Belta, Reactive Sampling-Based Temporal Logic Path Planning, IEEE International Conference on Robotics and Automation (ICRA) 2014, Hong Kong, 2014 (pdf)
Zhaodan Kong, Austin Jones, Ana Medina Ayala, Ebru Aydin Gol and Calin Belta ,Temporal Logic Inference for Classification and Prediction from Data, Hybrid Systems: Computation and Control (HSCC), Berlin, Germany, 2014 (pdf)
Ebru Aydin Gol, Calin Belta, An Additive Cost Approach to Optimal Temporal Logic Control, American Control Conference (ACC), Portland, USA 2014 (pdf)
Xuchu (Dennis) Ding, Stephen L. Smith, Calin Belta, and Daniela Rus, Optimal Control of Markov Decision Processes with Linear Temporal Logic Constraints, IEEE Transactions on Automatic Control vol.59, no. 5, pp. 1244-1257, 2014 (pdf)
Alphan Ulusoy, Tichakorn Wongpiromsarn, Calin Belta, Incremental Controller Synthesis in Probabilistic Environments with Temporal Logic Constraints, The International Journal of Robotics Research (IJRR) vol. 33, no. 8, pp. 1130 – 1144, 2014 (pdf)
Xu Chu Ding, Mircea Lazar, Calin Belta, LTL Receding Horizon Control for Finite Deterministic Systems, Automatica, 50(2): 399-408, 2014 (pdf)
Ana Medina Ayala, Sean B. Andersson, and Calin Belta, Formal Synthesis of Control Policies for Continuous Time Markov Processes from Time-Bounded Temporal Logic Specifications, IEEE Transactions on Automatic Control, vol. 59, no. 9, pp. 2568-2574, 2014 (pdf)
Ebru Aydin Gol, Mircea Lazar, Calin Belta, Language-Guided Controller Design for Linear Systems, IEEE Transactions on Automatic Control, vol. 59, no. 5, pp. 1163-1176, 2014 (pdf)
Maria Svorenova, Ivana Cerna, Calin Belta, Optimal Control of MDPs with Temporal Logic Constraints, 52nd IEEE Conference on Decision and Control (CDC), Firenze, Italy, 2013 (pdf)
Guilhem Richard, Agung Julius, Calin Belta, Optimizing Regulation Functions in Gene Network Identification, 52nd IEEE Conference on Decision and Control (CDC), Firenze, Italy, 2013 (pdf)
Ebru Aydin Gol, Douglas Densmore, Calin Belta, Data-driven Verification of Synthetic Gene Networks, 52nd IEEE Conference on Decision and Control (CDC), Firenze, Italy, 2013 (pdf)
Austin Jones, Mac Schwager, Calin Belta, Distribution Temporal Logic: Combining Correctness with Quality of Estimation, 52nd IEEE Conference on Decision and Control (CDC), Firenze, Italy, 2013 (pdf)
Guilhem Richard, Niraj Trivedi, Calin Belta, and Salomon Amar, Partial Restoration of Macrophage Alteration from Diet-induced obesity in Response to Porphyromonas gingivalis Infection, PLoS ONE 8(7): e70320. doi:10.1371/journal.pone.0070320 (pdf)
A. Ulusoy, S. L. Smith, X. C. Ding, C. Belta, and D. Rus, Optimality and Robustness in Multi-Robot Path Planning with Temporal Logic Constraints, The International Journal of Robotics Research (IJRR), Volume 32, Issue 8, pp. 889 – 911, July 2013 (pdf)
Ana Ivonne Medina Ayala, Sean Andersson, Calin Belta, Temporal Logic Motion Planning in Unknown Environments, IROS 2013, Tokyo, Japan, 2013 (pdf)
Igor Cizelj, Calin Belta, Negotiating the Probabilistic Satisfaction of Temporal Logic Motion Specifications, IROS 2013, Tokyo, Japan, 2013 (pdf)
Cristian Vasile, Calin Belta, Sample-Based Temporal Logic Path Planning, IROS 2013, Tokyo, Japan, 2013 (pdf)
Alphan Ulusoy, Michael Marrazzo, and, Calin Belta, Receding Horizon Control in Dynamic Environments from Temporal Logic Specifications, Robotics: Science and Systems (RSS) 2013 (pdf)
Alphan Ulusoy, Michael Marrazzo, Konstantinos Oikonomopoulos, Ryan Hunter, Calin Belta, Temporal Logic Control for an Autonomous Quadrotor in a Nondeterministic Environment, IEEE International Conference on Robotics and Automation (ICRA) 2013 (pdf)
Austin Jones, Mac Schwager, Calin Belta, A Receding Horizon Algorithm for Informative Path Planning with Temporal Logic Constraints, IEEE International Conference on Robotics and Automation (ICRA) 2013 (pdf)
Igor Cizelj, Calin Belta, Control of Noisy Differential-Drive Vehicles from Time-Bounded Temporal Logic Specifications, IEEE International Conference on Robotics and Automation (ICRA) 2013 (pdf)
Tichakorn Wongpiromsarn, Alphan Ulusoy, Calin Belta, Emilio Frazzoli, Daniela Rus, Incremental Synthesis of Control Policies for Heterogeneous Multi-Agent Systems with Linear Temporal Logic Specification, IEEE International Conference on Robotics and Automation (ICRA) 2013 (pdf)
Ebru Aydin Gol, Mircea Lazar and Calin Belta, Temporal Logic Model Predictive Control for Discrete-Time Systems, Hybrid Systems: Computation and Control (HSCC), Philadelphia, PA 2013
Boyan Yordanov, Jana Tumova, Ivana Cerna, Jiri Barnat, Calin Belta, Formal Analysis of Piecewise Affine Systems through Formula-Guided Refinement, Automatica, vol. 49, issue 1, pp. 261-266, 2013 (pdf)
Boyan Yordanov, Evan Appleton, Rishi Ganguly, Ebru Aydin Gol, Swati Carr, Swapnil Bhatia, Traci Haddock, Calin Belta, and Douglas Densmore,Experimentally driven verification of synthetic biological circuits, Design, Automation Test in Europe Conference Exhibition (DATE), 2012, pp. 236-241 (pdf).
Alphan Ulusoy, Stephen L. Smith, Calin Belta, Optimal Multi-Robot Path Planning with LTL Constraints: Guaranteeing Correctness Through Synchronization, 2012 International Symposium on Distributed Autonomous Robotic Systems (DARS) 2012, Baltimore, MD, USA (pdf)
Morteza Lahijanian, Sean Andersson, Calin Belta, Approximate Markovian Abstractions for Linear Stochastic Systems, IEEE Conference on Decision and Control (CDC) 2012, Maui, Hawaii, 2012 (pdf)
Yushan Chen, Kun Deng, Calin Belta, Multi-Agent Persistent Monitoring in Stochastic Environments with Temporal Logic Constraints, IEEE Conference on Decision and Control (CDC) 2012, Maui, Hawaii, 2012 (pdf)
Alphan Ulusoy, Tichakorn Wongpiromsarn, Calin Belta, Incremental Control Synthesis in Probabilistic Environments with Temporal Logic Constraints, IEEE Conference on Decision and Control (CDC) 2012, Maui, Hawaii, 2012 (pdf)
Ebru Aydin Gol, Xu Chu Ding, Mircea Lazar, Calin Belta, Finite Bisimulations for Switched Linear Systems, IEEE Conference on Decision and Control (CDC) 2012, Maui, Hawaii, 2012 (pdf)
Tichakorn Wongpiromsarn, Alphan Ulusoy, Calin Belta, Emilio Frazzoli, Daniela Rus, Incremental Temporal Logic Synthesis of Control Policies for Robots Interacting with Dynamic Agents, IROS 2012, Vilamoura, Algarve, Portugal, 2012 (pdf)
Igor Cizelj and Calin Belta, Probabilistically Safe Control of Noisy Dubins Vehicles, IROS 2012, Vilamoura, Algarve, Portugal, 2012 (pdf)
Morteza Lahijanian, Sean B. Andersson, and Calin Belta, Temporal Logic Motion Planning and Control with Probabilistic Satisfaction Guarantees, IEEE Transaction on Robotics, vol. 28, no. 2, pp. 396-409, 2012 (pdf)
B. Yordanov, J. Tumova, I. Cerna, J. Barnat, C. Belta, Temporal Logic Control of Discrete-Time Piecewise Affine Systems, IEEE Transactions on Automatic Control, vol. 57, no. 6, pp. 1491-1504, 2012 (pdf)
Xu Chu Ding, Mircea Lazar, and Calin Belta, Formal Abstraction of Linear Systems via Polyhedral Lyapunov Functions, 4th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), Eindhoven, Netherlands, 2012 (pdf)
Ebru Aydin Gol and Calin Belta, Time-Constrained Temporal Logic Control of Multi-Affine Systems, 4th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), Eindhoven, Netherlands, 2012 (pdf)
Guilhem Richard, Calin Belta, A. Agung Julius, and Salomon Amar, Controlling the Outcome of the Toll-like Receptor Signaling Pathways, PLoS ONE, 7(2), e31341, doi:10.1371/journal.pone.0031341, 2012 (pdf)
Xu Chu Ding, Mircea Lazar, and Calin Belta, Receding Horizon Temporal Logic Control for Finite Deterministic Systems, American Control Conference, Montreal, Canada, 2012 (pdf)
Alphan Ulusoy, Stephen L. Smith, Xu Chu Ding, Calin Belta, Robust Multi-Robot Optimal Path Planning with Temporal Logic Constraints, 2012 IEEE International Conference on Robotics and Automation (ICRA), 2012, Saint Paul, MN, USA (pdf)
Xu Chu Ding, Jing Wang, Morteza Lahijanian, Yannis Paschalidis, Calin Belta, Temporal Logic Motion Control using Actor-Critic Methods, 2012 IEEE International Conference on Robotics and Automation (ICRA), 2012, Saint Paul, MN, USA (pdf)
Ana Ivonne Medina Ayala, Sean Andersson, Calin Belta, Probabilistic Control from Time-Bounded Temporal Logic Specifications in Dynamic Environments, 2012 IEEE International Conference on Robotics and Automation (ICRA), 2012, Saint Paul, MN, USA (pdf)
Yushan Chen, Jana Tumova, Calin Belta, LTL Robot Motion Control based on Automata Learning of Environmental Dynamics 2012 IEEE International Conference on Robotics and Automation (ICRA), 2012, Saint Paul, MN, USA (pdf)
Y. Chen, D. Ding, A. Stefanescu, and C. Belta, A Formal Approach to the Deployment of Distributed Robotic Teams, IEEE Transaction on Robotics, vol. 28, issue 1, pp. 158-171, 2012 (pdf)
Ebru Aydin Gol, Mircea Lazar, and Calin Belta, Language-Guided Controller Synthesis for Discrete-Time Linear Systems, Hybrid Systems Computation and Control (HSCC) 2012, Beijing, China (pdf)
Marius Kloetzer, Xu Chu Ding, Calin Belta, Multi-robot deployment from LTL specifications with reduced communication, CDC 2011, Orlando, FL, 2011 (pdf)
Reza Moazzez Estanjini, Xu Chu Ding, Morteza Lahijanian, Calin Belta, Ioannis Paschalidis, Least Squares Temporal Difference Actor-Critic Methods with Applications to Robot Motion Control, CDC 2011, Orlando, FL, 2011 (pdf)
Nicholas Cooper, Calin Belta, Agung Julius, Genetic Regulatory Network Identification Using Multivariate Monotone Functions, CDC 2011, Orlando, FL, 2011 (pdf)
Xu Chu Ding, Stephen L. Smith, Calin Belta, Daniela Rus, MDP Optimal Control under Temporal Logic Constraints, CDC 2011, Orlando, FL, 2011 (pdf)
Boyan Yordanov, Calin Belta, A Formal Verification Approach to the Design of Synthetic Gene Networks, CDC 2011, Orlando, FL, 2011 (pdf)
Guilhem Richard, H.J. Chang, Igor Cizelj, Calin Belta, Agung Julius, Salomon Amar, Integration of large-scale metabolic, signaling, and gene regulatory networks with application to infection responses, CDC 2011, Orlando, FL, 2011 (pdf)
Yushan Chen, Xu Chu Ding, Calin Belta, Synthesis of Distributed Control and Communication Schemes from Global LTL Specifications, CDC 2011, Orlando, FL, 2011 (pdf)
Stephen Smith, Jana Tumova, Calin Belta, Daniela Rus, Optimal Path Planning for Surveillance with Temporal Logic Constraints, International Journal of Robotics Research, vol. 30, no. 14, pp. 1695-1708, 2011 (pdf)
Alphan Ulusoy, Stephen L. Smith, Xu Chu Ding, Calin Belta, Daniela Rus, Optimal Multi-Robot Path Planning with Temporal Logic Constraints, IROS, San Francisco, 2011 (pdf)
Ana Ivonne Medina Ayala, Sean Andersson, and Calin Belta, Temporal Logic Control in Dynamic Environments with Probabilistic Satisfaction Guarantees, IROS, San Francisco, 2011 (pdf)
Xu Chu Ding, Marius Kloetzer, Yushan Chen, Calin Belta, Formal Methods for Automatic Deployment of Robotic Teams, IEEE Robotics and Automation Magazine, vol. 18, no.3, pp. 75-86, 2011 (pdf)
Amy LaViers, Yushan Chen, Calin Belta, Magnus Egerstedt, A Formal Approach to the Automatic Generation of Ballet Phrases, IEEE Robotics and Automation Magazine, vol. 18, no. 3, pp. 87-95, 2011 (pdf)
Xu Chu Ding, Stephen L. Smith, Calin Belta, Daniela Rus, LTL Control in Uncertain Environments with Probabilistic Satisfaction Guarantees, 18th IFAC World Congress, Milan, Italy (pdf)
Igor Cizelj, Xu Chu Ding, Morteza Lahijanian, Alessandro Pinto, Calin Belta , Probabilistically Safe Vehicle Control in a Hostile Environment, 18th IFAC World Congress, Milan, Italy (pdf)
Agung Julius, Calin Belta, Genetic Regulatory Network Identification Using Monotone Functions Decomposition, 18th IFAC World Congress, Milan, Italy (pdf)
M. Lahijanian, S. B. Andersson, and C. Belta, Control of Markov Decision Processes from PCTL specifications, American Control Conference (ACC), San Francisco, CA, 2011 (pdf)
A. LaViers, Y. Chen, C. Belta, and M. Egerstedt, A Formal Approach to the Automatic Generation of Ballet Motions, ACM/IEEE 2nd International Conference on Cyber Physical Systems (ICCPS), Chicago, IL, 2011 (pdf)
Y. Chen, X. C. Ding, A. Stefanescu, and C. Belta, A Formal Approach to Deployment of Robotic Teams in an Urban-Like Environment, 10th International Symposium on Distributed Autonomous Robotics Systems (DARS), Lausanne, Switzerland, 2010 (pdf)
Jana Tumova, Boyan Yordanov, Calin Belta, Ivana Cerna, Jiri Barnat, A Symbolic Approach to Controlling Piecewise Affine Systems, IEEE Conference on Decision and Control (CDC), Atlanta, GA, 2010 (pdf)
Boyan Yordanov, Jana Tumova, Calin Belta, Ivana Cerna, Jiri Barnat, Formal Analysis of Piecewise Affine Systems through Formula-Guided Refinement, IEEE Conference on Decision and Control (CDC), Atlanta, GA, 2010 (pdf)
Xu Chu Ding, Calin Belta, Christos G. Cassandras, Receding Horizon Surveillance with Temporal Logic Specifications, IEEE Conference on Decision and Control (CDC), Atlanta, GA, 2010 (pdf)
Y. Chen, A. Stefanescu, and C. Belta, A Hierarchical Approach to Automatic Deployment of Robotic Teams with Communication Constraints, IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Taipei, Taiwan, 2010, (pdf)
S. L. Smith, J. Tumova, C. Belta, and D. Rus, Optimal path planning under Temporal Logic Constraints, IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Taipei, Taiwan, 2010, (pdf)
M. Kloetzer, C. Mahulea, C. Belta, and M. Silva, An automated framework for formal verification of timed continuous Petri nets, IEEE Transactions on Industrial Informatics, vol. 6, no. 3, pp. 460 – 471, 2010 (pdf)
B. Yordanov and C. Belta, Formal analysis of discrete-time piecewise affine systems, IEEE Transactions on Automatic Control, vol 55, n0. 12, pp. 2834-3840, 2010 (pdf)
M. Imielinski and C. Belta, Deep epistasis in human metabolism, Chaos, vol. 20, 2010 (pdf)
M. Kloetzer and C. Belta, Automatic deployment of distributed teams of robots from temporal logic specifications, IEEE Transactions on Robotics, vol. 26, no. 1, pp. 48-61, 2010 (pdf)
L.C.G.J.M Habets and C. Belta, Temporal Logic Control for Piecewise-Affine Hybrid Systems on Polytopes, 9th International Symposium on Mathematical Theory of Networks and Systems (MTNS 2010), Budapest, Hungary, July 2010 (pdf)
M. Lahijanian, J. Wasniewski, S. B. Andersson, and C. Belta, Motion Planning and Control from Temporal Logic Specifications with Probabilistic Satisfaction Guarantees, IEEE International Conference on Robotics and Automation, May 3-8, 2010, Anchorage, Alaska, USA (pdf)
M. Kloetzer, S. Itani, S. Birch, and C. Belta, On the Need for Communication in Distributed Implementations of LTL Motion Specifications, IEEE International Conference on Robotics and Automation, May 3-8, 2010, Anchorage, Alaska, USA (pdf)
R. D. Walker, S. B. Andersson, C. Belta, and P. Dupont, IN-Haptics: Interactive Navigation Using Haptics, Haptics Symposium, Waltham, MA 2010 (pdf)
M. Kloetzer and C. Belta, Reachability analysis of multi-affine systems, Transactions of the Institute of Measurement and Control, Special Issue on Hybrid Systems, vol. 32, no. 5, pp. 445 – 467, 2010 (pdf)
C. Belta, Robot Motion Planning, Wiley Encyclopedia of Computer Science and Engineering, John Wiley & Sons, Inc, Hoboken, ed. Benjamin Wah, vol. 4, pp. 2439-2446, 2009 (pdf)
B. Yordanov and C. Belta, Temporal Logic Control of Discrete-Time Piecewise Affine Systems, IEEE Conference on Decision and Control (CDC), Shanghai, China, 2009 (pdf)
M. Lahijanian, C. Belta, and S. Andersson, A Probabilistic Approach for Control of a Stochastic System from LTL Specifications, IEEE Conference on Decision and Control (CDC), Shanghai, China, 2009 (pdf)
M. Lahijanian, M. Kloetzer, S. Itani, C. Belta, and S. Andersson, Automatic deployment of autonomous cars in a robotic urban-like environment (RULE), IEEE International Conference on Robotics and Automation (ICRA), Kobe, Japan, 2009 (pdf)
M. Kloetzer and C. Belta, A Fully Automated Framework for Control of Linear Systems From Temporal Logic Specifications, IEEE Transactions on Automatic Control, vol. 53, no.1, pp. 287-297, 2008 (pdf)
M. Imielinski and C. Belta, Exploiting the pathway structure of metabolism to reveal high-order epistasis, BMC Systems Biology, 2:40, 2008 (pdf)
G. Batt, C. Belta, and R. Weiss, Temporal Logic Analysis of Gene Networks under Parameter Uncertainty, IEEE Transactions of Automatic Control, vol. 53, pp. 215 – 229, 2008 (pdf)
C. Belta, Abstractions for Planning and Control of Robotic Swarms, Bio-inspired Computing and Communication Networks, Auerbach Publications, CRC Press, eds. Yang Xiao and Fei Hu, 2008 (to appear) (pdf)
B. Yordanov and C. Belta, Parameter synthesis for piecewise affine systems from temporal logic specifications, 11th International Conference on Hybrid Systems: Computation and Control, (HSCC), St. Louis, Lecture Notes in Computer Science, Springer , eds. M. Egerstedt and B. Mishra, vol. 4981, pp. 542-555 2008 (pdf)
M. Kloetzer and C. Belta, Dealing with non-determinism in symbolic control, 11th International Conf. on Hybrid Systems: Computation and Control, (HSCC), St. Louis, Lecture Notes in Computer Science, Springer, eds. M. Egerstedt and B. Mishra, vol. 4981, pp. 287-300, 2008 (pdf)
M. Kloetzer, C. Mahulea, C. Belta, L. Recalde, and M. Silva, Formal analysis of timed continuous Petri nets, CDC 2008, Cancun, Mexico, 2008 (pdf)
M. Imielinski, N. Klitgord, and C. Belta, Investigating the genomic basis of metabolic robustness through in silico flux analysis, CDC 2008, Cancun, Mexico, 2008 (pdf)
B. Yordanov and C. Belta, Formal Analysis of Piecewise Affine Systems under Parameter Uncertainty with Application to Gene Networks, American Control Conference (ACC), Seattle, WA 2008 (pdf)
M. Kloetzer and C. Belta, Distributed implementations of global temporal logic motion specifications, IEEE Int. Conf. on Robotics and Automation (ICRA), Pasadena, CA, 2008 (pdf)
G. Batt, B. Yordanov, R. Weiss, and C. Belta, Robustness Analysis and Tuning of Synthetic Gene Networks, Bioinformatics, vol.23, no.18, pp. 2415-2422, 2007 (pdf)
C. Belta, A. Bicchi, M. Egerstedt, E. Frazzoli, E. Klavins, and G. J. Pappas, Symbolic Planning and Control of Robot Motion, IEEE Robotics and Automation Magazine – special issue on Grand Challenges of Robotics, vol. 14, no. 1, pp. 61-71, 2007 (pdf)
A. Halasz, V. Kumar, M. Imielinski, C. Belta, O. Sokolsky, S. Pathak, and H. Rubin, Analysis of Lactose Metabolism in E.coli using Reachability Analysis of Hybrid Systems, IET Systems Biology, vol.1, no.2, pp. 130-148, 2007 (pdf)
M. Kloetzer and C. Belta, Temporal Logic Planning and Control of Robotic Swarms by Hierarchical Abstractions, IEEE Transactions on Robotics, vol. 23, no. 2, pp. 320-331, 2007 (pdf)
G. Batt, C. Belta, and R. Weiss, Model checking liveness properties of genetic regulatory networks, 13th Int. Conf.on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Braga, Portugal, Lecture Notes in Computer Science, vol. 4424, pp. 323-338, 2007 (pdf)
G. Batt, C. Belta and R. Weiss, Model checking genetic regulatory networks with parameter uncertainty, 10th International Workshop on Hybrid Systems: Computation and Control (HSCC), Pisa, Italy, Lecture Notes in Computer Science, vol. 4416, pp. 61-75, 2007 (pdf)
M. Imielinski and C. Belta, Uncovering complex essential reaction sets in E.coli metabolism through pathway fragment analysis, 8th International Conference on Systems Biology (ICSB), Long Beach, California, Oct. 2007
G. Batt, B. Yordanov, R. Weiss, and C. Belta, Robustness analysis and tuning of synthetic gene networks, Synthetic Biology 3.0, Zurich, Switzerland, 2007
G. Batt, B. Yordanov, R. Weiss, and C. Belta, Robustness analysis and tuning of synthetic gene networks, Journales Ouvertes Biologie, Informatique et Mathematiques (JOBIM), Marseille, France, 2007
M. Imielinski and C. Belta, On the computation of minimal cut sets in genome scale metabolic networks, American Control Conference (ACC), New York, NY, 2007 (pdf)
B. Yordanov, G. Batt, and C. Belta, Model checking discrete-time piecewise affine systems: application to gene networks, European Control Conference (ECC), 2007 (pdf)
M. Kloetzer and C. Belta, Managing non-determinism in symbolic robot motion planning and control, IEEE International Conference on Robotics and Automation (ICRA), Rome, Italy, 2007 (pdf)
C. Belta and L.C.G.J.M. Habets, Controlling a class of nonlinear systems on rectangles, IEEE Transactions on Automatic Control, vol. 51, no. 11, pp. 1749-1759, 2006 (pdf)
M. Imielinski, C. Belta, A. Halasz, and H. Rubin, Systematic analysis of conservation relations in E.coli genome scale metabolic network reveals novel growth media, Biophysical Journal, vol. 90, pp. 2659 – 2672, 2006 (pdf)
M. Kloetzer and C. Belta, Reachability analysis of multi-affine systems, 9th International Workshop on Hybrid Systems: Computation and Control, Santa Barbara, CA, Lecture Notes in Computer Science, Springer Berlin / Heidelberg, vol. 3927, pp. 348 – 362, 2006 (pdf)
M. Kloetzer and C. Belta, A fully automated framework for control of linear systems from LTL specifications, 9th International Workshop on Hybrid Systems: Computation and Control, Santa Barbara, CA, Lecture Notes in Computer Science, Springer Berlin / Heidelberg, vol. 3927, pp. 333-347, 2006 (pdf)
M. Kloetzer, L.C.G.J.M. Habets, and C. Belta, Control of rectangular multi-affine hybrid systems, 45th IEEE Conference on Decision and Control, San Diego, CA, 2006 (pdf)
G. Batt, B. Yordanov, R. Weiss, and C. Belta, Robustness analysis and tuning of synthetic gene networks with parameter uncertainties, Engineering Principles in Biology, Cold Spring Harbor, New York, 2006
M. Kloetzer and C. Belta, A framework for automatic deployment of robots in 2D and 3D environments, IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Beijing, China, 2006 (pdf)
N. Michael, C. Belta, and V. Kumar, Controlling three dimensional swarms of robots, IEEE International Conference on Robotics and Automation (ICRA), Orlando, FL, 2006 (pdf)
M. Kloetzer and C. Belta, Hierarchical abstractions for robotic swarms, IEEE International Conference on Robotics and Automation (ICRA), Orlando, FL, 2006 (pdf)
M. Kloetzer and C. Belta, LTL planning for groups of robots, IEEE International Conference on Networking, Sensing, and Control, Ft. Lauderdale, 2006 (pdf)
M. Imielinski, C. Belta, A. Halasz, and H. Rubin, Characterizing the essential metabolome through genome scale analysis of E.Coli production capabilities, Bioinformatics, vol. 21 no. 9, pp. 2008-2016, 2005 (pdf)
C. Belta, V. Isler, and G. J. Pappas, Discrete abstractions for robot planning and control in polygonal environments, IEEE Transactions on Robotics, vol.21, no.5, pp. 864-874, 2005 (pdf)
C. Belta, J. Esposito, J. Kim, and V. Kumar, Computational techniques for analysis of genetic network dynamics, The International Journal of Robotics Research, vol. 24, no. 2-3, pp. 219-235, 2005 (pdf)
C. Belta, G. Pereira, and V. Kumar, Abstraction and control for swarms of robots, Springer Tracts in Advanced Robotics, eds. B. Siciliano, O. Khatib, and F. Groen, Springer-Verlag, Berlin, pp.224-233, 2005 (pdf)
M. Imielinski, C. Belta, A. Halasz, and H. Rubin, Systematic analysis of conservation relations in E.coli genome scale metabolic network reveals novel growth media, International Conference on Systems Biology, Boston, MA, 2005
M. Imielinski, C. Belta, A. Halasz, and H. Rubin, Characterizing elementary combinations of producible species in metabolic networks, Foundations of Systems Biology and Engineering, University of California Santa Barbara, August 2005
Calin Belta and Vijay Kumar, Abstraction and control for groups of robots, IEEE Transactions on Robotics, vol.20, no.5, pp.865-875, 2004 (pdf)
Calin Belta and Vijay Kumar, Optimal motion generation for groups of robots: a geometric approach, ASME Journal of Mechanical Design, Vol. 126, pp. 63-70, 2004 (pdf)
C. Belta, P. Finin, L.C.G.J.M. Habets, A. Halasz, M. Imielinski, V.Kumar, and H. Rubin, Understanding the bacterial stringent response using reachability analysis of hybrid systems, 7th International Workshop on Hybrid Systems: Computation and Control, Philadelphia, PA, Lecture Notes in Computer Science, vol. 2993, pp. 111-126, 2004 (pdf)
Calin Belta and Vijay Kumar, Geometric methods for multirobot motion planning, Handbook of Computational Geometry for Pattern Recognition, Computer Vision, Neurocomputing and Robotics, ed. Eduardo Bayro-Corrochano, Springer-Verlag, pp. 536-563, 2004 (pdf)
M. Imielinski, C. Belta, A. Halasz, and H. Rubin, Probing metabolite essentiality through in silico genome scale analysis of E.Coli production capabilities, 5th International Conference on Systems Biology, Heidelberg, Germany, Oct. 2004 (Best Poster Award)
C. Belta, On controlling aircraft and underwater vehicles, IEEE International Conference on Robotics and Automation, New Orleans, LA, April 2004 (pdf)
C. Belta and L.C.G.J.M. Habets, Constructing decidable hybrid systems with velocity bounds, 43rd IEEE Conference on Decision and Control, 2004 (pdf)
V. Isler, C. Belta, K. Daniilidis, and G. J. Pappas, Stochastic Hybrid Control for Visibility-Based Pursuit-Evasion Games, 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2004 (pdf)
C. Belta. G. Pereira, and V. Kumar, Abstraction and control for swarms of robots, 11th International Symposium of Robotics Research, Siena, Italy, Oct. 2003 (pdf)
C. Belta, G. Pereira, and V. Kumar, Control of a team of car-like robots using abstractions, 42nd IEEE Conference on Decision and Control, CDC, Maui, Hawaii, Dec. 2003 (pdf)
C. Belta and V. Kumar, Abstraction and control for groups of fully-actuated planar robots, IEEE International Conference on Robotics and Automation, Taipei, Taiwan, Sept. 2003 (pdf)
C. Belta, Geometric methods for multi-robot planning and control, PhD Thesis, University of Pennsylvania, 2003 (pdf)
Calin Belta and Vijay Kumar, An SVD-based projection method for interpolation on SE(3), IEEE Transactions on Robotics and Automation, vol. 18, no. 3, pp. 334-345, June 2002 (pdf)
Calin Belta and Vijay Kumar, Euclidean metrics for motion generation on SE(3), Journal of Mechanical Engineering Science Part C, vol. 216, no. C1, pp. 47-60, 2002 (pdf)
Calin Belta and Vijay Kumar, On the computation of rigid body motion, Electronic Journal of Computational Kinematics, vol 1, no. 1, 2002 (pdf)
R. Alur, C. Belta, V. Kumar, M. Mintz, G. J. Pappas, H. Rubin, and J. Schug, Modeling and analyzing biomolecular networks, Computing in Science and Engineering, Jan/Feb 2002, pp. 20-30 (pdf)
R. Alur, C. Belta, F. Ivancic, V. Kumar, H. Rubin, J. Schug, O. Sokolsky and J. Webb, Visual programming for modeling and simulation of bioregulatory networks, International Conference on High Performance Computing, Bangalore, India, Lecture Notes in Computer Science, vol 2552, pp. 702-713, 2002 (pdf)
Calin Belta and Vijay Kumar, Towards abstraction and control for large groups of robots, Control Problems in Robotics, Springer Tracts in Advanced Robotics, Springer-Verlag, Berlin, 2002, pp. 169-182 (pdf)
Calin Belta and Vijay Kumar, Towards abstraction and control for large groups of robots, 2nd International Workshop on Control Problems in Robotics and Automation, Las Vegas, NV, Dec. 2002 (pdf)
Calin Belta, Luc Habets, and Vijay Kumar, Control of multi-affine systems on rectangles with applications to hybrid biomolecular networks, 41st IEEE Conference on Decision and Control, Las Vegas, NV, Dec. 2002 (pdf)
C. Belta and V. Kumar, Motion generation for groups of robots: a centralized, geometric approach, ASME DETC, Montreal, Canada, Oct. 2002 (pdf)
C. Belta and V. Kumar, Trajectory design for formations of robots by kinetic energy shaping, IEEE International Conference on Robotics and Automation, Washington, DC, May 2002 (pdf)
Calin Belta, Guouxiang Gu, A. Sparks, and Siva Banda, Rotating stall control for axial flow compressors, Automatica, vol. 37, pp. 921-931, 2001 (pdf)
R. Alur, C. Belta, F. Ivancic, V. Kumar, M. Mintz, G. Pappas, J. Schug, Hybrid modelling and simulation of biomolecular networks, 4th International Workshop on Hybrid Systems: Computation and Control, Rome, Italy, Lecture Notes in Computer Science, vol. 2034, pp. 19-32 (pdf)
C. Belta, J. Schug, T. Dang, V. Kumar, G. J. Pappas, H. Rubin, P. V. Dunlap, Stability and reachability analysis of a hybrid model of luminescence in the marine bacterium Vibrio fischeri, 40th IEEE CDC, Orlando, Florida, 2001 (pdf)
R. Fierro, C. Belta, J. Desai, V. Kumar, On controlling aircraft formations, 40th IEEE CDC, Orlando, Florida, 2001 (pdf)
C. Belta and V. Kumar, Designing trajectories for formations of fully actuated robots, 5th SIAM Conference on Control and its Applications, San Diego, CA, July 2001
Calin Belta and Vijay Kumar, On the computation of rigid body motion, 2nd Workshop on Computational Kinematics, Seoul, Korea, May 2001 (pdf)
Calin Belta and Vijay Kumar, Motion generation for formations of robots: a geometric approach, IEEE International Conference on Robotics and Automation, Seoul, Korea, 2001 (pdf)
Calin Belta and Vijay Kumar, An efficient, geometric approach to rigid body motion interpolation, ASME 2000 International Design Engineering Technical Conferences and the Computers and Information in Engineering Conference, Baltimore, Maryland, September, 2000 (pdf)
Calin Belta and Vijay Kumar, New metrics for rigid body motion interpolation, Ball 2000 Symposium Commemorating the Legacy, Works, and Life of Sir Robert Stawell Ball, University of Cambridge, UK, July, 2000
Guoxiang Gu, Andrew Sparks, and Calin Belta, Stability analysis for rotating stall dynamics in axial flow compressors, Circuits, Systems and Signal Processing, vol.18, no.4, pp.331-350, 1999 (pdf)
Calin Belta, Guoxiang Gu, Andrew Sparks, Siva Banda, Rotating Stall Control for Axial Flow Compressors, 37th IEEE Conference on Decision and Contol, Tampa, Florida, December, 1998 (pdf)
Corneliu Botan and Calin Belta, Some aspects concerning the controller implementation for the discrete LQ problem, Bulletin of the Polytechnic Institute of Iasi, vol.XLIII(1-4), pp.11-16, 1997.
Calin Belta, Guoxiang Gu, Andrew Sparks, Siva Banda, Stall Control for Axial Compressors, 14th World Congress of IFAC, Beijing, China, July, 1999
Botan C., Belta C., Some Aspects Concerning the Controller Implementation for the Discrete LQ-Problem, 5th Symposium on Automatic Control and Computer Science, Iasi, 1995, Vol. 1, pp.275-278
Botan C., Postolache M., Onea A., Belta C., An Implementation of the Controller for LQ Optimal Problem, 10th International Conference on Control Systems and Computer Science, Bucharest, 1995, Vol.1, pp.83-86.
Botan C., Belta C., Weight Selection in the LQ Problem with Finite Final Time, 10th IFAC Workshop on Control Applications on Optimization, Haifa, 1995
Botan C., Belta C., On the Optimal Controller for Singular Systems, 11th International Conf. on Control Systems and Computer Science, Bucharest, 1997, Vol. 1, pp. 36-41
