Publications

2016 2015   2014   2013   2012   2011   2010   2009   2008   2007   2006   2005   2004   2003   2002   2001   before 2001

2017

Cristian-Ioan Vasile, Derya Aksaray, Calin Belta, Time Window Temporal Logic, Theoretical Computer Science, DOI: 10.1016/j.tcs.2017.07.012, 2017 (in press, available at http://dx.doi.org/10.1016/j.tcs.2017.07.012)

Giuseppe Bombara and Calin Belta, Signal Clustering using Temporal Logics, Runtime Verification, Seattle, WA, 2017

Prashant Vaidyanathan, Rachael Ivison, Giuseppe Bombara, Nicholas DeLateur, Ron Weiss, Calin Belta, Douglas Densmore, Grid-Based Temporal Logic Inference, 56th IEEE Conference on Decision and Control, Melbourne, Australia, 2017

Eric S. Kim, Sadra Sadraddini, Calin Belta, Murat Arcak, Sanjit A. Seshia, Dynamic Contracts for Distributed Temporal Logic Control of Traffic Networks, 56th IEEE Conference on Decision and Control, Melbourne, Australia, 2017

Sadra Sadraddini, Sivaranjani S, Vijay Gupta, Calin Belta, Provably Safe Cruise Control of Vehicular Platoons, 56th IEEE Conference on Decision and Control, Melbourne, Australia, 2017

Sadra Sadraddini, Calin Belta, Formal Methods for Adaptive Control of Dynamical Systems, 56th IEEE Conference on Decision and Control, Melbourne, Australia, 2017

Chanyeol Yoo and Calin Belta, Rich Time Series Classification Using Temporal Logic, Robotics: Science and Systems (RSS), Boston, MA, 2017

Kevin Leahy, Derya Aksaray, Calin Belta, Informative Path Planning under Temporal Logic Constraints with Performance Guarantees, American Control Conference (ACC), Seattle, WA, 2017

Sivaranjani S, Sadra Sadraddini, Vijay Gupta, Calin Belta, Distributed Control Policies for Localization of Large Disturbances in Urban Traffic Networks, American Control Conference (ACC), Seattle, WA, 2017

Iman Haghighi, Kevin Leahy, Rachael Ivision, Calin Belta, Semi-supervised Pattern Synthesis in Spatially Distributed Dynamical Systems, American Control Conference (ACC), Seattle, WA, 2017

Cristian Ioan Vasile, Jana Tumova, Sertac Karaman, Calin Belta, Daniela Rus, Minimum-violation scLTL motion planning for mobility-on-demand, IEEE International Conference on Robotics and Automation (ICRA), Singapore, 2017

Sadra Sadraddini, Janos Rudan and Calin Belta, Formal Synthesis of Distributed Optimal Traffic Control Policies, International Conference on Cyber Physical Systems (ICCPS), Pittsburgh, PA 2017

Francisco Penedo, Cristian-Ioan Vasile, and Calin Belta, Language-Guided Sampling-based Planning using Temporal Relaxation, Workshop on Algorithmic Foundations of Robotics (WAFR), San Francisco, 2017

2016

Derya Aksaray, Austin Jones, Zhaodan Kong, Mac Schwager, Calin Belta, Q-Learning for Robust Satisfaction of Signal Temporal Logic Specifications, 55th IEEE Conference on Decision and Control, Las Vegas, NV, 2016

Sadra Sadraddini, Calin Belta, Feasibility Envelopes for Metric Temporal Logic Specifications, 55th IEEE Conference on Decision and Control, Las Vegas, NV, 2016

Cristian Ioan Vasile, Kevin Leahy, Eric Cristofalo, Austin Jones, Mac Schwager, Calin Belta, Control in Belief Space with Temporal Logic Specifications, 55th IEEE Conference on Decision and Control, Las Vegas, NV, 2016

Demarcus Briers, Iman Haghighi, Douglas White, Melissa Kemp, Calin Belta, Pattern Synthesis in a 3D Agent-Based Model of Stem Cell Differentiation, 55th IEEE Conference on Decision and Control, Las Vegas, NV, 2016

Sadra Sadraddini, Calin Belta, Safety Control of Monotone Systems with Bounded Uncertainties, 55th IEEE Conference on Decision and Control, Las Vegas, NV, 2016

Iman Haghighi, Sadra Sadraddini, Calin Belta, Robotic Swarm Control from Spatio-Temporal Specifications, 55th IEEE Conference on Decision and Control, Las Vegas, NV, 2016

Curtis Madsen, Prashant Vaidyanathan, Cristian-Ioan Vasile, Rachael Ivison, Junmin Wang, Calin Belta, and Douglas Densmore, Utilizing Signal Temporal Logic to Characterize and Compose Modules in Synthetic Biology, International Workshop on Biological Design Automation (IWBDA), Newcastle upon Tyne, UK, August 2016

Eric Cristofalo, Kevin Leahy, Cristian Vasile, Eduardo Montijano, Mac Schwager, and Calin Belta. “Vision-based Mobile Sensing for GPS-deprived Control with Temporal Logic Specifications,” 2016 International Symposium on Experimental Robotics (ISER 2016), Tokyo, Japan, October 3-6, 2016.

Sadra Sadraddini, Calin Belta, Controlled Invariance for Uncertain Monotone Systems, 22nd International Symposium on Mathematical Theory of Networks and Systems, Minneapolis, MN, USA, 2016

Vladislav Nenchev and Calin Belta, Receding Horizon Robot Control in Partially Unknown Environments with Temporal Logic Constraints, European Control Conference, Aalbork, Denmark, 2016

Samuel Coogan, Ebru Aydin Gol, Murat Arcak, and Calin Belta, Traffic Network Control from Temporal Logic Specifications, IEEE Transactions on Control of Network Systems, vol. 3, no. 2, pp. 162 – 171, 2016 (pdf)

Kevin Leahy, Prasanna Kannappan, Adam Jardine, Herbert G. Tanner, Jeffrey Heinz, Calin Belta, Integration of Deterministic Inference with Formal Synthesis for Control under Uncertainty, American Control Conference (ACC), Boston, MA, 2016

Sadra Sadraddini, Calin Belta, A Provably Correct MPC Approach to Safety Control of Urban Traffic Networks, American Control Conference (ACC), Boston, MA, 2016

Sadra Sadraddini, Calin Belta, Model Predictive Control of Urban Traffic Networks with Temporal Logic Constraints, American Control Conference (ACC), Boston, MA, 2016

Samuel Coogan, Murat Arcak, Calin Belta, Finite State Abstraction and Formal Methods for Traffic Flow Networks, American Control Conference (ACC), Boston, MA, 2016 (pdf)

Derya Aksaray, Cristian Ioan Vasile, Calin Belta, Dynamic Routing of Energy-Aware Vehicles with Temporal Logic Constraints, IEEE International Conference on Robotics and Automation (ICRA), Stockholm, Sweden, 2016

Giuseppe Bombara, Cristian Vasile, Francisco Penedo, Hirotoshi Yasuoka, Calin Belta, A Decision Tree Approach to Data Classification using Signal Temporal Logic, Hybrid Systems: Computation and Control (HSCC), Vienna, Austria, 2016

Jana Tumova, Sertac Karaman, Calin Belta and Daniela Rus, Least-violating planning in road networks from temporal logic specifications, International Conference on Cyber-Physical Systems (ICCPS), Vienna, Austria, 2016

2015

Sadra Sadraddini, Calin Belta, Robust Temporal Logic Model Predictive Control, 53rd Annual Allerton Conference on Communication, Control, and Computing, Urbana, IL, 2015

Kevin Leahy, Austin Jones, Mac Schwager, Calin Belta, Distributed Information Gathering Policies under Temporal Logic Constraints, 54th IEEE Conference on Decision and Control (CDC), Osaka, Japan, 2015

Yancy Diaz-Mercado, Austin Jones, Calin Belta, Magnus Egerstedt, Correct-by-Construction Control Synthesis for Multi-Robot Mixing, 54th IEEE Conference on Decision and Control (CDC), Osaka, Japan, 2015

Kevin Leahy, Dingjiang Zhou, Cristian Vasile, Konstantinos Oikonomopoulos, Mac Schwager and Calin Belta. Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging and Temporal Logic Constraints. Autonomous Robots, 2015.

Derya Aksaray, Kevin Leahy, Calin Belta, Distributed Multi-Agent Persistent Surveillance Under Temporal Logic Constraints, 5th IFAC Workshop on Distributed Estimation and Control in Networked Systems, Philadelphia, USA, 2015 (accepted)

Zhe Xu, Calin Belta, Agung Julius, Temporal Logic Inference with Prior Information: An Application to Robot Arm Movements, 5th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), Atanta, GA 2015

