| Year |
Citation |
Score |
| 2020 |
Vasile CI, Li X, Belta C. Reactive sampling-based path planning with temporal logic specifications: The International Journal of Robotics Research. 39: 1002-1028. DOI: 10.1177/0278364920918919 |
0.309 |
|
| 2019 |
Leahy K, Cristofalo E, Vasile CI, Jones A, Montijano E, Schwager M, Belta C. Control in belief space with temporal logic specifications using vision-based localization: The International Journal of Robotics Research. 38: 702-722. DOI: 10.1177/0278364919846340 |
0.335 |
|
| 2019 |
Yang G, Vang B, Serlin Z, Belta C, Tron R. Sampling-based Motion Planning via Control Barrier Functions Arxiv: Robotics. 22-29. DOI: 10.1145/3365265.3365282 |
0.438 |
|
| 2019 |
Sadraddini S, Belta C. Formal Synthesis of Control Strategies for Positive Monotone Systems Ieee Transactions On Automatic Control. 64: 480-495. DOI: 10.1109/Tac.2018.2814631 |
0.474 |
|
| 2018 |
Kayacan E, Saeys W, Ramon H, Belta C, Peschel JM. Experimental Validation of Linear and Nonlinear MPC on an Articulated Unmanned Ground Vehicle Ieee-Asme Transactions On Mechatronics. 23: 2023-2030. DOI: 10.1109/Tmech.2018.2854877 |
0.397 |
|
| 2018 |
Vasile C, Schwager M, Belta C. Translational and Rotational Invariance in Networked Dynamical Systems Ieee Transactions On Control of Network Systems. 5: 822-832. DOI: 10.1109/Tcns.2017.2648499 |
0.381 |
|
| 2018 |
Bartocci E, Gol EA, Haghighi I, Belta C. A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks Ieee Transactions On Control of Network Systems. 5: 308-320. DOI: 10.1109/Tcns.2016.2609138 |
0.356 |
|
| 2017 |
Deng K, Chen Y, Belta C. An Approximate Dynamic Programming Approach to Multiagent Persistent Monitoring in Stochastic Environments With Temporal Logic Constraints Ieee Transactions On Automatic Control. 62: 4549-4563. DOI: 10.1109/Tac.2017.2678920 |
0.457 |
|
| 2017 |
Coogan S, Arcak M, Belta C. Formal Methods for Control of Traffic Flow: Automated Control Synthesis from Finite-State Transition Models Ieee Control Systems Magazine. 37: 109-128. DOI: 10.1109/Mcs.2016.2643259 |
0.32 |
|
| 2017 |
Vasile CI, Aksaray D, Belta C. Time window temporal logic Theoretical Computer Science. 691: 27-54. DOI: 10.1016/J.Tcs.2017.07.012 |
0.422 |
|
| 2017 |
Svoreňová M, Křetínský J, Chmelík M, Chatterjee K, Černá I, Belta C. Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games Nonlinear Analysis: Hybrid Systems. 23: 230-253. DOI: 10.1016/J.Nahs.2016.04.006 |
0.435 |
|
| 2016 |
Coogan S, Gol EA, Arcak M, Belta C. Traffic Network Control From Temporal Logic Specifications Ieee Transactions On Control of Network Systems. 3: 162-172. DOI: 10.1109/Tcns.2015.2428471 |
0.427 |
|
| 2015 |
Wang J, Ding X, Lahijanian M, Paschalidis IC, Belta CA. Temporal logic motion control using actor-critic methods International Journal of Robotics Research. 34: 1329-1344. DOI: 10.1177/0278364915581505 |
0.454 |
|
| 2015 |
Lahijanian M, Andersson SB, Belta C. Formal Verification and Synthesis for Discrete-Time Stochastic Systems Ieee Transactions On Automatic Control. 60: 2031-2045. DOI: 10.1109/Tac.2015.2398883 |
0.424 |
|
| 2015 |
Svorenova M, Cerna I, Belta C. Optimal Temporal Logic Control for Deterministic Transition Systems With Probabilistic Penalties Ieee Transactions On Automatic Control. 60: 1528-1541. DOI: 10.1109/Tac.2014.2381451 |
0.413 |
|
| 2015 |
Xu Z, Belta C, Julius A. Temporal Logic Inference with Prior Information: An Application to Robot Arm Movements**Corresponding Author: Zhe Xu. We acknowledge the support of the National Science Foundation through grants number CNS0953976, CNS-1218109, and NRI-1426907, and the O_ce of Naval Research through grant number N00014-14-1-0554 for the research reported in this paper. Ifac-Papersonline. 48: 141-146. DOI: 10.1016/J.Ifacol.2015.11.166 |
0.435 |
|
| 2015 |
Aksaray D, Leahy K, Belta C. Distributed Multi-Agent Persistent Surveillance Under Temporal Logic Constraints∗ Ifac-Papersonline. 48: 174-179. DOI: 10.1016/J.Ifacol.2015.10.326 |
0.387 |
|
| 2015 |
Gol EA, Lazar M, Belta C. Temporal logic model predictive control Automatica. 56: 78-85. DOI: 10.1016/J.Automatica.2015.03.029 |
0.468 |
|
| 2015 |
Leahy K, Zhou D, Vasile CI, Oikonomopoulos K, Schwager M, Belta C. Persistent surveillance for unmanned aerial vehicles subject to charging and temporal logic constraints Autonomous Robots. DOI: 10.1007/S10514-015-9519-Z |
0.347 |
|
| 2014 |
Ulusoy A, Belta C. Receding horizon temporal logic control in dynamic environments The International Journal of Robotics Research. 33: 1593-1607. DOI: 10.1177/0278364914537008 |
0.423 |
|
| 2014 |
Cizelj I, Belta C. Control of noisy differential-drive vehicles from time-bounded temporal logic specifications The International Journal of Robotics Research. 33: 1112-1129. DOI: 10.1177/0278364914522312 |
0.437 |
|
| 2014 |
Ulusoy A, Wongpiromsarn T, Belta C. Incremental controller synthesis in probabilistic environments with temporal logic constraints International Journal of Robotics Research. 33: 1130-1144. DOI: 10.1177/0278364913519000 |
0.471 |
|
| 2014 |
Medina Ayala A, Andersson SB, Belta C. Formal synthesis of control policies for continuous time markov processes from time-bounded temporal logic specifications Ieee Transactions On Automatic Control. 59: 2568-2573. DOI: 10.1109/Tac.2014.2309033 |
0.411 |
|
| 2014 |
Ding X, Smith SL, Belta C, Rus D. Optimal control of Markov decision processes with linear temporal logic constraints Ieee Transactions On Automatic Control. 59: 1244-1257. DOI: 10.1109/Tac.2014.2298143 |
0.426 |
|
| 2014 |
Gol EA, Lazar M, Belta C. Language-Guided Controller Synthesis for Linear Systems Ieee Transactions On Automatic Control. 59: 1163-1176. DOI: 10.1109/Tac.2013.2295664 |
0.452 |
|
| 2014 |
Ding X, Lazar M, Belta C. LTL receding horizon control for finite deterministic systems Automatica. 50: 399-408. DOI: 10.1016/J.Automatica.2013.11.030 |
0.421 |
|
| 2013 |
Ulusoy A, Smith SL, Ding XC, Belta C, Rus D. Optimality and robustness in multi-robot path planning with temporal logic constraints International Journal of Robotics Research. 32: 889-911. DOI: 10.1177/0278364913487931 |
0.422 |
|
| 2013 |
Chen Y, Tůmová J, Ulusoy A, Belta C. Temporal logic robot control based on automata learning of environmental dynamics The International Journal of Robotics Research. 32: 547-565. DOI: 10.1177/0278364912473168 |
0.436 |
|
| 2013 |
Gol EA, Belta C. Time-constrained temporal logic control of multi-affine systems Nonlinear Analysis: Hybrid Systems. 10: 21-33. DOI: 10.1016/J.Nahs.2013.03.002 |
0.444 |
|
| 2013 |
Yordanov B, Tmová J, Erná I, Barnat J, Belta C. Formal analysis of piecewise affine systems through formula-guided refinement Automatica. 49: 261-266. DOI: 10.1016/J.Automatica.2012.09.027 |
0.437 |
|
| 2012 |
Ding XC, Lazar M, Belta C. Formal Abstraction of Linear Systems via Polyhedral Lyapunov Functions Ifac Proceedings Volumes. 45: 88-93. DOI: 10.3182/20120606-3-Nl-3011.00096 |
0.396 |
|
| 2012 |
Gol EA, Belta C. Time-Constrained Temporal Logic Control of Multi-Affine Systems Ifac Proceedings Volumes. 45: 102-107. DOI: 10.3182/20120606-3-Nl-3011.00054 |
0.441 |
|
| 2012 |
Lahijanian M, Andersson SB, Belta C. Temporal logic motion planning and control with probabilistic satisfaction guarantees Ieee Transactions On Robotics. 28: 396-409. DOI: 10.1109/Tro.2011.2172150 |
0.444 |
|
| 2012 |
Chen Y, Ding XC, Stefanescu A, Belta C. Formal approach to the deployment of distributed robotic teams Ieee Transactions On Robotics. 28: 158-171. DOI: 10.1109/Tro.2011.2163434 |
0.385 |
|
| 2011 |
Cizelj I, Ding XC, Lahijanian M, Pinto A, Belta C. Probabilistically safe vehicle control in a hostile environment Ifac Proceedings Volumes (Ifac-Papersonline). 18: 11803-11808. DOI: 10.3182/20110828-6-It-1002.03248 |
0.392 |
|
| 2011 |
Ding XC, Smith SL, Belta C, Rus D. LTL control in uncertain environments with probabilistic satisfaction guarantees Ifac Proceedings Volumes (Ifac-Papersonline). 18: 3515-3520. DOI: 10.3182/20110828-6-It-1002.02287 |
0.456 |
|
| 2011 |
Julius AA, Belta C. Genetic regulatory network identification using monotone functions decomposition Ifac Proceedings Volumes (Ifac-Papersonline). 18: 11785-11790. DOI: 10.3182/20110828-6-It-1002.02181 |
0.354 |
|
| 2011 |
Smith SL, Tůmová J, Belta C, Rus D. Optimal path planning for surveillance with temporal-logic constraints The International Journal of Robotics Research. 30: 1695-1708. DOI: 10.1177/0278364911417911 |
0.439 |
|
| 2011 |
Laviers A, Chen Y, Belta C, Egerstedt M. Automatic sequencing of ballet poses Ieee Robotics and Automation Magazine. 18: 87-95. DOI: 10.1109/Mra.2011.942118 |
0.331 |
|
| 2011 |
Ding XC, Kloetzer M, Chen Y, Belta C. Automatic deployment of robotic teams Ieee Robotics and Automation Magazine. 18: 75-86. DOI: 10.1109/Mra.2011.942117 |
0.368 |
|
| 2010 |
Kloetzer M, Belta C. Reachability analysis of multi-affine systems Transactions of the Institute of Measurement and Control. 32: 445-467. DOI: 10.1177/0142331208097838 |
0.399 |
|
| 2010 |
Kloetzer M, Belta C. Automatic Deployment of Distributed Teams of Robots From Temporal Logic Motion Specifications Ieee Transactions On Robotics. 26: 48-61. DOI: 10.1109/Tro.2009.2035776 |
0.439 |
|
| 2010 |
Kloetzer M, Mahulea C, Belta C, Silva M. An Automated Framework for Formal Verification of Timed Continuous Petri Nets Ieee Transactions On Industrial Informatics. 6: 460-471. DOI: 10.1109/Tii.2010.2050001 |
0.439 |
|
| 2010 |
Yordanov B, Belta C. Formal Analysis of Discrete-Time Piecewise Affine Systems Ieee Transactions On Automatic Control. 55: 2834-2840. DOI: 10.1109/Tac.2010.2072530 |
0.432 |
|
| 2008 |
Imielinski M, Belta C. Exploiting the pathway structure of metabolism to reveal high-order epistasis. Bmc Systems Biology. 2: 40. PMID 18447928 DOI: 10.1186/1752-0509-2-40 |
0.334 |
|
| 2008 |
Kloetzer M, Belta C. A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications Ieee Transactions On Automatic Control. 53: 287-297. DOI: 10.1109/Tac.2007.914952 |
0.442 |
|
| 2008 |
Batt G, Belta C, Weiss R. Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty Ieee Transactions On Automatic Control. 53: 215-229. DOI: 10.1109/Tac.2007.911330 |
0.402 |
|
| 2007 |
Batt G, Yordanov B, Weiss R, Belta C. Robustness analysis and tuning of synthetic gene networks. Bioinformatics (Oxford, England). 23: 2415-22. PMID 17660209 DOI: 10.1093/Bioinformatics/Btm362 |
0.354 |
|
| 2007 |
Halász A, Kumar V, Imieli?ski M, Belta C, Sokolsky O, Pathak S, Rubin H. Analysis of lactose metabolism in E. Coli using reachability analysis of hybrid systems. Iet Systems Biology. 1: 130-48. PMID 17441554 DOI: 10.1049/Iet-Syb:20060035 |
0.506 |
|
| 2007 |
Kloetzer M, Belta C. Control Of Multi-Robot Teams Based On Ltl Specifications Ifac Proceedings Volumes. 40: 103-108. DOI: 10.3182/20070927-4-Ro-3905.00019 |
0.434 |
|
| 2007 |
Kloetzer M, Belta C. Temporal Logic Planning and Control of Robotic Swarms by Hierarchical Abstractions Ieee Transactions On Robotics. 23: 320-330. DOI: 10.1109/Tro.2006.889492 |
0.438 |
|
| 2007 |
Belta C, Bicchi A, Egerstedt M, Frazzoli E, Klavins E, Pappas G. Symbolic planning and control of robot motion [Grand Challenges of Robotics] Ieee Robotics & Automation Magazine. 14: 61-70. DOI: 10.1109/Mra.2007.339624 |
0.401 |
|
| 2006 |
Belta C, Habets LCGJM. Controlling a Class of Nonlinear Systems on Rectangles Ieee Transactions On Automatic Control. 51: 1749-1759. DOI: 10.1109/Tac.2006.884957 |
0.413 |
|
| 2005 |
Belta C, Esposito JM, Kim J, Kumar V. Computational Techniques for Analysis of Genetic Network Dynamics The International Journal of Robotics Research. 24: 219-235. DOI: 10.1177/0278364905050359 |
0.667 |
|
| 2005 |
Belta C, Isler V, Pappas GJ. Discrete abstractions for robot motion planning and control in polygonal environments Ieee Transactions On Robotics. 21: 864-874. DOI: 10.1109/Tro.2005.851359 |
0.456 |
|
| 2004 |
Belta C, Kumar V. Optimal Motion Generation for Groups of Robots: A Geometric Approach Journal of Mechanical Design. 126: 63-70. DOI: 10.1115/1.1641190 |
0.356 |
|
| 2004 |
Belta C, Kumar V. Abstraction and control for Groups of robots Ieee Transactions On Robotics. 20: 865-875. DOI: 10.1109/Tro.2004.829498 |
0.378 |
|
| 2002 |
Alur R, Belta C, Kumar V, Mintz M, Pappas GJ, Rubin H, Schug J. Modeling and analyzing biomolecular networks Computing in Science and Engineering. 4: 20. DOI: 10.1109/5992.976434 |
0.434 |
|
| 2001 |
Belta C, Gu G, Sparks A, Banda S. Brief Rotating stall control for axial flow compressors Automatica. 37: 921-931. DOI: 10.1016/S0005-1098(01)00035-8 |
0.302 |
|
| 1999 |
Belta C, Gu G, Sparks A, Banda S. Stall control for axial compressors Ifac Proceedings Volumes. 32: 2334-2339. DOI: 10.1016/S1474-6670(17)56396-X |
0.326 |
|
| 1999 |
Gu G, Sparks A, Belta C. Stability analysis for rotating stall dynamics in axial flow compressors Circuits Systems and Signal Processing. 18: 331-350. DOI: 10.1007/Bf01200786 |
0.308 |
|
| Show low-probability matches. |