PUBLICATIONS

Books  |  Patents  |  2024  |  2023   |   2022   |   2021   |  2020   |   2019   |   2018   |   2017   |   2016   |   2015   |   2014   |   2013   |   2012   |   2011   |   2010   |   2009   |   2008   |   2007   |   before 2007

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)

@INPROCEEDINGS{6760491,
author={Svoreňová, Mária and Černá, Ivana and Belta, Calin},
booktitle={52nd IEEE Conference on Decision and Control},
title={Optimal control of MDPs with temporal logic constraints},
year={2013},
volume={},
number={},
pages={3938-3943},
doi={10.1109/CDC.2013.6760491}}

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)

@INPROCEEDINGS{6759971,
author={Richard, Guilhem and Julius, A. Agung and Belta, Calin},
booktitle={52nd IEEE Conference on Decision and Control},
title={Optimizing regulation functions in gene network identification},
year={2013},
volume={},
number={},
pages={745-750},
doi={10.1109/CDC.2013.6759971}}

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)

@INPROCEEDINGS{6760513,
author={Aydin Gol, Ebru and Densmore, Douglas and Belta, Calin},
booktitle={52nd IEEE Conference on Decision and Control},
title={Data-driven verification of synthetic gene networks},
year={2013},
volume={},
number={},
pages={4074-4079},
doi={10.1109/CDC.2013.6760513}}

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)

@INPROCEEDINGS{6760628,
author={Jones, Austin and Schwager, Mac and Belta, Calin},
booktitle={52nd IEEE Conference on Decision and Control},
title={Distribution temporal logic: Combining correctness with quality of estimation},
year={2013},
volume={},
number={},
pages={4719-4724},
doi={10.1109/CDC.2013.6760628}}

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)

