


Остановите войну!
for scientists:


default search action
Calin Belta
Calin A. Belta
Person information

- affiliation: Boston University
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [j65]Max H. Cohen, Calin Belta:
Safe exploration in model-based reinforcement learning using control barrier functions. Autom. 147: 110684 (2023) - [j64]Noushin Mehdipour, Matthias Althoff, Radboud J. Duintjer Tebbens, Calin Belta:
Formal methods to comply with rules of the road in autonomous driving: State of the art and grand challenges. Autom. 152: 110692 (2023) - [j63]Mingyu Cai
, Erfan Aasi, Calin Belta
, Cristian-Ioan Vasile
:
Overcoming Exploration: Deep Reinforcement Learning for Continuous Control in Cluttered Environments From Temporal Logic Specifications. IEEE Robotics Autom. Lett. 8(4): 2158-2165 (2023) - [j62]Wei Xiao
, Calin Belta
, Christos G. Cassandras
:
Event-Triggered Control for Safety-Critical Systems With Unknown Dynamics. IEEE Trans. Autom. Control. 68(7): 4143-4158 (2023) - [c182]Mehdi Kermanshah, Nguyen Nguyen, Calin Belta, Roberto Tron:
Robust Filtering based on Complex Cell Networks from the Visual Cortex. ACC 2023: 2887-2894 - [c181]Max H. Cohen, Calin Belta:
Modular Adaptive Safety-Critical Control. ACC 2023: 2969-2974 - [c180]Shuo Liu, Jun Zeng, Koushil Sreenath, Calin A. Belta:
Iterative Convex Optimization for Model Predictive Control with Discrete-Time High-Order Control Barrier Functions. ACC 2023: 3368-3375 - [c179]Wenliang Liu, Kevin Leahy, Zachary Serlin, Calin Belta:
Robust Multi-Agent Coordination from CaTL+ Specifications. ACC 2023: 3529-3534 - [c178]Wei Xiao, Christos G. Cassandras, Calin A. Belta:
Learning Feasibility Constraints for Control Barrier Functions. ECC 2023: 1-6 - [c177]Wenliang Liu, Mirai Nishioka, Calin Belta:
Safe Model-based Control from Signal Temporal Logic Specifications Using Recurrent Neural Networks. ICRA 2023: 12416-12422 - [c176]Erfan Aasi, Mingyu Cai, Cristian Ioan Vasile, Calin Belta:
Time-Incremental Learning of Temporal Logic Classifiers Using Decision Trees. L4DC 2023: 547-559 - [c175]Wenliang Liu, Kevin Leahy, Zachary Serlin, Calin Belta:
CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications. L4DC 2023: 705-717 - [i105]Max H. Cohen, Calin Belta:
Modular Adaptive Safety-Critical Control. CoRR abs/2303.04241 (2023) - [i104]Wei Xiao, Christos G. Cassandras, Calin A. Belta:
Learning Feasibility Constraints for Control Barrier Functions. CoRR abs/2303.09403 (2023) - [i103]Shuo Liu, Wei Xiao, Calin A. Belta:
Auxiliary-Adaptive Control Barrier Functions for Safety Critical Systems. CoRR abs/2304.00372 (2023) - [i102]Guang Yang, Mingyu Cai, Ahmad Ahmad, Calin Belta, Roberto Tron:
Efficient LQR-CBF-RRT*: Safe and Optimal Motion Planning. CoRR abs/2304.00790 (2023) - [i101]Max H. Cohen, Makai Mann, Kevin Leahy, Calin Belta:
Uncertainty Quantification for Recursive Estimation in Adaptive Safety-Critical Control. CoRR abs/2304.01901 (2023) - [i100]Wenliang Liu, Wei Xiao, Calin Belta:
Learning Robust and Correct Controllers from Signal Temporal Logic Specifications Using BarrierNet. CoRR abs/2304.06160 (2023) - [i99]Ahmad Ahmad, Cristian-Ioan Vasile, Roberto Tron, Calin Belta:
Robustness Measures and Monitors for Time Window Temporal Logic. CoRR abs/2304.06645 (2023) - [i98]Shuo Liu, Wei Xiao, Calin A. Belta:
Feasibility-Guaranteed Safety Critical Control with Applications to Heterogeneous Platoons. CoRR abs/2310.00238 (2023) - [i97]Mehdi Kermanshah, Calin Belta, Roberto Tron:
Control-Based Planning over Probability Mass Function Measurements via Robust Linear Programming. CoRR abs/2310.08413 (2023) - 2022
- [j61]Wei Xiao, Calin A. Belta, Christos G. Cassandras:
Sufficient conditions for feasibility of optimal control problems using Control Barrier Functions. Autom. 135: 109960 (2022) - [j60]Wenliang Liu
, Noushin Mehdipour
, Calin Belta
:
Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints. IEEE Control. Syst. Lett. 6: 91-96 (2022) - [j59]Wei Xiao
, Calin Belta
, Christos G. Cassandras
:
Adaptive Control Barrier Functions. IEEE Trans. Autom. Control. 67(5): 2267-2281 (2022) - [j58]Wei Xiao
, Calin Belta
:
High-Order Control Barrier Functions. IEEE Trans. Autom. Control. 67(7): 3655-3662 (2022) - [j57]Kevin Leahy
, Zachary Serlin
, Cristian-Ioan Vasile
, Andrew Schoer
, Austin M. Jones
, Roberto Tron
, Calin Belta
:
Scalable and Robust Algorithms for Task-Based Coordination From High-Level Specifications (ScRATCHeS). IEEE Trans. Robotics 38(4): 2516-2535 (2022) - [c174]Wei Xiao, Christos G. Cassandras, Calin A. Belta, Daniela Rus:
Control Barrier Functions for Systems with Multiple Control Inputs. ACC 2022: 2221-2226 - [c173]Max H. Cohen, Calin Belta:
High Order Robust Adaptive Control Barrier Functions and Exponentially Stabilizing Adaptive Control Lyapunov Functions. ACC 2022: 2233-2238 - [c172]Max H. Cohen, Calin Belta, Roberto Tron:
Robust Control Barrier Functions for Nonlinear Control Systems with Uncertainty: A Duality-based Approach. CDC 2022: 174-179 - [c171]Ahmad Ahmad, Calin Belta, Roberto Tron:
Adaptive Sampling-based Motion Planning with Control Barrier Functions. CDC 2022: 4513-4518 - [c170]Kasra Ghasemi, Sadra Sadraddini, Calin Belta:
Decentralized Signal Temporal Logic Control for Perturbed Interconnected Systems via Assume-Guarantee Contract Optimization. CDC 2022: 5226-5231 - [c169]Erfan Aasi, Cristian Ioan Vasile
, Mahroo Bahreinian, Calin Belta:
Classification of Time-Series Data Using Boosted Decision Trees. IROS 2022: 1263-1268 - [c168]Ningyuan Zhang, Wenliang Liu, Calin Belta:
Distributed Control using Reinforcement Learning with Temporal-Logic-Based Reward Shaping. L4DC 2022: 751-762 - [c167]Suhail Alsalehi, Erfan Aasi, Ron Weiss, Calin Belta:
Learning Spatio-Temporal Specifications for Dynamical Systems. L4DC 2022: 968-980 - [i96]Mingyu Cai, Erfan Aasi, Calin Belta, Cristian-Ioan Vasile:
Overcoming Exploration: Deep Reinforcement Learning in Complex Environments from Temporal Logic Specifications. CoRR abs/2201.12231 (2022) - [i95]Max H. Cohen, Calin Belta:
High Order Robust Adaptive Control Barrier Functions and Exponentially Stabilizing Adaptive Control Lyapunov Functions. CoRR abs/2203.01999 (2022) - [i94]Ningyuan Zhang, Wenliang Liu, Calin Belta:
Distributed Control using Reinforcement Learning with Temporal-Logic-Based Reward Shaping. CoRR abs/2203.04172 (2022) - [i93]Wei Xiao, Christos G. Cassandras, Calin A. Belta, Daniela Rus:
Control Barrier Functions for Systems with Multiple Control Inputs. CoRR abs/2203.07978 (2022) - [i92]Ahmad Ahmad, Calin Belta, Roberto Tron:
Adaptive Sampling-based Motion Planning with Control Barrier Functions. CoRR abs/2206.00795 (2022) - [i91]Kasra Ghasemi, Sadra Sadraddini, Calin Belta:
Decentralized Signal Temporal Logic Control for Perturbed Interconnected Systems via Assume-Guarantee Contract Optimization. CoRR abs/2207.00115 (2022) - [i90]Kasra Ghasemi, Sadra Sadraddini, Calin Belta:
Compositional Synthesis for Linear Systems via Convex Optimization of Assume-Guarantee Contracts. CoRR abs/2208.01701 (2022) - [i89]Max H. Cohen, Calin Belta, Roberto Tron:
Robust Control Barrier Functions for Nonlinear Control Systems with Uncertainty: A Duality-based Approach. CoRR abs/2208.05955 (2022) - [i88]Wenliang Liu, Kevin Leahy, Zachary Serlin, Calin Belta:
Robust Multi-Agent Coordination from CaTL+ Specifications. CoRR abs/2210.01732 (2022) - [i87]Shuo Liu, Jun Zeng, Koushil Sreenath, Calin A. Belta:
Iterative Convex Optimization for Model Predictive Control with Discrete-Time High-Order Control Barrier Functions. CoRR abs/2210.04361 (2022) - [i86]Logan E. Beaver, Max Sokolich, Suhail Alsalehi, Ron Weiss, Sambeeta Das, Calin Belta:
Learning for Control of Rolling ubots. CoRR abs/2212.00188 (2022) - [i85]Wenliang Liu, Kevin Leahy, Zachary Serlin, Calin Belta:
CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications. CoRR abs/2212.11792 (2022) - 2021
- [j56]Wei Xiao, Christos G. Cassandras, Calin A. Belta:
Bridging the gap between optimal trajectory planning and safety-critical control with applications to autonomous vehicles. Autom. 129: 109592 (2021) - [j55]Noushin Mehdipour
, Cristian Ioan Vasile
, Calin Belta
:
Specifying User Preferences Using Weighted Signal Temporal Logic. IEEE Control. Syst. Lett. 5(6): 2006-2011 (2021) - [j54]Wei Xiao, Christos G. Cassandras, Calin Belta:
Safety-Critical Optimal Control for Autonomous Systems. J. Syst. Sci. Complex. 34(5): 1723-1742 (2021) - [j53]Giuseppe Bombara, Calin Belta:
Offline and Online Learning of Signal Temporal Logic Formulae Using Decision Trees. ACM Trans. Cyber Phys. Syst. 5(3): 22:1-22:23 (2021) - [c166]Erfan Aasi, Cristian Ioan Vasile
, Calin Belta:
A Control Architecture for Provably-Correct Autonomous Driving. ACC 2021: 2913-2918 - [c165]Wenliang Liu, Noushin Mehdipour, Calin Belta:
Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints. ACC 2021: 3461-3466 - [c164]Wei Xiao, Calin A. Belta, Christos G. Cassandras:
High Order Control Lyapunov-Barrier Functions for Temporal Logic Specifications. ACC 2021: 4886-4891 - [c163]Noushin Mehdipour, Cristian Ioan Vasile
, Calin Belta:
Specifying User Preferences using Weighted Signal Temporal Logic. ACC 2021: 4900-4905 - [c162]Wei Xiao, Calin Belta, Christos G. Cassandras:
Event-Triggered Safety-Critical Control for Systems with Unknown Dynamics. CDC 2021: 540-545 - [c161]Suhail Alsalehi
, Noushin Mehdipour, Ezio Bartocci
, Calin Belta:
Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications. CDC 2021: 5110-5115 - [c160]Max H. Cohen, Calin Belta:
Model-based reinforcement learning for approximate optimal control with temporal logic specifications. HSCC 2021: 12:1-12:11 - [c159]Wei Xiao, Noushin Mehdipour, Anne Collin, Amitai Bin-Nun
, Emilio Frazzoli, Radboud J. Duintjer Tebbens, Calin Belta:
Rule-based optimal control for autonomous driving. ICCPS 2021: 143-154 - [c158]Bassam Helou, Aditya Dusi
, Anne Collin, Noushin Mehdipour, Zhiliang Chen, Cristhian Lizarazo, Calin Belta, Tichakorn Wongpiromsarn, Radboud J. Duintjer Tebbens, Oscar Beijbom:
The Reasonable Crowd: Towards evidence-based and interpretable models of driving behavior. IROS 2021: 6708-6715 - [i84]Wei Xiao, Noushin Mehdipour, Anne Collin, Amitai Bin-Nun, Emilio Frazzoli, Radboud J. Duintjer Tebbens, Calin Belta:
Rule-based Optimal Control for Autonomous Driving. CoRR abs/2101.05709 (2021) - [i83]Max H. Cohen, Calin Belta:
Model-Based Reinforcement Learning for Approximate Optimal Control with Temporal Logic Specifications. CoRR abs/2101.07156 (2021) - [i82]Wei Xiao, Calin A. Belta, Christos G. Cassandras:
High Order Control Lyapunov-Barrier Functions for Temporal Logic Specifications. CoRR abs/2102.06787 (2021) - [i81]Erkan Kayacan, Wouter Saeys, Herman Ramon, Calin Belta, Joshua M. Peschel:
Experimental Validation of Linear and Nonlinear MPC on an Articulated Unmanned Ground Vehicle. CoRR abs/2103.13800 (2021) - [i80]Wei Xiao, Calin Belta, Christos G. Cassandras:
Event-Triggered Safety-Critical Control for Systems with Unknown Dynamics. CoRR abs/2103.15874 (2021) - [i79]Wenliang Liu, Calin Belta:
Model-Based Safe Policy Search from Signal Temporal Logic Specifications Using Recurrent Neural Networks. CoRR abs/2103.15938 (2021) - [i78]Suhail Alsalehi, Noushin Mehdipour, Ezio Bartocci, Calin Belta:
Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications. CoRR abs/2104.02737 (2021) - [i77]Max H. Cohen, Calin Belta:
Safe Exploration in Model-based Reinforcement Learning using Control Barrier Functions. CoRR abs/2104.08171 (2021) - [i76]Erfan Aasi, Cristian Ioan Vasile, Calin Belta:
A Control Architecture for Provably-Correct Autonomous Driving. CoRR abs/2105.02759 (2021) - [i75]Erfan Aasi, Cristian Ioan Vasile, Mahroo Bahreinian, Calin Belta:
Inferring Temporal Logic Properties from Data using Boosted Decision Trees. CoRR abs/2105.11508 (2021) - [i74]Wei Xiao, Noushin Mehdipour, Anne Collin, Amitai Y. Bin-Nun, Emilio Frazzoli, Radboud J. Duintjer Tebbens, Calin Belta:
Rule-based Evaluation and Optimal Control for Autonomous Driving. CoRR abs/2107.07460 (2021) - [i73]Bassam Helou, Aditya Dusi, Anne Collin, Noushin Mehdipour, Zhiliang Chen, Cristhian Lizarazo, Calin Belta, Tichakorn Wongpiromsarn, Radboud J. Duintjer Tebbens, Oscar Beijbom:
The Reasonable Crowd: Towards evidence-based and interpretable models of driving behavior. CoRR abs/2107.13507 (2021) - [i72]Erfan Aasi, Cristian Ioan Vasile, Mahroo Bahreinian, Calin Belta:
Classification of Time-Series Data Using Boosted Decision Trees. CoRR abs/2110.00581 (2021) - [i71]Suhail Alsalehi, Erfan Aasi, Ron Weiss, Calin Belta:
Learning Spatio-Temporal Specifications for Dynamical Systems. CoRR abs/2112.10714 (2021) - [i70]Erfan Aasi, Mingyu Cai, Cristian Ioan Vasile, Calin Belta:
Time-Incremental Learning from Data Using Temporal Logics. CoRR abs/2112.14300 (2021) - 2020
- [j52]Cristian Ioan Vasile
, Xiao Li, Calin Belta:
Reactive sampling-based path planning with temporal logic specifications. Int. J. Robotics Res. 39(8) (2020) - [j51]Zachary Serlin
, Guang Yang
, Brandon Sookraj, Calin Belta, Roberto Tron:
Distributed and consistent multi-image feature matching via QuickMatch. Int. J. Robotics Res. 39(10-11) (2020) - [c157]Chuangchuang Sun, Xiao Li, Calin Belta:
Automata Guided Semi-Decentralized Multi-Agent Reinforcement Learning. ACC 2020: 3900-3905 - [c156]Guang Yang
, Calin Belta, Roberto Tron:
Continuous-time Signal Temporal Logic Planning with Control Barrier Functions. ACC 2020: 4612-4618 - [c155]Wei Xiao, Calin A. Belta, Christos G. Cassandras:
Feasibility-Guided Learning for Constrained Optimal Control Problems. CDC 2020: 1896-1901 - [c154]Max H. Cohen, Calin Belta:
Approximate Optimal Control for Safety-Critical Systems with Control Barrier Functions. CDC 2020: 2062-2067 - [c153]Kasra Ghasemi, Sadra Sadraddini, Calin Belta:
Compositional synthesis via a convex parameterization of assume-guarantee contracts. HSCC 2020: 16:1-16:10 - [c152]Wei Xiao, Christos G. Cassandras, Calin Belta:
Decentralized Optimal Control in Multi-lane Merging for Connected and Automated Vehicles. ITSC 2020: 1-6 - [i69]Wei Xiao, Calin Belta, Christos G. Cassandras:
Adaptive Control Barrier Functions for Safety-Critical Systems. CoRR abs/2002.04577 (2020) - [i68]Kasra Ghasemi, Sadra Sadraddini, Calin Belta:
Compositional Synthesis via a Convex Parameterization of Assume-Guarantee Contracts. CoRR abs/2002.06494 (2020) - [i67]Wei Xiao, Christos G. Cassandras, Calin Belta:
Decentralized Optimal Control in Multi-lane Merging for Connected and Automated Vehicles. CoRR abs/2006.00286 (2020) - [i66]Guang Yang, Calin Belta, Roberto Tron:
Non-uniform Sampled Motion Planning for Continuous-time STL. CoRR abs/2006.02351 (2020) - [i65]Max H. Cohen, Calin Belta:
Approximate Optimal Control for Safety-Critical Systems with Control Barrier Functions. CoRR abs/2008.04122 (2020) - [i64]Wei Xiao, Christos G. Cassandras, Calin A. Belta:
Bridging the Gap between Optimal Trajectory Planning and Safety-Critical Control with Applications to Autonomous Vehicles. CoRR abs/2008.07632 (2020) - [i63]Wenliang Liu, Noushin Mehdipour
, Calin Belta:
Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints. CoRR abs/2009.11468 (2020) - [i62]Noushin Mehdipour
, Cristian Ioan Vasile, Calin Belta:
Specifying User Preferences using Weighted Signal Temporal Logic. CoRR abs/2010.00752 (2020) - [i61]Wei Xiao, Calin Belta, Christos G. Cassandras:
Sufficient Conditions for Feasibility of Optimal Control Problems Using Control Barrier Functions. CoRR abs/2011.08248 (2020)
2010 – 2019
- 2019
- [j50]Calin Belta, Sadra Sadraddini:
Formal Methods for Control Synthesis: An Optimization Perspective. Annu. Rev. Control. Robotics Auton. Syst. 2: 115-140 (2019) - [j49]Kevin Leahy
, Eric Cristofalo
, Cristian Ioan Vasile
, Austin Jones, Eduardo Montijano, Mac Schwager
, Calin Belta:
Control in belief space with temporal logic specifications using vision-based localization. Int. J. Robotics Res. 38(6) (2019) - [j48]Xiao Li
, Zachary Serlin
, Guang Yang
, Calin Belta:
A formal methods approach to interpretable reinforcement learning for robotic planning. Sci. Robotics 4(37) (2019) - [j47]Sadra Sadraddini
, Calin Belta
:
Formal Synthesis of Control Strategies for Positive Monotone Systems. IEEE Trans. Autom. Control. 64(2): 480-495 (2019) - [c151]Noushin Mehdipour
, Cristian Ioan Vasile
, Calin Belta:
Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications. ACC 2019: 1690-1695 - [c150]Guang Yang
, Calin Belta, Roberto Tron:
Self-triggered Control for Safety Critical Systems Using Control Barrier Functions. ACC 2019: 4454-4459 - [c149]Junmin Wang, Calin Belta:
Retroactivity Affects the Adaptive Robustness of Transcriptional Regulatory Networks. ACC 2019: 5396-5401 - [c148]Wei Xiao, Calin Belta:
Control Barrier Functions for Systems with High Relative Degree. CDC 2019: 474-479 - [c147]Kasra Ghasemi, Sadra Sadraddini, Calin Belta:
Compositional Synthesis of Decentralized Robust Set-Invariance Controllers for Large-scale Linear Systems. CDC 2019: 2054-2059 - [c146]Iman Haghighi, Noushin Mehdipour
, Ezio Bartocci
, Calin Belta:
Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics. CDC 2019: 4361-4366 - [c145]Noushin Mehdipour
, Cristian Ioan Vasile
, Calin Belta:
Average-based Robustness for Continuous-Time Signal Temporal Logic. CDC 2019: 5312-5317 - [c144]Wei Xiao, Calin Belta, Christos G. Cassandras
:
Decentralized merging control in traffic networks: a control barrier function approach. ICCPS 2019: 270-279 - [c143]Austin M. 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. ISRR 2019: 224-241 - [c142]Wei Xiao, Christos G. Cassandras
, Calin Belta:
Decentralized Merging Control in Traffic Networks with Noisy Vehicle Dynamics: a Joint Optimal Control and Barrier Function Approach. ITSC 2019: 3162-3167 - [c141]Dogan Ulus
, Calin Belta:
Reactive Control Meets Runtime Verification: A Case Study of Navigation. RV 2019: 368-374 - [i60]Dogan Ulus, Calin Belta:
Reactive Control Meets Runtime Verification: A Case Study of Navigation. CoRR abs/1902.04024 (2019) - [i59]Guang Yang, Calin Belta, Roberto Tron:
Self-triggered Control for Safety Critical Systems using Control Barrier Functions. CoRR abs/1903.03692 (2019) - [i58]Guang Yang, Roberto Tron, Calin Belta:
Continuous-time Signal Temporal Logic Planning with Control Barrier Function. CoRR abs/1903.03860 (2019) - [i57]Wei Xiao, Calin Belta:
Control Barrier Functions for Systems with High Relative Degree. CoRR abs/1903.04706 (2019) - [i56]Noushin Mehdipour, Cristian Ioan Vasile, Calin Belta:
Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications. CoRR abs/1903.05186 (2019) - [i55]Xiao Li, Calin Belta:
Temporal Logic Guided Safe Reinforcement Learning Using Control Barrier Functions. CoRR abs/1903.09885 (2019) - [i54]Iman Haghighi, Noushin Mehdipour, Ezio Bartocci, Calin Belta:
Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics. CoRR abs/1904.11611 (2019) - [i53]Guang Yang, Bee Vang, Zachary Serlin, Calin Belta, Roberto Tron:
Sampling-based Motion Planning via Control Barrier Functions. CoRR abs/1907.06722 (2019) - [i52]Noushin Mehdipour, Cristian Ioan Vasile, Calin Belta:
Average-based Robustness for Continuous-Time Signal Temporal Logic. CoRR abs/1909.00898 (2019) - [i51]Kasra Ghasemi, Sadra Sadraddini, Calin Belta:
Compositional Synthesis of Decentralized Robust Set-Invariance Controllers for Large-scale Linear Systems. CoRR abs/1909.06425 (2019) - [i50]