PUBLICATIONS

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

2018

Erkan Kayacan, Wouter Saeys, Herman Ramon, Calin Belta, and Joshua Peschel, Experimental Validation of Linear and Nonlinear MPC on an Articulated Unmanned Ground Vehicle, IEEE/ASME Transactions on Mechatronics, vol. 23, issue 5, pp. 2023- 2030, 2018 (pdf)

@ARTICLE{8409989,
author={Kayacan, Erkan and Saeys, Wouter and Ramon, Herman and Belta, Calin and Peschel, Joshua M.},
journal={IEEE/ASME Transactions on Mechatronics},
title={Experimental Validation of Linear and Nonlinear MPC on an Articulated Unmanned Ground Vehicle},
year={2018},
volume={23},
number={5},
pages={2023-2030},
doi={10.1109/TMECH.2018.2854877}}

Cristian Ioan Vasile, Mac Schwager, Calin Belta, Translational and Rotational Invariance in Networked Dynamical Systems, IEEE Transactions on Control of Network Systems, vol. 5 , issue 3, pp. 822 – 832, 2018 (pdf)

@ARTICLE{7805256,
author={Vasile, Cristian-Ioan and Schwager, Mac and Belta, Calin},
journal={IEEE Transactions on Control of Network Systems},
title={Translational and Rotational Invariance in Networked Dynamical Systems},
year={2018},
volume={5},
number={3},
pages={822-832},
doi={10.1109/TCNS.2017.2648499}}

Ezio Bartocci, Ebru Aydin Gol, Iman Haghighi, and Calin Belta, A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks, IEEE Transactions on Control of Network Systems, Vol. 5, No. 1, pp. 308-320, March 2018 (pdf)

@ARTICLE{7565496,
author={Bartocci, Ezio and Aydin Gol, Ebru and Haghighi, Iman and Belta, Calin},
journal={IEEE Transactions on Control of Network Systems},
title={A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks},
year={2018},
volume={5},
number={1},
pages={308-320},
doi={10.1109/TCNS.2016.2609138}}

Junmin Wang, Samuel Isaacson, Calin Belta, Predictions of Genetic Circuit Behavior Based on Modular Composition in Transiently Transfected Mammalian Cells, 2018 IEEE Life Sciences Conference, Montreal, Canada, 2018 (pdf)

@INPROCEEDINGS{8572174,
author={Wang, Junmin and Isaacson, Samuel A. and Belta, Calin},
booktitle={2018 IEEE Life Sciences Conference (LSC)},
title={Predictions of Genetic Circuit Behaviors Based on Modular Composition in Transiently Transfected Mammalian Cells},
year={2018},
volume={},
number={},
pages={85-88},
doi={10.1109/LSC.2018.8572174}}

Noushin Mehdipour, Demarcus Briers, Iman Haghighi, Chad Glen, Melissa Kemp, Calin Belta, Spatial-Temporal Pattern Synthesis in a Network of Locally Interacting Cells, 2018 IEEE Conference on Decision and Control (CDC), Fontainebleau, Miami Beach, FL, USA, 2018 (pdf)

@INPROCEEDINGS{8618702,
author={Mehdipour, Noushin and Briers, Demarcus and Haghighi, Iman and Glen, Chad M. and Kemp, Melissa L. and Belta, Calin},
booktitle={2018 IEEE Conference on Decision and Control (CDC)},
title={Spatial-Temporal pattern Synthesis in a Network of Locally Interacting Cells},
year={2018},
volume={},
number={},
pages={3516-3521},
doi={10.1109/CDC.2018.8618702}}

Curtis Madsen, Prashant Vaidyanathan, Sadra Sadraddini, Cristian Ioan Vasile, Nicholas DeLateur, Ron Weiss, Douglas Densmore, Calin Belta, Metrics for Signal Temporal Logic Formulae, 2018 IEEE Conference on Decision and Control (CDC), Fontainebleau, Miami Beach, FL, USA, 2018 (pdf)

@INPROCEEDINGS{8619541,
author={Madsen, Curtis and Vaidyanathan, Prashant and Sadraddini, Sadra and Vasile, Cristian-Ioan and DeLateur, Nicholas A. and Weiss, Ron and Densmore, Douglas and Belta, Calin},
booktitle={2018 IEEE Conference on Decision and Control (CDC)},
title={Metrics for Signal Temporal Logic Formulae},
year={2018},
volume={},
number={},
pages={1542-1547},
doi={10.1109/CDC.2018.8619541}}

Francisco Penedo Alvarez, Harold Park, Calin Belta, Control Synthesis for Partial Differential Equations from Spatio-Temporal Specifications, 2018 IEEE Conference on Decision and Control (CDC), Fontainebleau, Miami Beach, FL, USA, 2018 (pdf)