@article{10.1371/journal.pone.0070320,
abstract = {Obesity is a chronic inflammatory disease that weakens macrophage innate immune response to infections. Since M1 polarization is crucial during acute infectious diseases, we hypothesized that diet-induced obesity inhibits M1 polarization of macrophages in the response to bacterial infections. Bone marrow macrophages (BMMΦ) from lean and obese mice were exposed to live Porphyromonas gingivalis (P. gingivalis) for three incubation times (1 h, 4 h and 24 h). Flow cytometry analysis revealed that the M1 polarization was inhibited after P. gingivalis exposure in BMMΦ from obese mice when compared with BMMΦ from lean counterparts. Using a computational approach in conjunction with microarray data, we identified switching genes that may differentially control the behavior of response pathways in macrophages from lean and obese mice. The two most prominent switching genes were thrombospondin 1 and arginase 1. Protein expression levels of both genes were higher in obese BMMΦ than in lean BMMΦ after exposure to P. gingivalis. Inhibition of either thrombospondin 1 or arginase 1 by specific inhibitors recovered the M1 polarization of BMMΦ from obese mice after P. gingivalis exposure. These data indicate that thrombospondin 1 and arginase 1 are important bacterial response genes, whose regulation is altered in macrophages from obese mice.},
author = {Richard, Guilhem AND Trivedi, Niraj AND Belta, Calin AND Amar, Salomon},
doi = {10.1371/journal.pone.0070320},
journal = {PLOS ONE},
month = {07},
number = {7},
pages = {1-9},
publisher = {Public Library of Science},
title = {Partial Restoration of Macrophage Alteration from Diet-Induced Obesity in Response to Porphyromonas gingivalis Infection},
url = {https://doi.org/10.1371/journal.pone.0070320},
volume = {8},
year = {2013},
bdsk-url-1 = {https://doi.org/10.1371/journal.pone.0070320}}

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)

@article{doi:10.1177/0278364913487931,
abstract = { In this paper we present a method for automatic planning of optimal paths for a group of robots that satisfy a common high-level mission specification. The motion of each robot is modeled as a weighted transition system, and the mission is given as a linear temporal logic (LTL) formula over a set of propositions satisfied at the regions of the environment. In addition, an optimizing proposition must repeatedly be satisfied. The goal is to minimize a cost function that captures the maximum time between successive satisfactions of the optimizing proposition while guaranteeing that the formula is satisfied. When the robots can follow a given trajectory exactly, our method computes a set of optimal satisfying paths that minimize the cost function and satisfy the LTL formula. However, if the traveling times of the robots are uncertain, then the robots may not be able to follow a given trajectory exactly, possibly violating the LTL formula during deployment. We handle such cases by leveraging the communication capabilities of the robots to guarantee correctness during deployment and provide bounds on the deviation from the optimal values. We implement and experimentally evaluate our method for various persistent surveillance tasks in a road network environment. },
author = {Alphan Ulusoy and Stephen L. Smith and Xu Chu Ding and Calin Belta and Daniela Rus},
doi = {10.1177/0278364913487931},
eprint = {https://doi.org/10.1177/0278364913487931},
journal = {The International Journal of Robotics Research},
number = {8},
pages = {889-911},
title = {Optimality and Robustness in Multi-Robot Path Planning with Temporal Logic Constraints},
url = {https://doi.org/10.1177/0278364913487931},
volume = {32},
year = {2013},
bdsk-url-1 = {https://doi.org/10.1177/0278364913487931}}

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

@INPROCEEDINGS{6697120,
author={Ayala, A. I. Medina and Andersson, S. B. and Belta, C.},
booktitle={2013 IEEE/RSJ International Conference on Intelligent Robots and Systems},
title={Temporal logic motion planning in unknown environments},
year={2013},
volume={},
number={},
pages={5279-5284},
doi={10.1109/IROS.2013.6697120}}

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

@INPROCEEDINGS{6696976,
author={Cizelj, Igor and Belta, Calin},
booktitle={2013 IEEE/RSJ International Conference on Intelligent Robots and Systems},
title={Negotiating the probabilistic satisfaction of temporal logic motion specifications},
year={2013},
volume={},
number={},
pages={4320-4325},
doi={10.1109/IROS.2013.6696976}}

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

@INPROCEEDINGS{6697051,
author={Vasile, Cristian Ioan and Belta, Calin},
booktitle={2013 IEEE/RSJ International Conference on Intelligent Robots and Systems},
title={Sampling-based temporal logic path planning},
year={2013},
volume={},
number={},
pages={4817-4822},
doi={10.1109/IROS.2013.6697051}}

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

@inproceedings{ulusoy2013receding,
  title={Receding Horizon Control in Dynamic Environments from Temporal Logic Specifications.},
  author={Ulusoy, Alphan and Marrazzo, Michael and Belta, Calin},
  booktitle={Robotics: Science and Systems},
  year={2013}
}

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)

@INPROCEEDINGS{6630596,
author={Ulusoy, Alphan and Marrazzo, Michael and Oikonomopoulos, Konstantinos and Hunter, Ryan and Belta, Calin},
booktitle={2013 IEEE International Conference on Robotics and Automation},
title={Temporal logic control for an autonomous quadrotor in a nondeterministic environment},
year={2013},
volume={},
number={},
pages={331-336},
doi={10.1109/ICRA.2013.6630596}}

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)

@INPROCEEDINGS{6631294,
author={Jones, Austin and Schwager, Mac and Belta, Calin},
booktitle={2013 IEEE International Conference on Robotics and Automation},
title={A receding horizon algorithm for informative path planning with temporal logic constraints},
year={2013},
volume={},
number={},
pages={5019-5024},
doi={10.1109/ICRA.2013.6631294}}

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)

@INPROCEEDINGS{6630847,
author={Cizelj, Igor and Belta, Calin},
booktitle={2013 IEEE International Conference on Robotics and Automation},
title={Control of noisy differential-drive vehicles from time-bounded temporal logic specifications},
year={2013},
volume={},
number={},
pages={2021-2026},
doi={10.1109/ICRA.2013.6630847}}

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)

@INPROCEEDINGS{6631293,
author={Wongpiromsarn, Tichakorn and Ulusoy, Alphan and Belta, Calin and Frazzoli, Emilio and Rus, Daniela},
booktitle={2013 IEEE International Conference on Robotics and Automation},
title={Incremental synthesis of control policies for heterogeneous multi-agent systems with linear temporal logic specifications},
year={2013},
volume={},
number={},
pages={5011-5018},
doi={10.1109/ICRA.2013.6631293}}

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)

@article{YORDANOV2013261,
abstract = {We present a computational framework for identifying a set of initial states from which all trajectories of a piecewise affine (PWA) system with additive uncertainty satisfy a linear temporal logic (LTL) formula over a set of linear predicates in its state variables. Our approach is based on the construction and refinement of finite abstractions of infinite systems. We derive conditions guaranteeing the equivalence of an infinite system and its finite abstraction with respect to a specific LTL formula and propose a method for the construction of such formula-equivalent abstractions. While provably correct, the overall method is conservative and expensive. A tool for PWA systems implementing the proposed procedure using polyhedral operations and analysis of finite graphs is made available. Examples illustrating the analysis of PWA models of gene networks are included.},
author = {Boyan Yordanov and Jana T{\r u}mov{\’a} and Ivana {\v C}ern{\’a} and Ji{\v r}{\’\i} Barnat and Calin Belta},
doi = {https://doi.org/10.1016/j.automatica.2012.09.027},
issn = {0005-1098},
journal = {Automatica},
keywords = {Piecewise linear analysis, Temporal logic, Verification, Biotechnology},
number = {1},
pages = {261-266},
title = {Formal analysis of piecewise affine systems through formula-guided refinement},
url = {https://www.sciencedirect.com/science/article/pii/S0005109812004931},
volume = {49},
year = {2013},
bdsk-url-1 = {https://www.sciencedirect.com/science/article/pii/S0005109812004931},
bdsk-url-2 = {https://doi.org/10.1016/j.automatica.2012.09.027}}
Books  |  Patents  |  2024  |  2023   |   2022   |   2021   |  2020   |   2019   |   2018   |   2017   |   2016   |   2015   |   2014   |   2013   |   2012   |   2011   |   2010   |   2009   |   2008   |   2007   |   before 2007