Zhe Xu, Marc Birtwistle, Calin Belta and Agung Julius, Temporal Logic Inference for Model Discrimination: An Application on the ERK Pathway, Foundations of Systems Biology in Engineering (FOSBE), Boston, MA 2015 (accepted)

Jing Wang, Xuchu Ding, Morteza Lahijanian, Ioannis Ch. Paschalidis, and Calin A. Belta, Temporal logic motion control using actor–critic methods, The International Journal of Robotics Research, Vol. 34(10) 1329–1344, 2015 (pdf)

Morteza Lahijanian, Sean B. Andersson, and Calin Belta, Formal Verification and Synthesis for Discrete-Time Stochastic Systems, IEEE Transactions in Automatic Control, vol. 6, no. 8, pp. 2031 – 2045, 2015 (pdf)

Ebru Aydin Gol, Mircea Lazar, and Calin Belta, Temporal Logic Model Predictive Control, Automatica, vol. 56, pp. 78-85, 2015 (pdf)

Maria Svorenova, Ivana Cerna, and Calin Belta, Optimal Temporal Logic Control for Deterministic Transition Systems with Probabilistic Penalties, IEEE Transactions in Automatic Control, vol. 60, no. 6, pp. 1528-1541, 2015 (pdf)

Samuel Coogan, Ebru Aydin Gol, Murat Arcak, and Calin Belta, Traffic Network Control from Temporal Logic Specifications, IEEE Transactions on Control of Network Systems (accepted)

Cristian-Ioan Vasile, Calin Belta, Mac Schwager, SE(N) Invariance in Networked Systems, European Control Conference,  Linz, Austria, 2015

Vladislav Nenchev, Calin Belta, Joerg Raisch, Optimal motion planning with temporal logic and switching constraints, European Control Conference, Linz, Austria, 2015

Austin Jones, Mac Schwager, Calin Belta, Information-guided persistent monitoring under temporal logic constraints, American Control Conference (ACC) 2015

Samuel Coogan, Ebru Aydin Gol, Murat Arcak, Calin Belta, Controlling a Network of Signalized Intersections From Temporal Logical Specifications, American Control Conference (ACC) 2015 (pdf)

Iman Haghighi, Austin Jones, Zhaodan Kong, Ezio Bartocci, Radu Grosu and Calin Belta, SpaTeL: A Novel Spatial-Temporal Logic and Its Applications to Networked Systems, Hybrid Systems: Computation and Control (HSCC) 2015 (pdf)

Mária Svoreňová, Jan Křetínský, Martin Chmelík, Krishnendu, Chatterjee, Ivana Cerna and Calin Belta, Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games, Hybrid Systems: Computation and Control (HSCC) 2015 (pdf)

Mária Svoreňová, Martin Chmelík, Kevin Leahy, Hasan Ferit Eniser,Krishnendu Chatterjee, Ivana Černá and Calin Belta, Temporal Logic Motion Planning using POMDPs with Parity Objectives, Hybrid Systems: Computation and Control (HSCC) 2015 (pdf)

2014

Alphan Ulusoy and  Calin Belta, Receding Horizon Temporal Logic Control in Dynamic Environments, The International Journal of Robotics Research (IJRR) vol. 33(12), pp. 1593-1607, 2014 (pdf)

Igor Cizelj and Calin Belta, Control of Noisy Differential-Drive Vehicles from Time-Bounded Temporal Logic Specifications, The International Journal of Robotics Research (IJRR), vol. 33, no. 8, pp. 1112-1129, 2014 (pdf)

Ebru Aydin Gol, Xuchu Ding, Mircea Lazar, and Calin Belta, Finite Bisimulations for Switched Linear Systems, IEEE Transactions on Automatic Control, vol. 59, no. 12, pp. 3122 – 3134, 2014 (pdf)