@INPROCEEDINGS{8619313,
author={Penedo, Francisco and Park, Harold and Belta, Calin},
booktitle={2018 IEEE Conference on Decision and Control (CDC)},
title={Control Synthesis for Partial Differential Equations from Spatio-Temporal Specifications},
year={2018},
volume={},
number={},
pages={4890-4895},
doi={10.1109/CDC.2018.8619313}}

Zachary Serlin, Kevin Leahy, Roberto Tron, Calin Belta, Distributed Sensing Subject to Temporal Logic Constraints, 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Madrid, Spain, 2018 (pdf)

@INPROCEEDINGS{8593574,
author={Serlin, Zachary and Leahy, Kevin and Tron, Roberto and Belta, Calin},
booktitle={2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)},
title={Distributed Sensing Subject to Temporal Logic Constraints},
year={2018},
volume={},
number={},
pages={4862-4868},
doi={10.1109/IROS.2018.8593574}}

Zachary Serlin, Brandon Sookraj, Calin Belta and Roberto Tron, Consistent Multi-Robot Object Matching via QuickMatch, 2018 International Symposium on Experimental Robotics (ISER), Buenos Aires, Argentina, 2018 (pdf)

@inproceedings{10.1007/978-3-030-33950-0_64,
abstract = {In this work, we present a novel solution and experimental verification for the multi-image object matching problem. We first review the QuickMatch algorithm for multi-image feature matching and then show how it applies to an object matching test. The presented experiment looks to match features across a large number of images and features more often and accurately than standard techniques. This experiment demonstrates the advantages of rapid multi-image matching, not only for improving system performance, but also for use in new applications, such as object discovery and localization.},
address = {Cham},
author = {Serlin, Zachary and Sookraj, Brandon and Belta, Calin and Tron, Roberto},
booktitle = {Proceedings of the 2018 International Symposium on Experimental Robotics},
editor = {Xiao, Jing and Kr{\”o}ger, Torsten and Khatib, Oussama},
isbn = {978-3-030-33950-0},
pages = {751–761},
publisher = {Springer International Publishing},
title = {Consistent Multi-robot Object Matching via QuickMatch},
year = {2020}}

Giuseppe Bombara, Calin Belta, Online Learning of Temporal Logic Formulae for Signal Classification,European Control Conference (ECC), Limassol, Cyprus, 2018 (pdf)

@INPROCEEDINGS{8550271,
author={Bombara, Giuseppe and Belta, Calin},
booktitle={2018 European Control Conference (ECC)},
title={Online Learning of Temporal Logic Formulae for Signal Classification},
year={2018},
volume={},
number={},
pages={2057-2062},
doi={10.23919/ECC.2018.8550271}}

Xiao Li, Yao Ma, Calin Belta, A Policy Search Method For Temporal Logic Specified Reinforcement Learning Tasks, 2018 American Control Conference (ACC), Wisconsin, Milwaukee, USA, 2018 (pdf)

@INPROCEEDINGS{8431181,
author={Li, Xiao and Ma, Yao and Belta, Calin},
booktitle={2018 Annual American Control Conference (ACC)},
title={A Policy Search Method For Temporal Logic Specified Reinforcement Learning Tasks},
year={2018},
volume={},
number={},
pages={240-245},
doi={10.23919/ACC.2018.8431181}}

Sadra Sadraddini, Calin Belta, Distributed Robust Set-Invariance for Interconnected Linear Systems, 2018 American Control Conference (ACC), Wisconsin, Milwaukee, USA, 2018 (pdf)

@INPROCEEDINGS{8431890,
author={Sadraddini, Sadra and Belta, Calin},
booktitle={2018 Annual American Control Conference (ACC)},
title={Distributed Robust Set-Invariance for Interconnected Linear Systems},
year={2018},
volume={},
number={},
pages={1274-1279},
doi={10.23919/ACC.2018.8431890}}

Sadra Sadraddini and Calin Belta, Formal Guarantees in Data-Driven Model Identification and Control Synthesis, Hybrid Systems: Computation and Control (HSCC), Porto, Portugal, 2018 (pdf)

@inproceedings{sadraddini2018formal,
  title={Formal guarantees in data-driven model identification and control synthesis},
  author={Sadraddini, Sadra and Belta, Calin},
  booktitle={Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)},
  pages={147--156},
  year={2018}
}
Books  |  Patents  |  2024  |  2023   |   2022   |   2021   |  2020   |   2019   |   2018   |   2017   |   2016   |   2015   |   2014   |   2013   |   2012   |   2011   |   2010   |   2009   |   2008   |   2007   |   before 2007