default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCalin Belta
Calin A. Belta
Person information
- affiliation: University of Maryland, College Park, USA
- affiliation (former): Boston University, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j71]Noushin Mehdipour
, Cristian-Ioan Vasile, Calin Belta:
Generalized Mean Robustness for Signal Temporal Logic. IEEE Trans. Autom. Control. 70(3): 1949-1956 (2025)- [j70]Erfan Aasi, Mingyu Cai, Cristian-Ioan Vasile, Calin Belta:
A Two-Level Control Algorithm for Autonomous Driving in Urban Environments. IEEE Trans. Intell. Transp. Syst. 26(1): 410-424 (2025) - [i112]Shuo Liu, Wei Xiao, Calin A. Belta:
Auxiliary-Variable Adaptive Control Barrier Functions. CoRR abs/2502.15026 (2025) - [i111]Shuo Liu, Wei Xiao, Calin A. Belta:
Ensuring Safe and Smooth Control in Safety-Critical Systems via Filtered Control Barrier Functions. CoRR abs/2503.23267 (2025) - 2024
- [j69]Wei Xiao, Anni Li, Christos G. Cassandras, Calin Belta:
Toward model-free safety-critical control with humans in the loop. Annu. Rev. Control. 57: 100944 (2024) - [j68]Kasra Ghasemi, Sadra Sadraddini, Calin Belta:
Compositional synthesis for linear systems via convex optimization of assume-guarantee contracts. Autom. 169: 111816 (2024) - [j67]Logan E. Beaver, Max Sokolich, Suhail Alsalehi, Ron Weiss, Sambeeta Das, Calin Belta:
Learning a Tracking Controller for Rolling $\mu$bots. IEEE Robotics Autom. Lett. 9(2): 1819-1826 (2024) - [j66]Mohammad Khayatian, Mohammadreza Mehrabian, I-Ching Tseng, Chung-Wei Lin, Calin Belta, Aviral Shrivastava:
Cooperative Driving of Connected Autonomous vehicle using Responsibility Sensitive Safety Rules: A Control Barrier Functions Approach. ACM Trans. Cyber Phys. Syst. 8(3): 25:1-25:26 (2024) - [c190]Max H. Cohen, Makai Mann, Kevin Leahy, Calin Belta:
Uncertainty Quantification for Recursive Estimation in Adaptive Safety-Critical Control. ACC 2024: 3885-3890 - [c189]Mehdi Kermanshah, Calin Belta, Roberto Tron:
LP-Planning: Linear Control-Based Planning Using Probability Mass Function Measurements. ACC 2024: 4126-4132 - [c188]Carter Berlind, Wenliang Liu, Alyssa Pierson, Calin Belta:
Capability Augmentation for Heterogeneous Dynamic Teaming with Temporal Logic Tasks. CDC 2024: 1573-1579 - [c187]Shuo Liu, Wei Xiao, Calin Belta:
Feasibility-Guaranteed Safety-Critical Control with Applications to Heterogeneous Platoons. CDC 2024: 8066-8073 - [c186]Shuo Liu, Wei Xiao, Calin A. Belta:
Auxiliary-Variable Adaptive Control Lyapunov Barrier Functions for Spatio-Temporally Constrained Safety-Critical Applications. CDC 2024: 8098-8104 - [i110]Wenliang Liu, Danyang Li, Erfan Aasi, Roberto Tron, Calin Belta:
Interpretable Generative Adversarial Imitation Learning. CoRR abs/2402.10310 (2024) - [i109]Mehdi Kermanshah, Logan E. Beaver, Max Sokolich, Sambeeta Das, Ron Weiss, Roberto Tron, Calin Belta:
Control of Microrobots Using Model Predictive Control and Gaussian Processes for Disturbance Estimation. CoRR abs/2406.02722 (2024) - [i108]Shuo Liu, Zhe Huang, Jun Zeng, Koushil Sreenath, Calin A. Belta:
Iterative Convex Optimization for Safety-Critical Model Predictive Control. CoRR abs/2409.08300 (2024) - [i107]Carter Berlind, Wenliang Liu, Alyssa Pierson, Calin Belta:
Capability Augmentation for Heterogeneous Dynamic Teaming with Temporal Logic Tasks. CoRR abs/2409.09285 (2024) - [i106]Ahmad Ahmad, Mehdi Kermanshah, Kevin Leahy, Zachary Serlin, Ho Chit Siu, Makai Mann, Cristian-Ioan Vasile, Roberto Tron, Calin Belta:
Accelerating Proximal Policy Optimization Learning Using Task Prediction for Solving Environments with Delayed Rewards. CoRR abs/2411.17861 (2024) - 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) - [c185]Mehdi Kermanshah, Nguyen Nguyen, Calin Belta, Roberto Tron:
Robust Filtering based on Complex Cell Networks from the Visual Cortex. ACC 2023: 2887-2894 - [c184]Max H. Cohen, Calin Belta:
Modular Adaptive Safety-Critical Control. ACC 2023: 2969-2974 - [c183]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 - [c182]Wenliang Liu, Kevin Leahy, Zachary Serlin, Calin Belta:
Robust Multi-Agent Coordination from CaTL+ Specifications. ACC 2023: 3529-3534 - [c181]Ahmad Ahmad, Cristian-Ioan Vasile, Roberto Tron, Calin Belta:
Robustness Measures and Monitors for Time Window Temporal Logic. CDC 2023: 6841-6846 - [c180]Wenliang Liu, Wei Xiao, Calin Belta:
Learning Robust and Correct Controllers from Signal Temporal Logic Specifications Using BarrierNet. CDC 2023: 7049-7054 - [c179]Shuo Liu, Wei Xiao, Calin A. Belta:
Auxiliary- Variable Adaptive Control Barrier Functions for Safety Critical Systems. CDC 2023: 8602-8607 - [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]Zachary Serlin, Guang Yang, Brandon Sookraj, Calin Belta, Roberto Tron:
Distributed and Consistent Multi-Image Feature Matching via QuickMatch. CoRR abs/1910.13317 (2019) - [i49]Wei Xiao, Calin A. Belta, Christos G. Cassandras:
Feasibility-Guided Learning for Robust Control in Constrained Optimal Control Problems. CoRR abs/1912.04066 (2019) - 2018
- [j46]Ezio Bartocci, Ebru Aydin Gol, Iman Haghighi, Calin Belta:
A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks. IEEE Trans. Control. Netw. Syst. 5(1): 308-320 (2018) - [j45]Cristian Ioan Vasile, Mac Schwager, Calin Belta:
Translational and Rotational Invariance in Networked Dynamical Systems. IEEE Trans. Control. Netw. Syst. 5(3): 822-832 (2018) - [c140]Xiao Li, Yao Ma, Calin Belta:
A Policy Search Method For Temporal Logic Specified Reinforcement Learning Tasks. ACC 2018: 240-245 - [c139]Sadra Sadraddini, Calin Belta:
Distributed Robust Set-Invariance for Interconnected Linear Systems. ACC 2018: 1274-1279 - [c138]Curtis Madsen, Prashant Vaidyanathan, Sadra Sadraddini, Cristian Ioan Vasile, Nicholas A. DeLateur, Ron Weiss, Douglas Densmore, Calin Belta:
Metrics for Signal Temporal Logic Formulae. CDC 2018: 1542-1547 - [c137]Noushin Mehdipour, Demarcus Briers, Iman Haghighi, Chad M. Glen, Melissa L. Kemp, Calin Belta:
Spatial-Temporal pattern Synthesis in a Network of Locally Interacting Cells. CDC 2018: 3516-3521 - [c136]Francisco Penedo, Harold S. Park, Calin Belta:
Control Synthesis for Partial Differential Equations from Spatio-Temporal Specifications. CDC 2018: 4890-4895 - [c135]Giuseppe Bombara, Calin Belta:
Online Learning of Temporal Logic Formulae for Signal Classification. ECC 2018: 2057-2062 - [c134]Sadra Sadraddini, Calin Belta:
Formal Guarantees in Data-Driven Model Identification and Control Synthesis. HSCC 2018: 147-156 - [c133]Zachary T. Serlin, Kevin Leahy, Roberto Tron, Calin Belta:
Distributed Sensing Subject to Temporal Logic Constraints. IROS 2018: 4862-4868 - [c132]Zachary Serlin, Brandon Sookraj, Calin Belta, Roberto Tron:
Consistent Multi-robot Object Matching via QuickMatch. ISER 2018: 751-761 - [i48]Curtis Madsen, Prashant Vaidyanathan, Sadra Sadraddini, Cristian Ioan Vasile, Nicholas A. DeLateur, Ron Weiss, Douglas Densmore, Calin Belta:
Metrics for Signal Temporal Logic Formulae. CoRR abs/1808.03315 (2018) - [i47]Xiao Li, Yao Ma, Calin Belta:
Automata Guided Reinforcement Learning With Demonstrations. CoRR abs/1809.06305 (2018) - 2017
- [j44]Sadra Sadraddini, Sivaranjani S., Vijay Gupta, Calin Belta:
Provably Safe Cruise Control of Vehicular Platoons. IEEE Control. Syst. Lett. 1(2): 262-267 (2017) - [j43]Zhaodan Kong, Austin Jones, Calin Belta:
Temporal Logics for Learning and Detection of Anomalous Behavior. IEEE Trans. Autom. Control. 62(3): 1210-1222 (2017) - [j42]Kun Deng, Yushan Chen, Calin Belta:
An Approximate Dynamic Programming Approach to Multiagent Persistent Monitoring in Stochastic Environments With Temporal Logic Constraints. IEEE Trans. Autom. Control. 62(9): 4549-4563 (2017) - [j41]Cristian Ioan Vasile, Derya Aksaray, Calin Belta:
Time window temporal logic. Theor. Comput. Sci. 691: 27-54 (2017) - [c131]Kevin J. Leahy, Derya Aksaray, Calin Belta:
Informative path planning under temporal logic constraints with performance guarantees. ACC 2017: 1859-1865 - [c130]Iman Haghighi, Kevin Leahy, Rachael Ivison, Calin Belta:
Semi-supervised pattern synthesis in spatially distributed dynamical systems. ACC 2017: 2530-2535 - [c129]Sivaranjani S., Sadra Sadraddini, Vijay Gupta, Calin Belta:
Distributed control policies for localization of large disturbances in urban traffic networks. ACC 2017: 3542-3547 - [c128]Sadra Sadraddini, Calin Belta:
Formal methods for adaptive control of dynamical systems. CDC 2017: 1782-1787 - [c127]Eric S. Kim, Sadra Sadraddini, Calin Belta, Murat Arcak, Sanjit A. Seshia:
Dynamic contracts for distributed temporal logic control of traffic networks. CDC 2017: 3640-3645 - [c126]Prashant Vaidyanathan, Rachael Ivison, Giuseppe Bombara, Nicholas A. DeLateur, Ron Weiss, Douglas Densmore, Calin Belta:
Grid-based temporal logic inference. CDC 2017: 5354-5359 - [c125]Sadra Sadraddini, János Rudan, Calin Belta:
Formal synthesis of distributed optimal traffic control policies. ICCPS 2017: 15-24 - [c124]Cristian Ioan Vasile, Jana Tumova, Sertac Karaman, Calin Belta, Daniela Rus:
Minimum-violation scLTL motion planning for mobility-on-demand. ICRA 2017: 1481-1488 - [c123]Xiao Li, Cristian Ioan Vasile, Calin Belta:
Reinforcement learning with temporal logic rewards. IROS 2017: 3834-3839 - [c122]Chanyeol Yoo, Calin Belta:
Rich Time Series Classification Using Temporal Logic. Robotics: Science and Systems 2017 - [c121]Giuseppe Bombara, Calin Belta:
Signal Clustering Using Temporal Logics. RV 2017: 121-137 - [i46]Sadra Sadraddini, Calin Belta:
Formal Synthesis of Control Strategies for Positive Monotone Systems. CoRR abs/1702.08501 (2017) - [i45]Sadra Sadraddini, Calin Belta:
Formal Methods for Adaptive Control of Dynamical Systems. CoRR abs/1703.07704 (2017) - [i44]Sadra Sadraddini, Sivaranjani S., Vijay Gupta, Calin Belta:
Provably Safe Cruise Control of Vehicular Platoons. CoRR abs/1706.01195 (2017) - [i43]Xiao Li, Yao Ma, Calin Belta:
A Policy Search Method For Temporal Logic Specified Reinforcement Learning Tasks. CoRR abs/1709.09611 (2017) - [i42]Sadra Sadraddini, Calin Belta:
Distributed Robust Set-Invariance for Interconnected Linear Systems. CoRR abs/1709.10036 (2017) - [i41]Xiao Li, Yao Ma, Calin Belta:
Automata Guided Hierarchical Reinforcement Learning for Zero-shot Skill Composition. CoRR abs/1711.00129 (2017) - [i40]Calin Belta, Rupak Majumdar, Majid Zamani, Matthias Rungger:
Formal Synthesis of Cyber-Physical Systems (Dagstuhl Seminar 17201). Dagstuhl Reports 7(5): 84-96 (2017) - 2016
- [j40]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. Auton. Robots 40(8): 1363-1378 (2016) - [j39]Samuel Coogan, Ebru Aydin Gol, Murat Arcak, Calin Belta:
Traffic Network Control From Temporal Logic Specifications. IEEE Trans. Control. Netw. Syst. 3(2): 162-172 (2016) - [c120]Samuel Coogan, Murat Arcak, Calin Belta:
Finite state abstraction and formal methods for traffic flow networks. ACC 2016: 864-879 - [c119]Sadra Sadraddini, Calin Belta:
Model predictive control of urban traffic networks with temporal logic constraints. ACC 2016: 881 - [c118]Sadra Sadraddini, Calin Belta:
A provably correct MPC approach to safety control of urban traffic networks. ACC 2016: 1679-1684 - [c117]Kevin J. Leahy, Prasanna Kannappan, Adam Jardine, Herbert G. Tanner, Jeffrey Heinz, Calin Belta:
Integration of deterministic inference with formal synthesis for control under uncertainty. ACC 2016: 4829-4834 - [c116]Calin Belta:
Formal synthesis of control strategies for dynamical systems. CDC 2016: 3407-3431 - [c115]Demarcus Briers, Iman Haghighi, Douglas E. White, Melissa L. Kemp, Calin Belta:
Pattern synthesis in a 3D agent-based model of stem cell differentiation. CDC 2016: 4202-4207 - [c114]Sadra Sadraddini, Calin Belta:
Safety control of monotone systems with bounded uncertainties. CDC 2016: 4874-4879 - [c113]Iman Haghighi, Sadra Sadraddini, Calin Belta:
Robotic swarm control from spatio-temporal specifications. CDC 2016: 5708-5713 - [c112]Sadra Sadraddini, Calin Belta:
Feasibility envelopes for metric temporal logic specifications. CDC 2016: 5732-5737 - [c111]Derya Aksaray, Austin Jones, Zhaodan Kong, Mac Schwager, Calin Belta:
Q-Learning for robust satisfaction of signal temporal logic specifications. CDC 2016: 6565-6570 - [c110]Cristian Ioan Vasile, Kevin Leahy, Eric Cristofalo, Austin Jones, Mac Schwager, Calin Belta:
Control in belief space with Temporal Logic specifications. CDC 2016: 7419-7424 - [c109]Vladislav Nenchev, Calin Belta:
Receding horizon robot control in partially unknown environments with temporal logic constraints. ECC 2016: 2614-2619 - [c108]Giuseppe Bombara, Cristian Ioan Vasile, Francisco Penedo, Hirotoshi Yasuoka, Calin Belta:
A Decision Tree Approach to Data Classification using Signal Temporal Logic. HSCC 2016: 1-10 - [c107]Jana Tumova, Sertac Karaman, Calin Belta, Daniela Rus:
Least-Violating Planning in Road Networks from Temporal Logic Specifications. ICCPS 2016: 17:1-17:9 - [c106]Derya Aksaray, Cristian Ioan Vasile, Calin Belta:
Dynamic routing of energy-aware vehicles with Temporal Logic Constraints. ICRA 2016: 3141-3146 - [c105]Eric Cristofalo, Kevin Leahy, Cristian Ioan Vasile, Eduardo Montijano, Mac Schwager, Calin Belta:
Localization of a Ground Robot by Aerial Robots for GPS-Deprived Control with Temporal Logic Constraints. ISER 2016: 525-537 - [c104]Francisco Penedo, Cristian Ioan Vasile, Calin Belta:
Language-Guided Sampling-based Planning using Temporal Relaxation. WAFR 2016: 128-143 - [i39]Sadra Sadraddini, Calin Belta:
A Provably Correct MPC Approach to Safety Control of Urban Traffic Networks. CoRR abs/1602.01028 (2016) - [i38]Cristian Ioan Vasile, Derya Aksaray, Calin Belta:
Time Window Temporal Logic. CoRR abs/1602.04294 (2016) - [i37]Sadra Sadraddini, Calin Belta:
Safety Control of Monotone Systems with Bounded Uncertainties. CoRR abs/1603.07419 (2016) - [i36]Xiao Li, Calin Belta:
A Hierarchical Reinforcement Learning Method for Persistent Time-Sensitive Tasks. CoRR abs/1606.06355 (2016) - [i35]Iman Haghighi, Sadra Sadraddini, Calin Belta:
Robotic Swarm Control from Spatio-Temporal Specifications. CoRR abs/1609.06283 (2016) - [i34]Derya Aksaray, Austin Jones, Zhaodan Kong, Mac Schwager, Calin Belta:
Q-Learning for Robust Satisfaction of Signal Temporal Logic Specifications. CoRR abs/1609.07409 (2016) - [i33]Xiao Li, Cristian Ioan Vasile, Calin Belta:
Reinforcement Learning With Temporal Logic Rewards. CoRR abs/1612.03471 (2016) - 2015
- [j38]Ebru Aydin Gol, Mircea Lazar, Calin Belta:
Temporal logic model predictive control. Autom. 56: 78-85 (2015) - [j37]Jing Wang, Xu Chu Ding, Morteza Lahijanian, Ioannis Ch. Paschalidis, Calin Belta:
Temporal logic motion control using actor-critic methods. Int. J. Robotics Res. 34(10): 1329-1344 (2015) - [j36]María Svorenová, Ivana Cerna, Calin Belta:
Optimal Temporal Logic Control for Deterministic Transition Systems With Probabilistic Penalties. IEEE Trans. Autom. Control. 60(6): 1528-1541 (2015) - [j35]Morteza Lahijanian, Sean B. Andersson, Calin Belta:
Formal Verification and Synthesis for Discrete-Time Stochastic Systems. IEEE Trans. Autom. Control. 60(8): 2031-2045 (2015) - [c103]Zhe Xu, Calin Belta, Agung Julius:
Temporal Logic Inference with Prior Information: An Application to Robot Arm Movements. ADHS 2015: 141-146 - [c102]Sadra Sadraddini, Calin Belta:
Robust temporal logic model predictive control. Allerton 2015: 772-779 - [c101]Austin Jones, Mac Schwager, Calin Belta:
Information-guided persistent monitoring under temporal logic constraints. ACC 2015: 1911-1916 - [c100]Samuel Coogan, Ebru Aydin Gol, Murat Arcak, Calin Belta:
Controlling a network of signalized intersections from temporal logical specifications. ACC 2015: 3919-3924 - [c99]Yancy Diaz-Mercado, Austin Jones, Calin Belta, Magnus Egerstedt:
Correct-by-construction control synthesis for multi-robot mixing. CDC 2015: 221-226 - [c98]Kevin Leahy, Austin Jones, Mac Schwager, Calin Belta:
Distributed information gathering policies under temporal logic constraints. CDC 2015: 6803-6808 - [c97]Cristian Ioan Vasile, Mac Schwager, Calin Belta:
SE(N) invariance in networked systems. ECC 2015: 186-191 - [c96]Vladislav Nenchev, Calin Belta, Jörg Raisch:
Optimal motion planning with temporal logic and switching constraints. ECC 2015: 1141-1146 - [c95]Iman Haghighi, Austin Jones, Zhaodan Kong, Ezio Bartocci, Radu Grosu, Calin Belta:
SpaTeL: a novel spatial-temporal logic and its applications to networked systems. HSCC 2015: 189-198 - [c94]María Svorenová, Martin Chmelik, Kevin Leahy, Hasan Ferit Eniser, Krishnendu Chatterjee, Ivana Cerná, Calin Belta:
Temporal logic motion planning using POMDPs with parity objectives: case study paper. HSCC 2015: 233-238 - [c93]María Svorenová, Jan Kretínský, Martin Chmelik, Krishnendu Chatterjee, Ivana Cerná, Calin Belta:
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. HSCC 2015: 259-268 - [c92]Austin Jones, Derya Aksaray, Zhaodan Kong, Mac Schwager, Calin Belta:
Enforcing temporal logic specifications via reinforcement learning. HSCC 2015: 279-280 - [i32]Austin Jones, Derya Aksaray, Zhaodan Kong, Mac Schwager, Calin Belta:
Robust Satisfaction of Temporal Logic Specifications via Reinforcement Learning. CoRR abs/1510.06460 (2015) - [i31]Chanyeol Yoo, Calin Belta:
Control with Probabilistic Signal Temporal Logic. CoRR abs/1510.08474 (2015) - [i30]Sadra Sadraddini, Calin Belta:
Robust Temporal Logic Model Predictive Control. CoRR abs/1511.00347 (2015) - 2014
- [j34]Xu Chu Ding, Mircea Lazar, Calin Belta:
LTL receding horizon control for finite deterministic systems. Autom. 50(2): 399-408 (2014) - [j33]Igor Cizelj, Calin Belta:
Control of noisy differential-drive vehicles from time-bounded temporal logic specifications. Int. J. Robotics Res. 33(8): 1112-1129 (2014) - [j32]Alphan Ulusoy, Tichakorn Wongpiromsarn, Calin Belta:
Incremental controller synthesis in probabilistic environments with temporal logic constraints. Int. J. Robotics Res. 33(8): 1130-1144 (2014) - [j31]Alphan Ulusoy, Calin Belta:
Receding horizon temporal logic control in dynamic environments. Int. J. Robotics Res. 33(12): 1593-1607 (2014) - [j30]Ebru Aydin Gol, Mircea Lazar, Calin Belta:
Language-Guided Controller Synthesis for Linear Systems. IEEE Trans. Autom. Control. 59(5): 1163-1176 (2014) - [j29]Xu Chu Ding, Stephen L. Smith, Calin Belta, Daniela Rus:
Optimal Control of Markov Decision Processes With Linear Temporal Logic Constraints. IEEE Trans. Autom. Control. 59(5): 1244-1257 (2014) - [j28]Ana Medina Ayala, Sean B. Andersson, Calin Belta:
Formal Synthesis of Control Policies for Continuous Time Markov Processes From Time-Bounded Temporal Logic Specifications. IEEE Trans. Autom. Control. 59(9): 2568-2573 (2014) - [j27]Ebru Aydin Gol, Xu Chu Ding, Mircea Lazar, Calin Belta:
Finite Bisimulations for Switched Linear Systems. IEEE Trans. Autom. Control. 59(12): 3122-3134 (2014) - [c91]Ebru Aydin Gol, Calin Belta:
An additive cost approach to optimal Temporal Logic control. ACC 2014: 1769-1774 - [c90]Ebru Aydin Gol, Ezio Bartocci, Calin Belta:
A formal methods approach to pattern synthesis in reaction diffusion systems. CDC 2014: 108-113 - [c89]Austin Jones, Zhaodan Kong, Calin Belta:
Anomaly detection in cyber-physical systems: A formal methods approach. CDC 2014: 848-853 - [c88]Zhaodan Kong, Austin Jones, Ana Medina Ayala, Ebru Aydin Gol, Calin Belta:
Temporal logic inference for classification and prediction from data. HSCC 2014: 273-282 - [c87]Cristian Ioan Vasile, Calin Belta:
Reactive sampling-based temporal logic path planning. ICRA 2014: 4310-4315 - [c86]Kevin Leahy, Dingjiang Zhou, Cristian Ioan Vasile, Konstantinos Oikonomopoulos, Mac Schwager, Calin Belta:
Provably Correct Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging Constraints. ISER 2014: 605-619 - [c85]Cristian Ioan Vasile, Calin Belta:
An Automata-Theoretic Approach to the Vehicle Routing Problem. Robotics: Science and Systems 2014 - [c84]Calin Belta:
Formal Methods for Dynamical Systems. TIME 2014: 3 - [i29]Samuel Coogan, Ebru Aydin Gol, Murat Arcak, Calin Belta:
Traffic Network Control from Temporal Logic Specifications. CoRR abs/1408.1437 (2014) - [i28]Ebru Aydin Gol, Ezio Bartocci, Calin Belta:
A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems. CoRR abs/1409.5671 (2014) - [i27]María Svorenová, Jan Kretínský, Martin Chmelik, Krishnendu Chatterjee, Ivana Cerná, Calin Belta:
Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games. CoRR abs/1410.5387 (2014) - 2013
- [j26]Boyan Yordanov, Jana Tumova, Ivana Cerná, Jiri Barnat, Calin Belta:
Formal analysis of piecewise affine systems through formula-guided refinement. Autom. 49(1): 261-266 (2013) - [j25]Yushan Chen, Jana Tumova, Alphan Ulusoy, Calin Belta:
Temporal logic robot control based on automata learning of environmental dynamics. Int. J. Robotics Res. 32(5): 547-565 (2013) - [j24]Alphan Ulusoy, Stephen L. Smith, Xu Chu Ding, Calin Belta, Daniela Rus:
Optimality and Robustness in Multi-Robot Path Planning with Temporal Logic Constraints. Int. J. Robotics Res. 32(8): 889-911 (2013) - [c83]María Svorenová, Ivana Cerná, Calin Belta:
Optimal receding horizon control for finite deterministic systems with temporal logic constraints. ACC 2013: 4399-4404 - [c82]Guilhem Richard, A. Agung Julius, Calin Belta:
Optimizing regulation functions in gene network identification. CDC 2013: 745-750 - [c81]María Svorenová, Ivana Cerna, Calin Belta:
Optimal control of MDPs with temporal logic constraints. CDC 2013: 3938-3943 - [c80]Ebru Aydin Gol, Douglas Densmore, Calin Belta:
Data-driven verification of synthetic gene networks. CDC 2013: 4074-4079 - [c79]Austin Jones, Mac Schwager, Calin Belta:
Distribution temporal logic: Combining correctness with quality of estimation. CDC 2013: 4719-4724 - [c78]Alphan Ulusoy, Michael Marrazzo, Konstantinos Oikonomopoulos, Ryan Hunter, Calin Belta:
Temporal logic control for an autonomous quadrotor in a nondeterministic environment. ICRA 2013: 331-336 - [c77]Igor Cizelj, Calin Belta:
Control of noisy differential-drive vehicles from time-bounded temporal logic specifications. ICRA 2013: 2021-2026 - [c76]Tichakorn Wongpiromsarn, Alphan Ulusoy, Calin Belta, Emilio Frazzoli, Daniela Rus:
Incremental synthesis of control policies for heterogeneous multi-agent systems with linear temporal logic specifications. ICRA 2013: 5011-5018 - [c75]Austin Jones, Mac Schwager, Calin Belta:
A receding horizon algorithm for informative path planning with temporal logic constraints. ICRA 2013: 5019-5024 - [c74]Igor Cizelj, Calin Belta:
Negotiating the probabilistic satisfaction of temporal logic motion specifications. IROS 2013: 4320-4325 - [c73]Cristian Ioan Vasile, Calin Belta:
Sampling-based temporal logic path planning. IROS 2013: 4817-4822 - [c72]A. I. Medina Ayala, Sean B. Andersson, Calin Belta:
Temporal logic motion planning in unknown environments. IROS 2013: 5279-5284 - [c71]Alphan Ulusoy, Michael Marrazzo, Calin Belta:
Receding Horizon Control in Dynamic Environments from Temporal Logic Specifications. Robotics: Science and Systems 2013 - [e1]Calin Belta, Franjo Ivancic:
Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA. ACM 2013, ISBN 978-1-4503-1567-8 [contents] - [i26]Austin Jones, Mac Schwager, Calin Belta:
Technical Report: A Receding Horizon Algorithm for Informative Path Planning with Temporal Logic Constraints. CoRR abs/1301.7482 (2013) - [i25]María Svorenová, Ivana Cerna, Calin Belta:
Optimal Control of MDPs with Temporal Logic Constraints. CoRR abs/1303.1942 (2013) - [i24]María Svorenová, Ivana Cerná, Calin Belta:
Optimal Receding Horizon Control for Finite Deterministic Systems with Temporal Logic Constraints. CoRR abs/1303.3533 (2013) - [i23]Igor Cizelj, Calin Belta:
Negotiating the Probabilistic Satisfaction of Temporal Logic Motion Specifications. CoRR abs/1307.3224 (2013) - [i22]Cristian Ioan Vasile, Calin Belta:
Sampling-Based Temporal Logic Path Planning. CoRR abs/1307.7263 (2013) - [i21]Austin Jones, Mac Schwager, Calin Belta:
Technical Report: Distribution Temporal Logic: Combining Correctness with Quality of Estimation. CoRR abs/1310.7950 (2013) - 2012
- [j23]Boyan Yordanov, Jana Tumova, Ivana Cerna, Jiri Barnat, Calin Belta:
Temporal Logic Control of Discrete-Time Piecewise Affine Systems. IEEE Trans. Autom. Control. 57(6): 1491-1504 (2012) - [j22]Yushan Chen, Xu Chu Ding, Alin Stefanescu, Calin Belta:
Formal Approach to the Deployment of Distributed Robotic Teams. IEEE Trans. Robotics 28(1): 158-171 (2012) - [j21]Morteza Lahijanian, Sean B. Andersson, Calin Belta:
Temporal Logic Motion Planning and Control With Probabilistic Satisfaction Guarantees. IEEE Trans. Robotics 28(2): 396-409 (2012) - [c70]Xu Chu Ding, Mircea Lazar, Calin Belta:
Formal Abstraction of Linear Systems via Polyhedral Lyapunov Functions. ADHS 2012: 88-93 - [c69]Ebru Aydin Gol, Calin Belta:
Time-Constrained Temporal Logic Control of Multi-Affine Systems. ADHS 2012: 102-107 - [c68]Xu Chu Ding, Mircea Lazar, Calin Belta:
Receding horizon temporal logic control for finite deterministic systems. ACC 2012: 715-720 - [c67]Yushan Chen, Kun Deng, Calin Belta:
Multi-agent persistent monitoring in stochastic environments with temporal logic constraints. CDC 2012: 2801-2806 - [c66]Morteza Lahijanian, Sean B. Andersson, Calin Belta:
Approximate Markovian abstractions for linear stochastic systems. CDC 2012: 5966-5971 - [c65]Ebru Aydin Gol, Xu Chu Ding, Mircea Lazar, Calin Belta:
Finite bisimulations for switched linear systems. CDC 2012: 7632-7637 - [c64]Alphan Ulusoy, Tichakorn Wongpiromsarn, Calin Belta:
Incremental control synthesis in probabilistic environments with Temporal Logic constraints. CDC 2012: 7658-7663 - [c63]Alphan Ulusoy, Stephen L. Smith, Calin Belta:
Optimal Multi-Robot Path Planning with LTL Constraints: Guaranteeing Correctness through Synchronization. DARS 2012: 337-351 - [c62]Boyan Yordanov, Evan Appleton, Rishi Ganguly, Ebru Aydin Gol, Swati Banerjee Carr, Swapnil Bhatia, Traci Haddock, Calin Belta, Douglas Densmore:
Experimentally driven verification of synthetic biological circuits. DATE 2012: 236-241 - [c61]Calin Belta:
Formal methods for dynamical systems. HSCC 2012: 3-4 - [c60]Ebru Aydin Gol, Mircea Lazar, Calin Belta:
Language-guided controller synthesis for discrete-time linear systems. HSCC 2012: 95-104 - [c59]Xu Chu Ding, Jing Wang, Morteza Lahijanian, Ioannis Ch. Paschalidis, Calin Belta:
Temporal logic motion control using actor-critic methods. ICRA 2012: 4687-4692 - [c58]Alphan Ulusoy, Stephen L. Smith, Xu Chu Ding, Calin Belta:
Robust multi-robot optimal path planning with temporal logic constraints. ICRA 2012: 4693-4698 - [c57]A. I. Medina Ayala, Sean B. Andersson, Calin Belta:
Probabilistic control from time-bounded temporal logic specifications in dynamic environments. ICRA 2012: 4705-4710 - [c56]Yushan Chen, Jana Tumova, Calin Belta:
LTL robot motion control based on automata learning of environmental dynamics. ICRA 2012: 5177-5182 - [c55]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: 229-236 - [c54]Igor Cizelj, Calin Belta:
Probabilistically safe control of noisy Dubins vehicles. IROS 2012: 2857-2862 - [i20]Alphan Ulusoy, Stephen L. Smith, Xu Chu Ding, Calin Belta:
Robust Multi-Robot Optimal Path Planning with Temporal Logic Constraints. CoRR abs/1202.1307 (2012) - [i19]Xu Chu Ding, Jing Wang, Morteza Lahijanian, Ioannis Ch. Paschalidis, Calin Belta:
Temporal Logic Motion Control using Actor-Critic Methods. CoRR abs/1202.2185 (2012) - [i18]Tichakorn Wongpiromsarn, Alphan Ulusoy, Calin Belta, Emilio Frazzoli, Daniela Rus:
Incremental Temporal Logic Synthesis of Control Policies for Robots Interacting with Dynamic Agents. CoRR abs/1203.1180 (2012) - [i17]Xu Chu Ding, Mircea Lazar, Calin Belta:
Receding Horizon Temporal Logic Control for Finite Deterministic Systems. CoRR abs/1203.2860 (2012) - [i16]Ebru Aydin Gol, Calin Belta:
Time-Constrained Temporal Logic Control of Multi-Affine Systems. CoRR abs/1203.5683 (2012) - [i15]Xu Chu Ding, Mircea Lazar, Calin Belta:
Formal Abstraction of Linear Systems via Polyhedral Lyapunov Functions. CoRR abs/1203.6408 (2012) - [i14]Igor Cizelj, Calin Belta:
Probabilistically Safe Control of Noisy Dubins Vehicles. CoRR abs/1207.1280 (2012) - [i13]Alphan Ulusoy, Stephen L. Smith, Calin Belta:
Optimal Multi-Robot Path Planning with LTL Constraints: Guaranteeing Correctness Through Synchronization. CoRR abs/1207.2415 (2012) - [i12]Ebru Aydin Gol, Xu Chu Ding, Mircea Lazar, Calin Belta:
Finite Bisimulations for Switched Linear Systems. CoRR abs/1208.5471 (2012) - [i11]Alphan Ulusoy, Tichakorn Wongpiromsarn, Calin Belta:
Incremental Control Synthesis in Probabilistic Environments with Temporal Logic Constraints. CoRR abs/1209.0136 (2012) - [i10]Igor Cizelj, Calin Belta:
Control of Noisy Differential-Drive Vehicles from Time-Bounded Temporal Logic Specifications. CoRR abs/1209.1139 (2012) - 2011
- [j20]Stephen L. Smith, Jana Tumova, Calin Belta, Daniela Rus:
Optimal path planning for surveillance with temporal-logic constraints. Int. J. Robotics Res. 30(14): 1695-1708 (2011) - [j19]Xu Chu Ding, Marius Kloetzer, Yushan Chen, Calin Belta:
Automatic Deployment of Robotic Teams. IEEE Robotics Autom. Mag. 18(3): 75-86 (2011) - [j18]Amy LaViers, Yushan Chen, Calin Belta, Magnus Egerstedt:
Automatic Sequencing of Ballet Poses. IEEE Robotics Autom. Mag. 18(3): 87-95 (2011) - [c53]Morteza Lahijanian, Sean B. Andersson, Calin Belta:
Control of Markov decision processes from PCTL specifications. ACC 2011: 311-316 - [c52]Xu Chu Ding, Stephen L. Smith, Calin Belta, Daniela Rus:
MDP optimal control under temporal logic constraints. CDC/ECC 2011: 532-538 - [c51]Reza Moazzez Estanjini, Xu Chu Ding, Morteza Lahijanian, Jing Wang, Calin Belta, Ioannis Ch. Paschalidis:
Least squares temporal difference actor-critic methods with applications to robot motion control. CDC/ECC 2011: 704-709 - [c50]Nicholas Cooper, Calin Belta, A. Agung Julius:
Genetic regulatory network identification using multivariate monotone functions. CDC/ECC 2011: 2208-2213 - [c49]Guilhem Richard, Hyeygjeon Chang, Igor Cizelj, Calin Belta, A. Agung Julius, Salomon Amar:
Integration of large-scale metabolic, signaling, and gene regulatory networks with application to infection responses. CDC/ECC 2011: 2227-2232 - [c48]Yushan Chen, Xu Chu Ding, Calin Belta:
Synthesis of distributed control and communication schemes from global LTL specifications. CDC/ECC 2011: 2718-2723 - [c47]Marius Kloetzer, Xu Chu Ding, Calin Belta:
Multi-robot deployment from LTL specifications with reduced communication. CDC/ECC 2011: 4867-4872 - [c46]Boyan Yordanov, Calin Belta:
A formal verification approach to the design of synthetic gene networks. CDC/ECC 2011: 4873-4878 - [c45]Hyeygjeon Chang, Guilhem Richard, A. Agung Julius, Calin Belta, Salomon Amar:
An application of monotone functions decomposition to the reconstruction of gene regulatory networks. EMBC 2011: 2430-2433 - [c44]Amy LaViers, Magnus Egerstedt, Yushan Chen, Calin Belta:
Automatic Generation of Balletic Motions. ICCPS 2011: 13-21 - [c43]Alphan Ulusoy, Stephen L. Smith, Xu Chu Ding, Calin Belta, Daniela Rus:
Optimal multi-robot path planning with Temporal Logic constraints. IROS 2011: 3087-3092 - [c42]A. I. Medina Ayala, Sean B. Andersson, Calin Belta:
Temporal logic control in dynamic environments with probabilistic satisfaction guarantees. IROS 2011: 3108-3113 - [i9]Igor Cizelj, Xu Chu Ding, Morteza Lahijanian, Alessandro Pinto, Calin Belta:
Probabilistically Safe Vehicle Control in a Hostile Environment. CoRR abs/1103.4065 (2011) - [i8]Xu Chu Ding, Stephen L. Smith, Calin Belta, Daniela Rus:
MDP Optimal Control under Temporal Logic Constraints. CoRR abs/1103.4342 (2011) - [i7]Xu Chu Ding, Stephen L. Smith, Calin Belta, Daniela Rus:
LTL Control in Uncertain Environments with Probabilistic Satisfaction Guarantees. CoRR abs/1104.1159 (2011) - [i6]Alphan Ulusoy, Stephen L. Smith, Xu Chu Ding, Calin Belta, Daniela Rus:
Optimal Multi-Robot Path Planning with Temporal Logic Constraints. CoRR abs/1107.0062 (2011) - [i5]Marius Kloetzer, Xu Chu Ding, Calin Belta:
Multi-robot Deployment From LTL Specifications with Reduced Communication. CoRR abs/1108.3240 (2011) - [i4]Reza Moazzez Estanjini, Xu Chu Ding, Morteza Lahijanian, Jing Wang, Calin Belta, Ioannis Ch. Paschalidis:
Least Squares Temporal Difference Actor-Critic Methods with Applications to Robot Motion Control. CoRR abs/1108.4698 (2011) - [i3]Yushan Chen, Xu Chu Ding, Calin Belta:
Synthesis of Distributed Control and Communication Schemes from Global LTL Specifications. CoRR abs/1109.1251 (2011) - [i2]Boyan Yordanov, Calin Belta:
A Formal Verification Approach to the Design of Synthetic Gene Networks. CoRR abs/1109.1275 (2011) - 2010
- [j17]Boyan Yordanov, Calin Belta:
Formal Analysis of Discrete-Time Piecewise Affine Systems. IEEE Trans. Autom. Control. 55(12): 2834-2840 (2010) - [j16]Marius Kloetzer, Cristian Mahulea, Calin Belta, Manuel Silva Suárez:
An Automated Framework for Formal Verification of Timed Continuous Petri Nets. IEEE Trans. Ind. Informatics 6(3): 460-471 (2010) - [j15]Marius Kloetzer, Calin Belta:
Automatic Deployment of Distributed Teams of Robots From Temporal Logic Motion Specifications. IEEE Trans. Robotics 26(1): 48-61 (2010) - [c41]Xu Chu Ding, Calin Belta, Christos G. Cassandras:
Receding horizon surveillance with temporal logic specifications. CDC 2010: 256-261 - [c40]Jana Tumova, Boyan Yordanov, Calin Belta, Ivana Cerna, Jiri Barnat:
A symbolic approach to controlling piecewise affine systems. CDC 2010: 4230-4235 - [c39]Boyan Yordanov, Jana Tumova, Calin Belta, Ivana Cerna, Jiri Barnat:
Formal analysis of piecewise affine systems through formula-guided refinement. CDC 2010: 5899-5904 - [c38]Yushan Chen, Xu Chu Ding, Alin Stefanescu, Calin Belta:
A Formal Approach to Deployment of Robotic Teams in an Urban-Like Environment. DARS 2010: 313-327 - [c37]Richard D. Walker, Sean B. Andersson, Calin Belta, Pierre E. Dupont:
IN-HAPTICS: Interactive navigation using haptics. HAPTICS 2010: 463-466 - [c36]Morteza Lahijanian, Joseph Wasniewski, Sean B. Andersson, Calin Belta:
Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees. ICRA 2010: 3227-3232 - [c35]Marius Kloetzer, Sanjiv Itani, Sam Birch, Calin Belta:
On the need for communication in distributed implementations of LTL motion specifications. ICRA 2010: 4451-4456 - [c34]Stephen L. Smith, Jana Tumova, Calin Belta, Daniela Rus:
Optimal path planning under temporal logic constraints. IROS 2010: 3288-3293 - [c33]Yushan Chen, Sam Birch, Alin Stefanescu, Calin Belta:
A hierarchical approach to automatic deployment of robotic teams with communication constraints. IROS 2010: 5079-5084 - [i1]Stephen L. Smith, Jana Tumova, Calin Belta, Daniela Rus:
Optimal Path Planning under Temporal Logic Constraints. CoRR abs/1007.2212 (2010)
2000 – 2009
- 2009
- [c32]Morteza Lahijanian, Sean B. Andersson, Calin Belta:
A probabilistic approach for control of a stochastic system from LTL specifications. CDC 2009: 2236-2241 - [c31]Boyan Yordanov, Calin Belta:
Temporal logic control of discrete-time piecewise affine systems. CDC 2009: 3182-3187 - [c30]Morteza Lahijanian, Marius Kloetzer, Sara Itani, Calin Belta, Sean B. Andersson:
Automatic deployment of autonomous cars in a Robotic Urban-Like Environment (RULE). ICRA 2009: 2055-2060 - 2008
- [j14]Marcin Imielinski, Calin Belta:
Exploiting the pathway structure of metabolism to reveal high-order epistasis. BMC Syst. Biol. 2: 40 (2008) - [j13]Grégory Batt, Calin Belta, Ron Weiss:
Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty. IEEE Trans. Autom. Control. 53: 215-229 (2008) - [j12]Marius Kloetzer, Calin Belta:
A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications. IEEE Trans. Autom. Control. 53(1): 287-297 (2008) - [c29]Boyan Yordanov, Calin Belta:
Formal analysis of Piecewise Affine systems under parameter uncertainty with application to gene networks. ACC 2008: 2767-2772 - [c28]Marius Kloetzer, Cristian Mahulea, Calin Belta, Laura Recalde, Manuel Silva Suárez:
Formal analysis of timed continuous Petri nets. CDC 2008: 245-250 - [c27]Marcin Imielinski, Niels Klitgord, Calin Belta:
Investigating the genomic basis of metabolic robustness through in silico flux analysis. CDC 2008: 793-798 - [c26]Marius Kloetzer, Calin Belta:
Dealing with Nondeterminism in Symbolic Control. HSCC 2008: 287-300 - [c25]Boyan Yordanov, Calin Belta:
Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications. HSCC 2008: 542-555 - [c24]Marius Kloetzer, Calin Belta:
Distributed implementations of global temporal logic motion specifications. ICRA 2008: 393-398 - [p2]Calin Belta:
Robot Motion Planning. Wiley Encyclopedia of Computer Science and Engineering 2008 - 2007
- [j11]Grégory Batt, Boyan Yordanov, Ron Weiss, Calin Belta:
Robustness analysis and tuning of synthetic gene networks. Bioinform. 23(18): 2415-2422 (2007) - [j10]Calin Belta, Antonio Bicchi, Magnus Egerstedt, Emilio Frazzoli, Eric Klavins, George J. Pappas:
Symbolic planning and control of robot motion [Grand Challenges of Robotics]. IEEE Robotics Autom. Mag. 14(1): 61-70 (2007) - [j9]Marius Kloetzer, Calin Belta:
Temporal Logic Planning and Control of Robotic Swarms by Hierarchical Abstractions. IEEE Trans. Robotics 23(2): 320-330 (2007) - [c23]Marcin Imielinski, Calin Belta:
On the Computation of Minimal Cut Sets in Genome Scale Metabolic Networks. ACC 2007: 1329-1334 - [c22]Grégory Batt, Calin Belta, Ron Weiss:
Model Checking Genetic Regulatory Networks with Parameter Uncertainty. HSCC 2007: 61-75 - [c21]Marius Kloetzer, Calin Belta:
Managing non-determinism in symbolic robot motion planning and control. ICRA 2007: 3110-3115 - [c20]Grégory Batt, Calin Belta, Ron Weiss:
Model Checking Liveness Properties of Genetic Regulatory Networks. TACAS 2007: 323-338 - 2006
- [j8]Calin Belta, Luc C. G. J. M. Habets:
Controlling a Class of Nonlinear Systems on Rectangles. IEEE Trans. Autom. Control. 51(11): 1749-1759 (2006) - [c19]Luc C. G. J. M. Habets, Marius Kloetzer, Calin Belta:
Control of Rectangular Multi-Affine Hybrid Systems. CDC 2006: 2619-2624 - [c18]Marius Kloetzer, Calin Belta:
A Fully Automated Framework for Control of Linear Systems from LTL Specifications. HSCC 2006: 333-347 - [c17]Marius Kloetzer, Calin Belta:
Reachability Analysis of Multi-affine Systems. HSCC 2006: 348-362 - [c16]Marius Kloetzer, Calin Belta:
Hierarchical Abstractions for Robotic Swarms. ICRA 2006: 952-957 - [c15]Nathan Michael, Calin Belta, Vijay Kumar:
Controlling three Dimensional Swarms of Robots. ICRA 2006: 964-969 - [c14]Marius Kloetzer, Calin Belta:
A Framework for Automatic Deployment of Robots in 2D and 3D Environments. IROS 2006: 953-958 - 2005
- [j7]Marcin Imielinski, Calin Belta, Ádám M. Halász, Harvey Rubin:
Investigating metabolite essentiality through genome-scale analysis of Escherichia coli production capabilities. Bioinform. 21(9): 2008-2016 (2005) - [j6]Calin Belta, Joel M. Esposito, Jongwoo Kim, Vijay Kumar:
Computational Techniques for Analysis of Genetic Network Dynamics. Int. J. Robotics Res. 24(2-3): 219-235 (2005) - [j5]Calin Belta, Volkan Isler, George J. Pappas:
Discrete abstractions for robot motion planning and control in polygonal environments. IEEE Trans. Robotics 21(5): 864-874 (2005) - 2004
- [j4]Calin Belta, Vijay R. Kumar:
Abstraction and control for Groups of robots. IEEE Trans. Robotics 20(5): 865-875 (2004) - [c13]Calin Belta, Peter Finin, Luc C. G. J. M. Habets, Ádám M. Halász, Marcin Imielinski, Vijay Kumar, Harvey Rubin:
Understanding the Bacterial Stringent Response Using Reachability Analysis of Hybrid Systems. HSCC 2004: 111-125 - [c12]Calin Belta:
On Controlling Aircraft and Underwater Vehicles. ICRA 2004: 4905-4910 - [c11]Volkan Isler, Calin Belta, Kostas Daniilidis, George J. Pappas:
Hybrid control for visibility-based pursuit-evasion games. IROS 2004: 1432-1437 - 2003
- [c10]Calin Belta, Guilherme A. S. Pereira, Vijay Kumar:
Control of a team of car-like robots using abstractions. CDC 2003: 1520-1525 - [c9]Calin Belta, Vijay Kumar:
Abstraction and control for groups of fully-actuated planar robots. ICRA 2003: 2498-2503 - [c8]Calin Belta, Guilherme A. S. Pereira, Vijay Kumar:
Abstraction and Control for Swarms of Robots. ISRR 2003: 224-233 - [p1]Calin Belta, Vijay Kumar:
Towards Abstraction and Control for Large Groups of Robots. Control Problems in Robotics 2003: 169-182 - 2002
- [j3]Rajeev Alur, Calin Belta, Vijay Kumar, Max Mintz, George J. Pappas, Harvey Rubin, Jonathan Schug:
Modeling and analyzing biomolecular networks. Comput. Sci. Eng. 4(1): 20-31 (2002) - [j2]Calin Belta, Vijay R. Kumar:
An SVD-based projection method for interpolation on SE(3). IEEE Trans. Robotics Autom. 18(3): 334-345 (2002) - [c7]Calin Belta, Luc C. G. J. M. Habets, Vijay Kumar:
Control of multi-affine systems on rectangles with applications to hybrid biomolecular networks. CDC 2002: 534-539 - [c6]Rajeev Alur, Calin Belta, Franjo Ivancic, Vijay Kumar, Harvey Rubin, Jonathan Schug, Oleg Sokolsky, Jonathan Webb:
Visual Programming for Modeling and Simulation of Biomolecular Regulatory Networks. HiPC 2002: 702-712 - [c5]Calin Belta, Vijay Kumar:
Trajectory Design for Formations of Robots by Kinetic Energy Shaping. ICRA 2002: 2593-2598 - 2001
- [j1]Calin Belta, Guoxiang Gu, Andrew G. Sparks, Siva Banda:
Rotating stall control for axial flow compressors. Autom. 37(6): 921-931 (2001) - [c4]Calin Belta, Jonathan Schug, Thao Dang, Vijay Kumar, George J. Pappas, Harvey Rubin, Paul Dunlap:
Stability and reachability analysis of a hybrid model of luminescence in the marine bacterium Vibrio fischeri. CDC 2001: 869-874 - [c3]Rafael Fierro, Calin Belta, Jaydev P. Desai, Vijay Kumar:
On controlling aircraft formations. CDC 2001: 1065-1070 - [c2]Rajeev Alur, Calin Belta, Franjo Ivancic:
Hybrid Modeling and Simulation of Biomolecular Networks. HSCC 2001: 19-32 - [c1]Calin Belta, Vijay Kumar:
Motion Generation for Formations of Robots a Geometric Approach. ICRA 2001: 1245-1250
Coauthor Index
Ivana Cerná
aka: Ivana Cerna
aka: Ivana Cerna
Austin Jones
aka: Austin M. Jones
aka: Austin M. Jones
Kevin Leahy 0001
aka: Kevin J. Leahy
aka: Kevin J. Leahy
Zachary T. Serlin
aka: Zachary Serlin
aka: Zachary Serlin
Cristian Ioan Vasile
aka: Cristian-Ioan Vasile
aka: Cristian-Ioan Vasile
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-04-22 22:09 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