Ebru Aydin Gol, Ezio Bartocci, Calin Belta, A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems, 53rd IEEE Conference on Decision and Control (CDC), Los Angeles, CA 2014 (pdf)

Austin Jones, Zhaodan Kong, and Calin Belta, Anomaly Detection in Cyber-Physical Systems: A Formal Methods Approach, 53rd IEEE Conference on Decision and Control (CDC), Los Angeles, CA 2014 (pdf)

Kevin Leahy, Dingjiang Zhou, Cristian Vasile, Konstantinos Oikonomopoulos, Mac Schwager and Calin Belta, Provably Correct Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging Constraints, 2014 International Symposium on Experimental Robotics (ISER 2014), Marrakech and Essaouira, Morocco, June 15-18, 2014 (pdf)

Cristian Ioan Vasile and Calin Belta, An Automata-Theoretic Approach to the Vehicle Routing Problem, Robotics: Science and Systems (RSS) 2014, Berkeley, CA, 2014 (pdf)

Cristian Ioan Vasile, Calin Belta, Reactive Sampling-Based Temporal Logic Path Planning, IEEE International Conference on Robotics and Automation (ICRA) 2014, Hong Kong, 2014 (pdf)

Zhaodan Kong, Austin Jones, Ana Medina Ayala, Ebru Aydin Gol and Calin Belta ,Temporal Logic Inference for Classification and Prediction from Data, Hybrid Systems: Computation and Control (HSCC), Berlin, Germany, 2014 (pdf)

Ebru Aydin Gol, Calin Belta, An Additive Cost Approach to Optimal Temporal Logic Control, American Control Conference (ACC), Portland, USA 2014 (pdf)

Xuchu (Dennis) Ding, Stephen L. Smith, Calin Belta, and Daniela Rus, Optimal Control of Markov Decision Processes with Linear Temporal Logic Constraints, IEEE Transactions on Automatic Control vol.59, no. 5, pp. 1244-1257, 2014 (pdf)

Alphan Ulusoy, Tichakorn Wongpiromsarn, Calin Belta, Incremental Controller Synthesis in Probabilistic Environments with Temporal Logic Constraints, The International Journal of Robotics Research (IJRR) vol. 33, no. 8, pp. 1130 – 1144, 2014 (pdf)

Xu Chu Ding, Mircea Lazar, Calin Belta, LTL Receding Horizon Control for Finite Deterministic Systems, Automatica, 50(2): 399-408, 2014 (pdf)

Ana Medina Ayala, Sean B. Andersson, and Calin Belta, Formal Synthesis of Control Policies for Continuous Time Markov Processes from Time-Bounded Temporal Logic Specifications, IEEE Transactions on Automatic Control, vol. 59, no. 9, pp. 2568-2574, 2014 (pdf)

Ebru Aydin Gol, Mircea Lazar, Calin Belta, Language-Guided Controller Design for Linear Systems, IEEE Transactions on Automatic Control, vol. 59, no. 5, pp. 1163-1176, 2014 (pdf)

2013

Maria Svorenova, Ivana Cerna, Calin Belta, Optimal Control of MDPs with Temporal Logic Constraints, 52nd IEEE Conference on Decision and Control (CDC), Firenze, Italy, 2013 (pdf)

Guilhem Richard, Agung Julius, Calin Belta, Optimizing Regulation Functions in Gene Network Identification, 52nd IEEE Conference on Decision and Control (CDC), Firenze, Italy, 2013 (pdf)

Ebru Aydin Gol, Douglas Densmore, Calin Belta, Data-driven Verification of Synthetic Gene Networks, 52nd IEEE Conference on Decision and Control (CDC), Firenze, Italy, 2013 (pdf)

Austin Jones, Mac Schwager, Calin Belta, Distribution Temporal Logic: Combining Correctness with Quality of Estimation, 52nd IEEE Conference on Decision and Control (CDC), Firenze, Italy, 2013 (pdf)

Guilhem Richard, Niraj Trivedi, Calin Belta, and Salomon Amar, Partial Restoration of Macrophage Alteration from Diet-induced obesity in Response to Porphyromonas gingivalis Infection, PLoS ONE 8(7): e70320. doi:10.1371/journal.pone.0070320 (pdf)

A. Ulusoy, S. L. Smith, X. C. Ding, C. Belta, and D. Rus, Optimality and Robustness in Multi-Robot Path Planning with Temporal Logic Constraints, The International Journal of Robotics Research (IJRR), Volume 32, Issue 8, pp. 889 – 911, July 2013 (pdf)

Ana Ivonne Medina Ayala, Sean Andersson, Calin Belta, Temporal Logic Motion Planning in Unknown Environments, IROS 2013, Tokyo, Japan, 2013 (pdf)

Igor Cizelj, Calin Belta, Negotiating the Probabilistic Satisfaction of Temporal Logic Motion Specifications, IROS 2013, Tokyo, Japan, 2013 (pdf)

Cristian Vasile, Calin Belta, Sample-Based Temporal Logic Path Planning, IROS 2013, Tokyo, Japan, 2013 (pdf)

Alphan Ulusoy, Michael Marrazzo, and, Calin Belta, Receding Horizon Control in Dynamic Environments from Temporal Logic Specifications, Robotics: Science and Systems (RSS) 2013 (pdf)

Alphan Ulusoy, Michael Marrazzo, Konstantinos Oikonomopoulos, Ryan Hunter, Calin Belta, Temporal Logic Control for an Autonomous Quadrotor in a Nondeterministic Environment, IEEE International Conference on Robotics and Automation (ICRA) 2013 (pdf)

Austin Jones, Mac Schwager, Calin Belta, A Receding Horizon Algorithm for Informative Path Planning with Temporal Logic Constraints, IEEE International Conference on Robotics and Automation (ICRA) 2013 (pdf)

Igor Cizelj, Calin Belta, Control of Noisy Differential-Drive Vehicles from Time-Bounded Temporal Logic Specifications, IEEE International Conference on Robotics and Automation (ICRA) 2013 (pdf)

Tichakorn Wongpiromsarn, Alphan Ulusoy, Calin Belta, Emilio Frazzoli, Daniela Rus, Incremental Synthesis of Control Policies for Heterogeneous Multi-Agent Systems with Linear Temporal Logic Specification, IEEE International Conference on Robotics and Automation (ICRA) 2013 (pdf)

