PUBLICATIONS

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

2016

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, Autonomous Robots, volume 40, issue 8, pp 1363–1378, 2016 (pdf)

@article{cite-key,
abstract = {In this work, we present a novel method for automating persistent surveillance missions involving multiple vehicles. Automata-based techniques are used to generate collision-free motion plans for a team of vehicles to satisfy a temporal logic specification. Vector fields are created for use with a differential flatness-based controller, allowing vehicle flight and deployment to be fully automated according to the motion plans. The use of charging platforms with the vehicles allows for truly persistent missions. Experiments were performed with two quadrotors for two different missions over 50 runs each to validate the theoretical results.},
author = {Leahy, Kevin and Zhou, Dingjiang and Vasile, Cristian-Ioan and Oikonomopoulos, Konstantinos and Schwager, Mac and Belta, Calin},
date = {2016/12/01},
date-added = {2023-12-31 10:53:11 -0500},
date-modified = {2023-12-31 10:53:11 -0500},
doi = {10.1007/s10514-015-9519-z},
id = {Leahy2016},
isbn = {1573-7527},
journal = {Autonomous Robots},
number = {8},
pages = {1363–1378},
title = {Persistent surveillance for unmanned aerial vehicles subject to charging and temporal logic constraints},
url = {https://doi.org/10.1007/s10514-015-9519-z},
volume = {40},
year = {2016},
bdsk-url-1 = {https://doi.org/10.1007/s10514-015-9519-z}}

Z. Xu, M. Birtwistle, C. Belta and A. Julius, “A Temporal Logic Inference Approach for Model Discrimination,” in IEEE Life Sciences Letters, vol. 2, no. 3, pp. 19-22, Sept. 2016, doi: 10.1109/LLS.2016.2644646 (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}}

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

@INPROCEEDINGS{7799279,
author={Aksaray, Derya and Jones, Austin and Kong, Zhaodan and Schwager, Mac and Belta, Calin},
booktitle={2016 IEEE 55th Conference on Decision and Control (CDC)},
title={Q-Learning for robust satisfaction of signal temporal logic specifications},
year={2016},
volume={},
number={},
pages={6565-6570},
doi={10.1109/CDC.2016.7799279}}

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

@INPROCEEDINGS{7799150,
author={Sadraddini, Sadra and Belta, Calin},
booktitle={2016 IEEE 55th Conference on Decision and Control (CDC)},
title={Feasibility envelopes for metric temporal logic specifications},
year={2016},
volume={},
number={},
pages={5732-5737},
doi={10.1109/CDC.2016.7799150}}

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

@INPROCEEDINGS{7799415,
author={Vasile, Cristian-Ioan and Leahy, Kevin and Cristofalo, Eric and Jones, Austin and Schwager, Mac and Belta, Calin},
booktitle={2016 IEEE 55th Conference on Decision and Control (CDC)},
title={Control in belief space with Temporal Logic specifications},
year={2016},
volume={},
number={},
pages={7419-7424},
doi={10.1109/CDC.2016.7799415}}

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

@INPROCEEDINGS{7798907,
author={Briers, Demarcus and Haghighi, Iman and White, Douglas and Kemp, Melissa L. and Belta, Calin},
booktitle={2016 IEEE 55th Conference on Decision and Control (CDC)},
title={Pattern synthesis in a 3D agent-based model of stem cell differentiation},
year={2016},
volume={},
number={},
pages={4202-4207},
doi={10.1109/CDC.2016.7798907}}

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

@INPROCEEDINGS{7799014,
author={Sadraddini, Sadra and Belta, Calin},
booktitle={2016 IEEE 55th Conference on Decision and Control (CDC)},
title={Safety control of monotone systems with bounded uncertainties},
year={2016},
volume={},
number={},
pages={4874-4879},
doi={10.1109/CDC.2016.7799014}}

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

@INPROCEEDINGS{7799146,
author={Haghighi, Iman and Sadraddini, Sadra and Belta, Calin},
booktitle={2016 IEEE 55th Conference on Decision and Control (CDC)},
title={Robotic swarm control from spatio-temporal specifications},
year={2016},
volume={},
number={},
pages={5708-5713},
doi={10.1109/CDC.2016.7799146}}

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

@conference{MaVaVaIvWaBeDe-IWBDA-2016,
    author    = {Madsen, Curtis and Vaidyanathan, Prashant and Vasile, Cristian Ioan and Ivison, Rachael and Wang, Junmin and Belta, Calin and Densmore, Douglas},
    title     = {{Utilizing Signal Temporal Logic to Characterize and Compose Modules in Synthetic Biology}},
    booktitle = {International Workshop on Biodesign Automation (IWBDA)},
    pages     = {71--73},
    month     = {August},
    address   = {Newcastle University, Newcastle upon Tyne, UK},
    year      = {2016},
    note      = {\href{http://www.iwbdaconf.org/2016/docs/IWBDA_2016_Proceedings.pdf}{link}}
}

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

@inproceedings{10.1007/978-3-319-50115-4_46,
abstract = {In this work, we present a novel vision-based solution for operating a vehicle under Gaussian Distribution Temporal Logic (GDTL) constraints without global positioning infrastructure. We first present the mapping component that builds a high-resolution map of the environment by flying a team of two aerial vehicles in formation with sensor information provided by their onboard cameras. The control policy for the ground robot is synthesized under temporal and uncertainty constraints given the semantically labeled map. Finally, the ground robot executes the control policy given pose estimates from a dedicated aerial robot that tracks and localizes the ground robot. The proposed method is validated using a two-wheeled ground robot and a quadrotor with a camera for ten successful experimental trials.},
address = {Cham},
author = {Cristofalo, Eric and Leahy, Kevin and Vasile, Cristian-Ioan and Montijano, Eduardo and Schwager, Mac and Belta, Calin},
booktitle = {2016 International Symposium on Experimental Robotics},
editor = {Kuli{\'{c}}, Dana and Nakamura, Yoshihiko and Khatib, Oussama and Venture, Gentiane},
isbn = {978-3-319-50115-4},
pages = {525–537},
publisher = {Springer International Publishing},
title = {Localization of a Ground Robot by Aerial Robots for GPS-Deprived Control with Temporal Logic Constraints},
year = {2017}}

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

content coming soon…

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

@INPROCEEDINGS{7810684,
author={Nenchev, Vladislav and Belta, Calin},
booktitle={2016 European Control Conference (ECC)},
title={Receding horizon robot control in partially unknown environments with temporal logic constraints},
year={2016},
volume={},
number={},
pages={2614-2619},
doi={10.1109/ECC.2016.7810684}}

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)

@ARTICLE{7100902,
author={Coogan, Samuel and Gol, Ebru Aydin and Arcak, Murat and Belta, Calin},
journal={IEEE Transactions on Control of Network Systems},
title={Traffic Network Control From Temporal Logic Specifications},
year={2016},
volume={3},
number={2},
pages={162-172},
doi={10.1109/TCNS.2015.2428471}}

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

@INPROCEEDINGS{7526117,
author={Leahy, Kevin J. and Kannappan, Prasanna and Jardine, Adam and Tanner, Herbert and Heinz, Jeffrey and Belta, Calin},
booktitle={2016 American Control Conference (ACC)},
title={Integration of deterministic inference with formal synthesis for control under uncertainty},
year={2016},
volume={},
number={},
pages={4829-4834},
doi={10.1109/ACC.2016.7526117}}

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

@INPROCEEDINGS{7525158,
author={Sadraddini, Sadra and Belta, Calin},
booktitle={2016 American Control Conference (ACC)},
title={A provably correct MPC approach to safety control of urban traffic networks},
year={2016},
volume={},
number={},
pages={1679-1684},
doi={10.1109/ACC.2016.7525158}}

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

@INPROCEEDINGS{7525022,
author={Coogan, Samuel and Arcak, Murat and Belta, Calin},
booktitle={2016 American Control Conference (ACC)},
title={Finite state abstraction and formal methods for traffic flow networks},
year={2016},
volume={},
number={},
pages={864-879},
doi={10.1109/ACC.2016.7525022}}

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

@INPROCEEDINGS{7487481,
author={Aksaray, Derya and Vasile, Cristian-Ioan and Belta, Calin},
booktitle={2016 IEEE International Conference on Robotics and Automation (ICRA)},
title={Dynamic routing of energy-aware vehicles with Temporal Logic Constraints},
year={2016},
volume={},
number={},
pages={3141-3146},
doi={10.1109/ICRA.2016.7487481}}

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

@inproceedings{10.1145/2883817.2883843,
abstract = {This paper introduces a framework for inference of timed temporal logic properties from data. The dataset is given as a finite set of pairs of finite-time system traces and labels, where the labels indicate whether the traces exhibit some desired behavior (e.g., a ship traveling along a safe route). We propose a decision-tree based approach for learning signal temporal logic classifiers. The method produces binary decision trees that represent the inferred formulae. Each node of the tree contains a test associated with the satisfaction of a simple formula, optimally tuned from a predefined finite set of primitives. Optimality is assessed using heuristic impurity measures, which capture how well the current primitive splits the data with respect to the traces’ labels. We propose extensions of the usual impurity measures from machine learning literature to handle classification of system traces by leveraging upon the robustness degree concept. The proposed incremental construction procedure greatly improves the execution time and the accuracy compared to existing algorithms. We present two case studies that illustrate the usefulness and the computational advantages of the algorithms. The first is an anomaly detection problem in a maritime environment. The second is a fault detection problem in an automotive powertrain system.},
address = {New York, NY, USA},
author = {Bombara, Giuseppe and Vasile, Cristian-Ioan and Penedo, Francisco and Yasuoka, Hirotoshi and Belta, Calin},
booktitle = {Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control},
doi = {10.1145/2883817.2883843},
isbn = {9781450339551},
keywords = {decision trees, impurity measure, machine learning, anomaly detection, supervised learning, logic inference, signal temporal logic},
location = {Vienna, Austria},
numpages = {10},
pages = {1–10},
publisher = {Association for Computing Machinery},
series = {HSCC ’16},
title = {A Decision Tree Approach to Data Classification Using Signal Temporal Logic},
url = {https://doi.org/10.1145/2883817.2883843},
year = {2016},
bdsk-url-1 = {https://doi.org/10.1145/2883817.2883843}}

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

@INPROCEEDINGS{7479106,
author={Tumova, Jana and Karaman, Sertac and Belta, Calin and Rus, Daniela},
booktitle={2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS)},
title={Least-Violating Planning in Road Networks from Temporal Logic Specifications},
year={2016},
volume={},
number={},
pages={1-9},
doi={10.1109/ICCPS.2016.7479106}}
Books  |  Patents  |  2024  |  2023   |   2022   |   2021   |  2020   |   2019   |   2018   |   2017   |   2016   |   2015   |   2014   |   2013   |   2012   |   2011   |   2010   |   2009   |   2008   |   2007   |   before 2007