PUBLICATIONS

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

2017

Zhe Xu, Marc Birtwistle, Calin Belta, Agung Julius, A Temporal Logic Inference Approach for Model Discrimination, IEEE Life Sciences Letters, vol. 2, no. 3, pp. 19-22, 2016 (pdf)

@ARTICLE{7797466,
author={Xu, Zhe and Birtwistle, Marc and Belta, Calin and Julius, Agung},
journal={IEEE Life Sciences Letters},
title={A Temporal Logic Inference Approach for Model Discrimination},
year={2016},
volume={2},
number={3},
pages={19-22},
doi={10.1109/LLS.2016.2644646}}

Samuel Coogan, Murat Arcak, Calin Belta, Formal Methods for Control of Traffic Flow: Automated control synthesis from finite state transition models, IEEE Control Systems Magazine, vol. 37, issue 2, pp. 109 – 128, 2017 (pdf)

@ARTICLE{7879917,
author={Coogan, Samuel and Arcak, Murat and Belta, Calin},
journal={IEEE Control Systems Magazine},
title={Formal Methods for Control of Traffic Flow: Automated Control Synthesis from Finite-State Transition Models},
year={2017},
volume={37},
number={2},
pages={109-128},
doi={10.1109/MCS.2016.2643259}}

Maria Svorenova, Jan Kretinsky, Martin Chmelik, Krishnendu Chatterjee, Ivana Cerna, Calin Belta, Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games, Nonlinear Analysis: Hybrid Systems, vol. 23, pp. 230–253, February 2017  (pdf)