Ebru Aydin Gol, Mircea Lazar and Calin Belta, Temporal Logic Model Predictive Control for Discrete-Time Systems, Hybrid Systems: Computation and Control (HSCC), Philadelphia, PA 2013

Boyan Yordanov, Jana Tumova, Ivana Cerna, Jiri Barnat, Calin Belta, Formal Analysis of Piecewise Affine Systems through Formula-Guided Refinement, Automatica,  vol. 49, issue 1, pp. 261-266, 2013 (pdf)

2012 

Boyan Yordanov, Evan Appleton, Rishi Ganguly, Ebru Aydin Gol, Swati Carr, Swapnil Bhatia, Traci Haddock, Calin Belta, and Douglas Densmore,Experimentally driven verification of synthetic biological circuits, Design, Automation Test in Europe Conference Exhibition (DATE), 2012, pp. 236-241 (pdf).

Alphan Ulusoy, Stephen L. Smith, Calin Belta, Optimal Multi-Robot Path Planning with LTL Constraints: Guaranteeing Correctness Through Synchronization, 2012 International Symposium on Distributed Autonomous Robotic Systems (DARS) 2012, Baltimore, MD, USA (pdf)

Morteza Lahijanian, Sean Andersson, Calin Belta, Approximate Markovian Abstractions for Linear Stochastic Systems, IEEE Conference on Decision and Control (CDC) 2012, Maui, Hawaii, 2012 (pdf)

Yushan Chen, Kun Deng, Calin Belta, Multi-Agent Persistent Monitoring in Stochastic Environments with Temporal Logic Constraints, IEEE Conference on Decision and Control (CDC) 2012, Maui, Hawaii, 2012 (pdf)

Alphan Ulusoy, Tichakorn Wongpiromsarn, Calin Belta, Incremental Control Synthesis in Probabilistic Environments with Temporal Logic Constraints, IEEE Conference on Decision and Control (CDC) 2012, Maui, Hawaii, 2012 (pdf)

Ebru Aydin Gol, Xu Chu Ding, Mircea Lazar, Calin Belta, Finite Bisimulations for Switched Linear Systems, IEEE Conference on Decision and Control (CDC) 2012, Maui, Hawaii, 2012 (pdf)

Tichakorn Wongpiromsarn, Alphan Ulusoy, Calin Belta, Emilio Frazzoli, Daniela Rus, Incremental Temporal Logic Synthesis of Control Policies for Robots Interacting with Dynamic Agents, IROS 2012, Vilamoura, Algarve, Portugal, 2012 (pdf)

Igor Cizelj and Calin Belta, Probabilistically Safe Control of Noisy Dubins Vehicles, IROS 2012, Vilamoura, Algarve, Portugal, 2012 (pdf)

Morteza Lahijanian, Sean B. Andersson, and Calin Belta, Temporal Logic Motion Planning and Control with Probabilistic Satisfaction Guarantees, IEEE Transaction on Robotics, vol. 28, no. 2, pp. 396-409, 2012 (pdf)

B. Yordanov, J. Tumova, I. Cerna, J. Barnat, C. Belta, Temporal Logic Control of Discrete-Time Piecewise Affine Systems, IEEE Transactions on Automatic Control, vol. 57, no. 6, pp. 1491-1504, 2012 (pdf)

Xu Chu Ding, Mircea Lazar, and Calin Belta, Formal Abstraction of Linear Systems via Polyhedral Lyapunov Functions, 4th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), Eindhoven, Netherlands, 2012 (pdf)

Ebru Aydin Gol and Calin Belta, Time-Constrained Temporal Logic Control of Multi-Affine Systems, 4th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), Eindhoven, Netherlands, 2012 (pdf)

Guilhem Richard, Calin Belta, A. Agung Julius, and Salomon Amar, Controlling the Outcome of the Toll-like Receptor Signaling Pathways, PLoS ONE, 7(2), e31341, doi:10.1371/journal.pone.0031341, 2012 (pdf)

Xu Chu Ding, Mircea Lazar, and Calin Belta, Receding Horizon Temporal Logic Control for Finite Deterministic Systems, American Control Conference, Montreal, Canada, 2012 (pdf)

Alphan Ulusoy, Stephen L. Smith, Xu Chu Ding, Calin Belta, Robust Multi-Robot Optimal Path Planning with Temporal Logic Constraints, 2012 IEEE International Conference on Robotics and Automation (ICRA), 2012, Saint Paul, MN, USA (pdf)

Xu Chu Ding, Jing Wang, Morteza Lahijanian, Yannis Paschalidis, Calin Belta, Temporal Logic Motion Control using Actor-Critic Methods, 2012 IEEE International Conference on Robotics and Automation (ICRA), 2012, Saint Paul, MN, USA (pdf)

Ana Ivonne Medina Ayala, Sean Andersson, Calin Belta, Probabilistic Control from Time-Bounded Temporal Logic Specifications in Dynamic Environments, 2012 IEEE International Conference on Robotics and Automation (ICRA), 2012, Saint Paul, MN, USA (pdf)

Yushan Chen, Jana Tumova, Calin Belta, LTL Robot Motion Control based on Automata Learning of Environmental Dynamics 2012 IEEE International Conference on Robotics and Automation (ICRA), 2012, Saint Paul, MN, USA (pdf)

Y. Chen, D. Ding, A. Stefanescu, and C. Belta, A Formal Approach to the Deployment of Distributed Robotic Teams, IEEE Transaction on Robotics, vol. 28, issue 1, pp. 158-171, 2012 (pdf)

Ebru Aydin Gol, Mircea Lazar, and Calin Belta, Language-Guided Controller Synthesis for Discrete-Time Linear Systems, Hybrid Systems Computation and Control (HSCC) 2012, Beijing, China (pdf)

2011

Marius Kloetzer, Xu Chu Ding, Calin Belta, Multi-robot deployment from LTL specifications with reduced communication, CDC 2011, Orlando, FL, 2011 (pdf)

Reza Moazzez Estanjini, Xu Chu Ding, Morteza Lahijanian, Calin Belta, Ioannis Paschalidis, Least Squares Temporal Difference Actor-Critic Methods with Applications to Robot Motion Control, CDC 2011, Orlando, FL, 2011 (pdf)

