PUBLICATIONS

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

2008

M. Kloetzer and C. Belta, A Fully Automated Framework for Control of Linear Systems From Temporal Logic Specifications, IEEE Transactions on Automatic Control, vol. 53, no.1, pp. 287-297, 2008 (pdf)

@ARTICLE{4459804,
author={Kloetzer, Marius and Belta, Calin},
journal={IEEE Transactions on Automatic Control},
title={A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications},
year={2008},
volume={53},
number={1},
pages={287-297},
doi={10.1109/TAC.2007.914952}}

M. Imielinski and C. Belta, Exploiting the pathway structure of metabolism to reveal high-order epistasis, BMC Systems Biology, 2:40, 2008 (pdf)

@article{cite-key,
abstract = {Biological robustness results from redundant pathways that achieve an essential objective, e.g. the production of biomass. As a consequence, the biological roles of many genes can only be revealed through multiple knockouts that identify a set of genes as essential for a given function. The identification of such “epistatic” essential relationships between network components is critical for the understanding and eventual manipulation of robust systems-level phenotypes.},
author = {Imielinski, Marcin and Belta, Calin},
date = {2008/04/30},
date-added = {2023-12-28 22:06:32 -0500},
date-modified = {2023-12-28 22:06:32 -0500},
doi = {10.1186/1752-0509-2-40},
id = {Imielinski2008},
isbn = {1752-0509},
journal = {BMC Systems Biology},
number = {1},
pages = {40},
title = {Exploiting the pathway structure of metabolism to reveal high-order epistasis},
url = {https://doi.org/10.1186/1752-0509-2-40},
volume = {2},
year = {2008},
bdsk-url-1 = {https://doi.org/10.1186/1752-0509-2-40}}

G. Batt, C. Belta, and R. Weiss, Temporal Logic Analysis of Gene Networks under Parameter Uncertainty, IEEE Transactions of Automatic Control, vol. 53, pp. 215 – 229, 2008 (pdf)

@ARTICLE{4439801,
author={Batt, GrÉgory and Belta, Calin and Weiss, Ron},
journal={IEEE Transactions on Automatic Control},
title={Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty},
year={2008},
volume={53},
number={Special Issue},
pages={215-229},
doi={10.1109/TAC.2007.911330}}

C. Belta, Abstractions for Planning and Control of Robotic Swarms, Bio-inspired Computing and Communication Networks, Auerbach Publications, CRC Press, eds. Yang Xiao and Fei Hu, 2008 (pdf)

@article{belta2011abstractions,
  title={Abstractions for planning and control of robotic swarms},
  author={Belta, Calin},
  journal={Bio-Inspired Computing and Networking},
  year={2011},
  publisher={CRC Press}
}

B. Yordanov and C. Belta, Parameter synthesis for piecewise affine systems from temporal logic specifications, 11th International Conference on Hybrid Systems: Computation and Control, (HSCC), St. Louis, Lecture Notes in Computer Science, Springer , eds. M. Egerstedt and B. Mishra, vol. 4981, pp. 542-555 2008 (pdf)

@inproceedings{10.1007/978-3-540-78929-1_39,
abstract = {In this paper, we consider discrete-time continuous-space Piecewise Affine (PWA) systems with parameter uncertainties, and study temporal logic properties of their trajectories. Specifically, given a PWA system with polytopal parameter uncertainties, and a Linear Temporal Logic (LTL) formula over linear predicates in the states of the system, we attempt to find subsets of parameters guaranteeing the satisfaction of the formula by all trajectories of the system. We illustrate our method by applying it to a PWA model of a two-gene network.},
address = {Berlin, Heidelberg},
author = {Yordanov, Boyan and Belta, Calin},
booktitle = {Hybrid Systems: Computation and Control},
editor = {Egerstedt, Magnus and Mishra, Bud},
isbn = {978-3-540-78929-1},
pages = {542–555},
publisher = {Springer Berlin Heidelberg},
title = {Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications},
year = {2008}}

M. Kloetzer and C. Belta, Dealing with non-determinism in symbolic control, 11th International Conf. on Hybrid Systems: Computation and Control, (HSCC), St. Louis, Lecture Notes in Computer Science, Springer, eds. M. Egerstedt and B. Mishra, vol. 4981, pp. 287-300, 2008 (pdf)

@inproceedings{10.1007/978-3-540-78929-1_21,
abstract = {Abstractions (also called symbolic models) are simple descriptions of continuous and hybrid systems that can be used in analysis and control. They are usually constructed in the form of transition systems with finitely many states. Such abstractions offer a very attractive approach to deal with complexity, while at the same time allowing for rich specification languages. Recent results show that, through the abstraction process, the resulting transition systems can be nondeterministic (i.e., if an input is applied in a state, several next states are possible). However, the problem of controlling a nondeterministic transition system from a rich specification such as a temporal logic formula is not well understood. In this paper, we develop a control strategy for a nondeterministic transition system from a specification given as a Linear Temporal Logic formula with a deterministic B{\”u}chi generator. Our solution is inspired by LTL games on graphs, is complete, and scales polynomially with the size of the B{\”u}chi automaton. An example of controlling a linear system from a specification given as a temporal logic formula over the regions of its triangulated state space is included for illustration.},
address = {Berlin, Heidelberg},
author = {Kloetzer, Marius and Belta, Calin},
booktitle = {Hybrid Systems: Computation and Control},
editor = {Egerstedt, Magnus and Mishra, Bud},
isbn = {978-3-540-78929-1},
pages = {287–300},
publisher = {Springer Berlin Heidelberg},
title = {Dealing with Nondeterminism in Symbolic Control},
year = {2008}}

M. Kloetzer, C. Mahulea, C. Belta, L. Recalde, and M. Silva, Formal analysis of timed continuous Petri nets, CDC 2008, Cancun, Mexico, 2008 (pdf)

@INPROCEEDINGS{4739054,
author={Kloetzer, Marius and Mahulea, Cristian and Belta, Calin and Recalde, Laura and Silva, Manuel},
booktitle={2008 47th IEEE Conference on Decision and Control},
title={Formal analysis of timed continuous Petri nets},
year={2008},
volume={},
number={},
pages={245-250},
doi={10.1109/CDC.2008.4739054}}

M. Imielinski, N. Klitgord, and C. Belta, Investigating the genomic basis of metabolic robustness through in silico flux analysis, CDC 2008, Cancun, Mexico, 2008 (pdf)

@INPROCEEDINGS{4739459,
author={Imielinski, Marcin and Klitgord, Niels and Belta, Calin and Klitgord, N. and Belta, C.},
booktitle={2008 47th IEEE Conference on Decision and Control},
title={Investigating the genomic basis of metabolic robustness through in silico flux analysis},
year={2008},
volume={},
number={},
pages={793-798},
doi={10.1109/CDC.2008.4739459}}

B. Yordanov and C. Belta, Formal Analysis of Piecewise Affine Systems under Parameter Uncertainty with Application to Gene Networks, American Control Conference (ACC), Seattle, WA 2008 (pdf)

@INPROCEEDINGS{4586912,
author={Yordanov, Boyan and Belta, Calin},
booktitle={2008 American Control Conference},
title={Formal analysis of Piecewise Affine systems under parameter uncertainty with application to gene networks},
year={2008},
volume={},
number={},
pages={2767-2772},
doi={10.1109/ACC.2008.4586912}}

M. Kloetzer and C. Belta, Distributed implementations of global temporal logic motion specifications, IEEE Int. Conf. on Robotics and Automation (ICRA), Pasadena, CA, 2008 (pdf)

@INPROCEEDINGS{4543239,
author={Kloetzer, Marius and Belta, Calin},
booktitle={2008 IEEE International Conference on Robotics and Automation},
title={Distributed implementations of global temporal logic motion specifications},
year={2008},
volume={},
number={},
pages={393-398},
doi={10.1109/ROBOT.2008.4543239}}
Books  |  Patents  |  2024  |  2023   |   2022   |   2021   |  2020   |   2019   |   2018   |   2017   |   2016   |   2015   |   2014   |   2013   |   2012   |   2011   |   2010   |   2009   |   2008   |   2007   |   before 2007