PUBLICATIONS

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

Books

Calin Belta, Boyan Yordanov, and Ebru Aydin Gol, Formal Methods for Discrete-Time Dynamical Systems, Springer, 2017 (link)

@book{book,
author = {Belta, Calin and Yordanov, Boyan and Gol, Ebru},
doi = {10.1007/978-3-319-50763-7},
isbn = {978-3-319-50762-0},
month = {01},
title = {Formal Methods for Discrete-Time Dynamical Systems},
volume = {89},
year = {2017},
bdsk-url-1 = {https://doi.org/10.1007/978-3-319-50763-7}}

Wei Xiao, Christos G. Cassandras, and Calin Belta, Safe Autonomy with Control Barrier Functions: Theory and Applications, Springer, 2023 (link)

@book{book,
author = {Xiao, Wei and Cassandras, C.G. and Belta, Calin},
year = {2023},
month = {01},
pages = {},
title = {Safe Autonomy with Control Barrier Functions: Theory and Applications},
isbn = {978-3-031-27575-3},
doi = {10.1007/978-3-031-27576-0}
}

Max H. Cohen, Calin Belta, Adaptive and Learning-based Control of Safety-Critical Systems, Springer, 2023 (link)

@book{cohen2023adaptive,
  title={Adaptive and Learning-Based Control of Safety-Critical Systems},
  author={Cohen, Max and Belta, Calin},
  year={2023},
  publisher={Springer Nature}
}
Books  |  Patents  |  2024  |  2023   |   2022   |   2021   |  2020   |   2019   |   2018   |   2017   |   2016   |   2015   |   2014   |   2013   |   2012   |   2011   |   2010   |   2009   |   2008   |   2007   |   before 2007