Nicholas Cooper, Calin Belta, Agung Julius, Genetic Regulatory Network Identification Using Multivariate Monotone Functions, CDC 2011, Orlando, FL, 2011 (pdf)

Xu Chu Ding, Stephen L. Smith, Calin Belta, Daniela Rus, MDP Optimal Control under Temporal Logic Constraints, CDC 2011, Orlando, FL, 2011 (pdf)

Boyan Yordanov, Calin Belta, A Formal Verification Approach to the Design of Synthetic Gene Networks, CDC 2011, Orlando, FL, 2011 (pdf)

Guilhem Richard, H.J. Chang, Igor Cizelj, Calin Belta, Agung Julius, Salomon Amar, Integration of large-scale metabolic, signaling, and gene regulatory networks with application to infection responses, CDC 2011, Orlando, FL, 2011 (pdf)

Yushan Chen, Xu Chu Ding, Calin Belta, Synthesis of Distributed Control and Communication Schemes from Global LTL Specifications, CDC 2011, Orlando, FL, 2011 (pdf)

Stephen Smith, Jana Tumova, Calin Belta, Daniela Rus, Optimal Path Planning for Surveillance with Temporal Logic Constraints, International Journal of Robotics Research, vol. 30, no. 14, pp. 1695-1708, 2011 (pdf)

Alphan Ulusoy, Stephen L. Smith, Xu Chu Ding, Calin Belta, Daniela Rus, Optimal Multi-Robot Path Planning with Temporal Logic Constraints, IROS, San Francisco, 2011 (pdf)

Ana Ivonne Medina Ayala, Sean Andersson, and Calin Belta, Temporal Logic Control in Dynamic Environments with Probabilistic Satisfaction Guarantees, IROS, San Francisco, 2011 (pdf)

Xu Chu Ding, Marius Kloetzer, Yushan Chen, Calin Belta, Formal Methods for Automatic Deployment of Robotic Teams, IEEE Robotics and Automation Magazine, vol. 18, no.3, pp. 75-86, 2011 (pdf)

Amy LaViers, Yushan Chen, Calin Belta, Magnus Egerstedt, A Formal Approach to the Automatic Generation of Ballet Phrases, IEEE Robotics and Automation Magazine, vol. 18, no. 3, pp. 87-95, 2011 (pdf)

Xu Chu Ding, Stephen L. Smith, Calin Belta, Daniela Rus, LTL Control in Uncertain Environments with Probabilistic Satisfaction Guarantees, 18th IFAC World Congress, Milan, Italy (pdf)

Igor Cizelj, Xu Chu Ding, Morteza Lahijanian, Alessandro Pinto, Calin Belta , Probabilistically Safe Vehicle Control in a Hostile Environment, 18th IFAC World Congress, Milan, Italy (pdf)

Agung Julius, Calin Belta, Genetic Regulatory Network Identification Using Monotone Functions Decomposition, 18th IFAC World Congress, Milan, Italy (pdf)

M. Lahijanian, S. B. Andersson, and C. Belta, Control of Markov Decision Processes from PCTL specifications, American Control Conference (ACC), San Francisco, CA, 2011 (pdf)

A. LaViers, Y. Chen, C. Belta, and M. Egerstedt, A Formal Approach to the Automatic Generation of Ballet Motions, ACM/IEEE 2nd International Conference on Cyber Physical Systems (ICCPS), Chicago, IL, 2011 (pdf)

2010

Y. Chen, X. C. Ding, A. Stefanescu, and C. Belta, A Formal Approach to Deployment of Robotic Teams in an Urban-Like Environment, 10th International Symposium on Distributed Autonomous Robotics Systems (DARS), Lausanne, Switzerland, 2010 (pdf)

Jana Tumova, Boyan Yordanov, Calin Belta, Ivana Cerna, Jiri Barnat, A Symbolic Approach to Controlling Piecewise Affine Systems, IEEE Conference on Decision and Control (CDC), Atlanta, GA, 2010 (pdf)

Boyan Yordanov, Jana Tumova, Calin Belta, Ivana Cerna, Jiri Barnat, Formal Analysis of Piecewise Affine Systems through Formula-Guided Refinement, IEEE Conference on Decision and Control (CDC), Atlanta, GA, 2010 (pdf)

Xu Chu Ding, Calin Belta, Christos G. Cassandras, Receding Horizon Surveillance with Temporal Logic Specifications, IEEE Conference on Decision and Control (CDC), Atlanta, GA, 2010 (pdf)

Y. Chen, A. Stefanescu, and C. Belta, A Hierarchical Approach to Automatic Deployment of Robotic Teams with Communication Constraints, IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Taipei, Taiwan, 2010, (pdf)

S. L. Smith, J. Tumova, C. Belta, and D. Rus, Optimal path planning under Temporal Logic Constraints, IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Taipei, Taiwan, 2010, (pdf)

M. Kloetzer, C. Mahulea, C. Belta, and M. Silva, An automated framework for formal verification of timed continuous Petri nets, IEEE Transactions on Industrial Informatics, vol. 6, no. 3, pp. 460 – 471, 2010 (pdf)

B. Yordanov and C. Belta, Formal analysis of discrete-time piecewise affine systems, IEEE Transactions on Automatic Control, vol 55, n0. 12, pp. 2834-3840, 2010 (pdf)

M. Imielinski and C. Belta, Deep epistasis in human metabolism, Chaos, vol. 20, 2010 (pdf)

M. Kloetzer and C. Belta, Automatic deployment of distributed teams of robots from temporal logic specifications, IEEE Transactions on Robotics, vol. 26, no. 1, pp. 48-61, 2010 (pdf)

L.C.G.J.M Habets and C. Belta, Temporal Logic Control for Piecewise-Affine Hybrid Systems on Polytopes, 9th International Symposium on Mathematical Theory of Networks and Systems (MTNS 2010), Budapest, Hungary, July 2010 (pdf)

M. Lahijanian, J. Wasniewski, S. B. Andersson, and C. Belta, Motion Planning and Control from Temporal Logic Specifications with Probabilistic Satisfaction Guarantees, IEEE International Conference on Robotics and Automation, May 3-8, 2010, Anchorage, Alaska, USA (pdf)