@article{SVORENOVA2017230,
abstract = {We consider the problem of computing the set of initial states of a dynamical system such that there exists a control strategy to ensure that the trajectories satisfy a temporal logic specification with probability 1 (almost-surely). We focus on discrete-time, stochastic linear dynamics and specifications given as formulas of the Generalized Reactivity(1) fragment of Linear Temporal Logic over linear predicates in the states of the system. We propose a solution based on iterative abstraction-refinement, and turn-based 2-player probabilistic games. While the theoretical guarantee of our algorithm after any finite number of iterations is only a partial solution, we show that if our algorithm terminates, then the result is the set of all satisfying initial states. Moreover, for any (partial) solution our algorithm synthesizes witness control strategies to ensure almost-sure satisfaction of the temporal logic specification. While the proposed algorithm guarantees progress and soundness in every iteration, it is computationally demanding. We offer an alternative, more efficient solution for the reachability properties that decomposes the problem into a series of smaller problems of the same type. All algorithms are demonstrated on an illustrative case study.},
author = {M{\’a}ria Svore{\v n}ov{\’a} and Jan K{\v r}et{\’\i}nsk{\’y} and Martin Chmel{\’\i}k and Krishnendu Chatterjee and Ivana {\v C}ern{\’a} and Calin Belta},
doi = {https://doi.org/10.1016/j.nahs.2016.04.006},
issn = {1751-570X},
journal = {Nonlinear Analysis: Hybrid Systems},
keywords = {Control, Linear stochastic system, Temporal logic, Abstraction refinement, Games},
pages = {230-253},
title = {Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games},
url = {https://www.sciencedirect.com/science/article/pii/S1751570X16300218},
volume = {23},
year = {2017},
bdsk-url-1 = {https://www.sciencedirect.com/science/article/pii/S1751570X16300218},
bdsk-url-2 = {https://doi.org/10.1016/j.nahs.2016.04.006}}

Kong, Zhaodan, Jones, Austin, Belta, Calin, Temporal Logics for Learning and Detection of Anomalous Behavior, IEEE Transactions on Automatic Control, vol. 62, no. 3, pp. 1210 – 1222, 2017 (pdf)

@ARTICLE{7500142,
author={Kong, Zhaodan and Jones, Austin and Belta, Calin},
journal={IEEE Transactions on Automatic Control},
title={Temporal Logics for Learning and Detection of Anomalous Behavior},
year={2017},
volume={62},
number={3},
pages={1210-1222},
doi={10.1109/TAC.2016.2585083}}

Sadra Sadraddini, Sivaranjani S, Vijay Gupta, Calin Belta, Provably Safe Cruise Control of Vehicular Platoons, IEEE Control Systems Letters, vol. 1, no. 2, pp. 262-267,2017 (pdf)

@ARTICLE{7944649,
author={Sadraddini, Sadra and Sivaranjani, S. and Gupta, Vijay and Belta, Calin},
journal={IEEE Control Systems Letters},
title={Provably Safe Cruise Control of Vehicular Platoons},
year={2017},
volume={1},
number={2},
pages={262-267},
doi={10.1109/LCSYS.2017.2713772}}

Kun Deng, Yushan Chen, Calin Belta, An Approximate Dynamic Programming Approach to Multi-Agent Persistent Monitoring in Stochastic Environments with Temporal Logic Constraints, IEEE Transactions on Automatic Control, vol. 62, no. 9, pp. 4549-4563, 2017 (pdf)

@ARTICLE{7872450,
author={Deng, Kun and Chen, Yushan and Belta, Calin},
journal={IEEE Transactions on Automatic Control},
title={An Approximate Dynamic Programming Approach to Multiagent Persistent Monitoring in Stochastic Environments With Temporal Logic Constraints},
year={2017},
volume={62},
number={9},
pages={4549-4563},
doi={10.1109/TAC.2017.2678920}}

Xiao Li, Cristian Vasile, Calin Belta, Reinforcement Learning with Temporal Logic Rewards, IEEE/RSJ International Conference on Intelligent Robots and Systems, Vancouver, BC, Canada, 2017 (pdf)

@INPROCEEDINGS{8206234,
author={Li, Xiao and Vasile, Cristian-Ioan and Belta, Calin},
booktitle={2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)},
title={Reinforcement learning with temporal logic rewards},
year={2017},
volume={},
number={},
pages={3834-3839},
doi={10.1109/IROS.2017.8206234}}

Cristian-Ioan Vasile, Derya Aksaray, Calin Belta, Time Window Temporal Logic, Theoretical Computer Science, Volume 691, August 2017, Pages 27-54, DOI: 10.1016/j.tcs.2017.07.012, 2017 (pdf)

@article{VASILE201727,
author = {Cristian-Ioan Vasile and Derya Aksaray and Calin Belta},
doi = {https://doi.org/10.1016/j.tcs.2017.07.012},
issn = {0304-3975},
journal = {Theoretical Computer Science},
keywords = {Timed temporal logic, Temporal relaxation, Controller synthesis, Verification, Finite state automata, Unambiguous languages},
pages = {27-54},
title = {Time window temporal logic},
url = {https://www.sciencedirect.com/science/article/pii/S0304397517305509},
volume = {691},
year = {2017},
bdsk-url-1 = {https://www.sciencedirect.com/science/article/pii/S0304397517305509},
bdsk-url-2 = {https://doi.org/10.1016/j.tcs.2017.07.012}}

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

@inproceedings{10.1007/978-3-319-67531-2_8,
abstract = {This paper introduces a new method for clustering signals using their temporal logic properties. Specifically, we propose a hierarchical clustering algorithm for efficiently processing a set of input signals. The input data is unlabeled, that is, no further information about properties of the signals are available to the learning algorithm other than the signals themselves. The algorithm produces a hierarchical structure where the internal nodes test some temporal properties of the data, and each terminal node contains a cluster (i.e., a group of similar signals). Each cluster can be mapped to a Signal Temporal Logic (STL) formula that describes its signals. The obtained formulae can be used directly for monitoring purposes but also, more generally, to acquire knowledge about the system under analysis. We present two case studies to illustrate the characteristics of our proposed algorithm. The first case study is related to a maritime surveillance problem, and the second is a fault classification problem in an automatic transmission system.},
address = {Cham},
author = {Bombara, Giuseppe and Belta, Calin},
booktitle = {Runtime Verification},
editor = {Lahiri, Shuvendu and Reger, Giles},
isbn = {978-3-319-67531-2},
pages = {121–137},
publisher = {Springer International Publishing},
title = {Signal Clustering Using Temporal Logics},
year = {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 (pdf)

@INPROCEEDINGS{8264452,
author={Vaidyanathan, Prashant and Ivison, Rachael and Bombara, Giuseppe and DeLateur, Nicholas A. and Weiss, Ron and Densmore, Douglas and Belta, Calin},
booktitle={2017 IEEE 56th Annual Conference on Decision and Control (CDC)},
title={Grid-based temporal logic inference},
year={2017},
volume={},
number={},
pages={5354-5359},
doi={10.1109/CDC.2017.8264452}}

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 (pdf)

@INPROCEEDINGS{8264194,
author={Kim, Eric S. and Sadraddini, Sadra and Belta, Calin and Arcak, Murat and Seshia, Sanjit A.},
booktitle={2017 IEEE 56th Annual Conference on Decision and Control (CDC)},
title={Dynamic contracts for distributed temporal logic control of traffic networks},
year={2017},
volume={},
number={},
pages={3640-3645},
doi={10.1109/CDC.2017.8264194}}

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 (pdf)

@ARTICLE{7944649,
author={Sadraddini, Sadra and Sivaranjani, S. and Gupta, Vijay and Belta, Calin},
journal={IEEE Control Systems Letters},
title={Provably Safe Cruise Control of Vehicular Platoons},
year={2017},
volume={1},
number={2},
pages={262-267},
doi={10.1109/LCSYS.2017.2713772}}

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

@INPROCEEDINGS{8263906,
author={Sadraddini, Sadra and Belta, Calin},
booktitle={2017 IEEE 56th Annual Conference on Decision and Control (CDC)},
title={Formal methods for adaptive control of dynamical systems},
year={2017},
volume={},
number={},
pages={1782-1787},
doi={10.1109/CDC.2017.8263906}}

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

@inproceedings{Yoo2017RichTS, title={Rich Time Series Classification Using Temporal Logic}, author={C. Yoo and Calin A. Belta}, booktitle={Robotics: Science and Systems}, year={2017}, url={https://api.semanticscholar.org/CorpusID:11980347} }

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

@INPROCEEDINGS{7963223,
author={Leahy, Kevin J. and Aksaray, Derya and Belta, Calin},
booktitle={2017 American Control Conference (ACC)},
title={Informative path planning under temporal logic constraints with performance guarantees},
year={2017},
volume={},
number={},
pages={1859-1865},
doi={10.23919/ACC.2017.7963223}}

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 (pdf)

@INPROCEEDINGS{7963495,
author={Sivaranjani S and Sadraddini, Sadra and Gupta, Vijay and Belta, Calin},
booktitle={2017 American Control Conference (ACC)},
title={Distributed control policies for localization of large disturbances in urban traffic networks},
year={2017},
volume={},
number={},
pages={3542-3547},
doi={10.23919/ACC.2017.7963495}}

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

@INPROCEEDINGS{7963333,
author={Haghighi, Iman and Leahy, Kevin and Ivison, Rachael and Belta, Calin},
booktitle={2017 American Control Conference (ACC)},
title={Semi-supervised pattern synthesis in spatially distributed dynamical systems},
year={2017},
volume={},
number={},
pages={2530-2535},
doi={10.23919/ACC.2017.7963333}}

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 (pdf)

@INPROCEEDINGS{7989177,
author={Vasile, Cristian-Ioan and Tumova, Jana and Karaman, Sertac and Belta, Calin and Rus, Daniela},
booktitle={2017 IEEE International Conference on Robotics and Automation (ICRA)},
title={Minimum-violation scLTL motion planning for mobility-on-demand},
year={2017},
volume={},
number={},
pages={1481-1488},
doi={10.1109/ICRA.2017.7989177}}

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 (pdf)

@INPROCEEDINGS{7944988,
author={Sadraddini, Sadra and Rudan, Janos and Belta, Calin},
booktitle={2017 ACM/IEEE 8th International Conference on Cyber-Physical Systems (ICCPS)},
title={Formal Synthesis of Distributed Optimal Traffic Control Policies},
year={2017},
volume={},
number={},
pages={15-24},
doi={}}

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 (pdf)

@inbook{Penedo2020,
abstract = {In this paper, we focus on robot motion planning from timed temporal logic specifications. We propose a sampling-based algorithm and an associated language-guided biasing scheme. We leverage the notion of temporal relaxation of time-window temporal logic formulae (TWTL) to reformulate the temporal logic synthesis problem into an optimization problem. Our algorithm exhibits an exploration-exploitation structure, but retains probabilistic completeness. Moreover, if the problem does not have a solution due to time constraints, the algorithm returns a candidate path that satisfies a minimally relaxed version of the specification. The path may inform operators about timing problems with the specification or the system. We provide simulations to highlight the performance of the proposed algorithm.},
address = {Cham},
author = {Penedo, Francisco and Vasile, Cristian-Ioan and Belta, Calin},
booktitle = {Algorithmic Foundations of Robotics XII: Proceedings of the Twelfth Workshop on the Algorithmic Foundations of Robotics},
doi = {10.1007/978-3-030-43089-4_9},
editor = {Goldberg, Ken and Abbeel, Pieter and Bekris, Kostas and Miller, Lauren},
isbn = {978-3-030-43089-4},
pages = {128–143},
publisher = {Springer International Publishing},
title = {Language-Guided Sampling-based Planning using Temporal Relaxation},
url = {https://doi.org/10.1007/978-3-030-43089-4_9},
year = {2020},
bdsk-url-1 = {https://doi.org/10.1007/978-3-030-43089-4_9}}
Books  |  Patents  |  2024  |  2023   |   2022   |   2021   |  2020   |   2019   |   2018   |   2017   |   2016   |   2015   |   2014   |   2013   |   2012   |   2011   |   2010   |   2009   |   2008   |   2007   |   before 2007