M. Kloetzer, S. Itani, S. Birch, and C. Belta, On the Need for Communication in Distributed Implementations of LTL Motion Specifications, IEEE International Conference on Robotics and Automation, May 3-8, 2010, Anchorage, Alaska, USA (pdf)

R. D. Walker, S. B. Andersson, C. Belta, and P. Dupont, IN-Haptics: Interactive Navigation Using Haptics, Haptics Symposium, Waltham, MA 2010 (pdf)

M. Kloetzer and C. Belta, Reachability analysis of multi-affine systems, Transactions of the Institute of Measurement and Control, Special Issue on Hybrid Systems, vol. 32, no. 5, pp. 445 – 467, 2010 (pdf)

2009

C. Belta, Robot Motion Planning, Wiley Encyclopedia of Computer Science and Engineering, John Wiley & Sons, Inc, Hoboken, ed. Benjamin Wah, vol. 4, pp. 2439-2446, 2009 (pdf)

B. Yordanov and C. Belta, Temporal Logic Control of Discrete-Time Piecewise Affine Systems, IEEE Conference on Decision and Control (CDC), Shanghai, China, 2009 (pdf)

M. Lahijanian, C. Belta, and S. Andersson, A Probabilistic Approach for Control of a Stochastic System from LTL Specifications, IEEE Conference on Decision and Control (CDC), Shanghai, China, 2009 (pdf)

M. Lahijanian, M. Kloetzer, S. Itani, C. Belta, and S. Andersson, Automatic deployment of autonomous cars in a robotic urban-like environment (RULE), IEEE International Conference on Robotics and Automation (ICRA), Kobe, Japan, 2009 (pdf)

2008

M. Kloetzer and C. Belta, A Fully Automated Framework for Control of Linear Systems From Temporal Logic Specifications, IEEE Transactions on Automatic Control, vol. 53, no.1, pp. 287-297, 2008 (pdf)

M. Imielinski and C. Belta, Exploiting the pathway structure of metabolism to reveal high-order epistasis, BMC Systems Biology, 2:40, 2008 (pdf)

G. Batt, C. Belta, and R. Weiss, Temporal Logic Analysis of Gene Networks under Parameter Uncertainty, IEEE Transactions of Automatic Control, vol. 53, pp. 215 – 229, 2008 (pdf)

C. Belta, Abstractions for Planning and Control of Robotic Swarms, Bio-inspired Computing and Communication Networks, Auerbach Publications, CRC Press, eds. Yang Xiao and Fei Hu, 2008 (to appear) (pdf)

B. Yordanov and C. Belta, Parameter synthesis for piecewise affine systems from temporal logic specifications, 11th International Conference on Hybrid Systems: Computation and Control, (HSCC), St. Louis, Lecture Notes in Computer Science, Springer , eds. M. Egerstedt and B. Mishra, vol. 4981, pp. 542-555 2008 (pdf)

M. Kloetzer and C. Belta, Dealing with non-determinism in symbolic control, 11th International Conf. on Hybrid Systems: Computation and Control, (HSCC), St. Louis, Lecture Notes in Computer Science, Springer, eds. M. Egerstedt and B. Mishra, vol. 4981, pp. 287-300, 2008 (pdf)

M. Kloetzer, C. Mahulea, C. Belta, L. Recalde, and M. Silva, Formal analysis of timed continuous Petri nets, CDC 2008, Cancun, Mexico, 2008 (pdf)

M. Imielinski, N. Klitgord, and C. Belta, Investigating the genomic basis of metabolic robustness through in silico flux analysis, CDC 2008, Cancun, Mexico, 2008 (pdf)

B. Yordanov and C. Belta, Formal Analysis of Piecewise Affine Systems under Parameter Uncertainty with Application to Gene Networks, American Control Conference (ACC), Seattle, WA 2008 (pdf)

M. Kloetzer and C. Belta, Distributed implementations of global temporal logic motion specifications, IEEE Int. Conf. on Robotics and Automation (ICRA), Pasadena, CA, 2008 (pdf)

2007

G. Batt, B. Yordanov, R. Weiss, and C. Belta, Robustness Analysis and Tuning of Synthetic Gene Networks, Bioinformatics, vol.23, no.18, pp. 2415-2422, 2007 (pdf)

C. Belta, A. Bicchi, M. Egerstedt, E. Frazzoli, E. Klavins, and G. J. Pappas, Symbolic Planning and Control of Robot Motion, IEEE Robotics and Automation Magazine – special issue on Grand Challenges of Robotics, vol. 14, no. 1, pp. 61-71, 2007 (pdf)

A. Halasz, V. Kumar, M. Imielinski, C. Belta, O. Sokolsky, S. Pathak, and H. Rubin, Analysis of Lactose Metabolism in E.coli using Reachability Analysis of Hybrid Systems, IET Systems Biology, vol.1, no.2, pp. 130-148, 2007 (pdf)

M. Kloetzer and C. Belta, Temporal Logic Planning and Control of Robotic Swarms by Hierarchical Abstractions, IEEE Transactions on Robotics, vol. 23, no. 2, pp. 320-331, 2007 (pdf)

G. Batt, C. Belta, and R. Weiss, Model checking liveness properties of genetic regulatory networks, 13th Int. Conf.on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Braga, Portugal, Lecture Notes in Computer Science, vol. 4424, pp. 323-338, 2007 (pdf)

G. Batt, C. Belta and R. Weiss, Model checking genetic regulatory networks with parameter uncertainty, 10th International Workshop on Hybrid Systems: Computation and Control (HSCC), Pisa, Italy, Lecture Notes in Computer Science, vol. 4416, pp. 61-75, 2007 (pdf)

M. Imielinski and C. Belta, Uncovering complex essential reaction sets in E.coli metabolism through pathway fragment analysis, 8th International Conference on Systems Biology (ICSB), Long Beach, California, Oct. 2007

G. Batt, B. Yordanov, R. Weiss, and C. Belta, Robustness analysis and tuning of synthetic gene networks, Synthetic Biology 3.0, Zurich, Switzerland, 2007

G. Batt, B. Yordanov, R. Weiss, and C. Belta, Robustness analysis and tuning of synthetic gene networks, Journales Ouvertes Biologie, Informatique et Mathematiques (JOBIM), Marseille, France, 2007

M. Imielinski and C. Belta, On the computation of minimal cut sets in genome scale metabolic networks, American Control Conference (ACC), New York, NY, 2007 (pdf)

B. Yordanov, G. Batt, and C. Belta, Model checking discrete-time piecewise affine systems: application to gene networks, European Control Conference (ECC), 2007 (pdf)

M. Kloetzer and C. Belta, Managing non-determinism in symbolic robot motion planning and control, IEEE International Conference on Robotics and Automation (ICRA), Rome, Italy, 2007 (pdf)

2006

C. Belta and L.C.G.J.M. Habets, Controlling a class of nonlinear systems on rectangles, IEEE Transactions on Automatic Control, vol. 51, no. 11, pp. 1749-1759, 2006 (pdf)

M. Imielinski, C. Belta, A. Halasz, and H. Rubin, Systematic analysis of conservation relations in E.coli genome scale metabolic network reveals novel growth media, Biophysical Journal, vol. 90, pp. 2659 – 2672, 2006 (pdf)

M. Kloetzer and C. Belta, Reachability analysis of multi-affine systems, 9th International Workshop on Hybrid Systems: Computation and Control, Santa Barbara, CA, Lecture Notes in Computer Science, Springer Berlin / Heidelberg, vol. 3927, pp. 348 – 362, 2006 (pdf)

M. Kloetzer and C. Belta, A fully automated framework for control of linear systems from LTL specifications, 9th International Workshop on Hybrid Systems: Computation and Control, Santa Barbara, CA, Lecture Notes in Computer Science, Springer Berlin / Heidelberg, vol. 3927, pp. 333-347, 2006 (pdf)

M. Kloetzer, L.C.G.J.M. Habets, and C. Belta, Control of rectangular multi-affine hybrid systems, 45th IEEE Conference on Decision and Control, San Diego, CA, 2006 (pdf)

G. Batt, B. Yordanov, R. Weiss, and C. Belta, Robustness analysis and tuning of synthetic gene networks with parameter uncertainties, Engineering Principles in Biology, Cold Spring Harbor, New York, 2006

M. Kloetzer and C. Belta, A framework for automatic deployment of robots in 2D and 3D environments, IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Beijing, China, 2006 (pdf)

N. Michael, C. Belta, and V. Kumar, Controlling three dimensional swarms of robots, IEEE International Conference on Robotics and Automation (ICRA), Orlando, FL, 2006 (pdf)

M. Kloetzer and C. Belta, Hierarchical abstractions for robotic swarms, IEEE International Conference on Robotics and Automation (ICRA), Orlando, FL, 2006 (pdf)

M. Kloetzer and C. Belta, LTL planning for groups of robots, IEEE International Conference on Networking, Sensing, and Control, Ft. Lauderdale, 2006 (pdf)

2005

M. Imielinski, C. Belta, A. Halasz, and H. Rubin, Characterizing the essential metabolome through genome scale analysis of E.Coli production capabilities, Bioinformatics, vol. 21 no. 9, pp. 2008-2016, 2005 (pdf)

C. Belta, V. Isler, and G. J. Pappas, Discrete abstractions for robot planning and control in polygonal environments, IEEE Transactions on Robotics, vol.21, no.5, pp. 864-874, 2005 (pdf)

C. Belta, J. Esposito, J. Kim, and V. Kumar, Computational techniques for analysis of genetic network dynamics, The International Journal of Robotics Research, vol. 24, no. 2-3, pp. 219-235, 2005 (pdf)

C. Belta, G. Pereira, and V. Kumar, Abstraction and control for swarms of robots, Springer Tracts in Advanced Robotics, eds. B. Siciliano, O. Khatib, and F. Groen, Springer-Verlag, Berlin, pp.224-233, 2005 (pdf)

M. Imielinski, C. Belta, A. Halasz, and H. Rubin, Systematic analysis of conservation relations in E.coli genome scale metabolic network reveals novel growth media, International Conference on Systems Biology, Boston, MA, 2005

M. Imielinski, C. Belta, A. Halasz, and H. Rubin, Characterizing elementary combinations of producible species in metabolic networks, Foundations of Systems Biology and Engineering, University of California Santa Barbara, August 2005

2004

Calin Belta and Vijay Kumar, Abstraction and control for groups of robots, IEEE Transactions on Robotics, vol.20, no.5, pp.865-875, 2004 (pdf)

Calin Belta and Vijay Kumar, Optimal motion generation for groups of robots: a geometric approach, ASME Journal of Mechanical Design, Vol. 126, pp. 63-70, 2004 (pdf)

C. Belta, P. Finin, L.C.G.J.M. Habets, A. Halasz, M. Imielinski, V.Kumar, and H. Rubin, Understanding the bacterial stringent response using reachability analysis of hybrid systems, 7th International Workshop on Hybrid Systems: Computation and Control, Philadelphia, PA, Lecture Notes in Computer Science, vol. 2993, pp. 111-126, 2004 (pdf)

Calin Belta and Vijay Kumar, Geometric methods for multirobot motion planning, Handbook of Computational Geometry for Pattern Recognition, Computer Vision, Neurocomputing and Robotics, ed. Eduardo Bayro-Corrochano, Springer-Verlag, pp. 536-563, 2004 (pdf)

M. Imielinski, C. Belta, A. Halasz, and H. Rubin, Probing metabolite essentiality through in silico genome scale analysis of E.Coli production capabilities, 5th International Conference on Systems Biology, Heidelberg, Germany, Oct. 2004 (Best Poster Award)

C. Belta, On controlling aircraft and underwater vehicles, IEEE International Conference on Robotics and Automation, New Orleans, LA, April 2004 (pdf)

C. Belta and L.C.G.J.M. Habets, Constructing decidable hybrid systems with velocity bounds, 43rd IEEE Conference on Decision and Control, 2004 (pdf)

V. Isler, C. Belta, K. Daniilidis, and G. J. Pappas, Stochastic Hybrid Control for Visibility-Based Pursuit-Evasion Games, 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2004 (pdf)

2003

C. Belta. G. Pereira, and V. Kumar, Abstraction and control for swarms of robots, 11th International Symposium of Robotics Research, Siena, Italy, Oct. 2003 (pdf)

C. Belta, G. Pereira, and V. Kumar, Control of a team of car-like robots using abstractions, 42nd IEEE Conference on Decision and Control, CDC, Maui, Hawaii, Dec. 2003 (pdf)

C. Belta and V. Kumar, Abstraction and control for groups of fully-actuated planar robots, IEEE International Conference on Robotics and Automation, Taipei, Taiwan, Sept. 2003 (pdf)

C. Belta, Geometric methods for multi-robot planning and control, PhD Thesis, University of Pennsylvania, 2003 (pdf)

2002

Calin Belta and Vijay Kumar, An SVD-based projection method for interpolation on SE(3), IEEE Transactions on Robotics and Automation, vol. 18, no. 3, pp. 334-345, June 2002 (pdf)

Calin Belta and Vijay Kumar, Euclidean metrics for motion generation on SE(3), Journal of Mechanical Engineering Science Part C, vol. 216, no. C1, pp. 47-60, 2002 (pdf)

Calin Belta and Vijay Kumar, On the computation of rigid body motion, Electronic Journal of Computational Kinematics, vol 1, no. 1, 2002 (pdf)

R. Alur, C. Belta, V. Kumar, M. Mintz, G. J. Pappas, H. Rubin, and J. Schug, Modeling and analyzing biomolecular networks, Computing in Science and Engineering, Jan/Feb 2002, pp. 20-30 (pdf)

R. Alur, C. Belta, F. Ivancic, V. Kumar, H. Rubin, J. Schug, O. Sokolsky and J. Webb, Visual programming for modeling and simulation of bioregulatory networks, International Conference on High Performance Computing, Bangalore, India, Lecture Notes in Computer Science, vol 2552, pp. 702-713, 2002 (pdf)

Calin Belta and Vijay Kumar, Towards abstraction and control for large groups of robots, Control Problems in Robotics, Springer Tracts in Advanced Robotics, Springer-Verlag, Berlin, 2002, pp. 169-182 (pdf)

Calin Belta and Vijay Kumar, Towards abstraction and control for large groups of robots, 2nd International Workshop on Control Problems in Robotics and Automation, Las Vegas, NV, Dec. 2002 (pdf)

Calin Belta, Luc Habets, and Vijay Kumar, Control of multi-affine systems on rectangles with applications to hybrid biomolecular networks, 41st IEEE Conference on Decision and Control, Las Vegas, NV, Dec. 2002 (pdf)

C. Belta and V. Kumar, Motion generation for groups of robots: a centralized, geometric approach, ASME DETC, Montreal, Canada, Oct. 2002 (pdf)

C. Belta and V. Kumar, Trajectory design for formations of robots by kinetic energy shaping, IEEE International Conference on Robotics and Automation, Washington, DC, May 2002 (pdf)

2001

Calin Belta, Guouxiang Gu, A. Sparks, and Siva Banda, Rotating stall control for axial flow compressors, Automatica, vol. 37, pp. 921-931, 2001 (pdf)

R. Alur, C. Belta, F. Ivancic, V. Kumar, M. Mintz, G. Pappas, J. Schug, Hybrid modelling and simulation of biomolecular networks, 4th International Workshop on Hybrid Systems: Computation and Control, Rome, Italy, Lecture Notes in Computer Science, vol. 2034, pp. 19-32 (pdf)

C. Belta, J. Schug, T. Dang, V. Kumar, G. J. Pappas, H. Rubin, P. V. Dunlap, Stability and reachability analysis of a hybrid model of luminescence in the marine bacterium Vibrio fischeri, 40th IEEE CDC, Orlando, Florida, 2001 (pdf)

R. Fierro, C. Belta, J. Desai, V. Kumar, On controlling aircraft formations, 40th IEEE CDC, Orlando, Florida, 2001 (pdf)

C. Belta and V. Kumar, Designing trajectories for formations of fully actuated robots, 5th SIAM Conference on Control and its Applications, San Diego, CA, July 2001

Calin Belta and Vijay Kumar, On the computation of rigid body motion, 2nd Workshop on Computational Kinematics, Seoul, Korea, May 2001 (pdf)

Calin Belta and Vijay Kumar, Motion generation for formations of robots: a geometric approach, IEEE International Conference on Robotics and Automation, Seoul, Korea, 2001 (pdf)

Before 2001

Calin Belta and Vijay Kumar, An efficient, geometric approach to rigid body motion interpolation, ASME 2000 International Design Engineering Technical Conferences and the Computers and Information in Engineering Conference, Baltimore, Maryland, September, 2000 (pdf)

Calin Belta and Vijay Kumar, New metrics for rigid body motion interpolation, Ball 2000 Symposium Commemorating the Legacy, Works, and Life of Sir Robert Stawell Ball, University of Cambridge, UK, July, 2000

Guoxiang Gu, Andrew Sparks, and Calin Belta, Stability analysis for rotating stall dynamics in axial flow compressors, Circuits, Systems and Signal Processing, vol.18, no.4, pp.331-350, 1999 (pdf)

Calin Belta, Guoxiang Gu, Andrew Sparks, Siva Banda, Rotating Stall Control for Axial Flow Compressors, 37th IEEE Conference on Decision and Contol, Tampa, Florida, December, 1998 (pdf)

Corneliu Botan and Calin Belta, Some aspects concerning the controller implementation for the discrete LQ problem, Bulletin of the Polytechnic Institute of Iasi, vol.XLIII(1-4), pp.11-16, 1997.

Calin Belta, Guoxiang Gu, Andrew Sparks, Siva Banda, Stall Control for Axial Compressors, 14th World Congress of IFAC, Beijing, China, July, 1999

Botan C., Belta C., Some Aspects Concerning the Controller Implementation for the Discrete LQ-Problem, 5th Symposium on Automatic Control and Computer Science, Iasi, 1995, Vol. 1, pp.275-278

Botan C., Postolache M., Onea A., Belta C., An Implementation of the Controller for LQ Optimal Problem, 10th International Conference on Control Systems and Computer Science, Bucharest, 1995, Vol.1, pp.83-86.

Botan C., Belta C., Weight Selection in the LQ Problem with Finite Final Time, 10th IFAC Workshop on Control Applications on Optimization, Haifa, 1995

Botan C., Belta C., On the Optimal Controller for Singular Systems, 11th International Conf. on Control Systems and Computer Science, Bucharest, 1997, Vol. 1, pp. 36-41