PUBLICATIONS

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

2010

Y. Chen, X. C. Ding, A. Stefanescu, and C. Belta, A Formal Approach to Deployment of Robotic Teams in an Urban-Like Environment, 10th International Symposium on Distributed Autonomous Robotics Systems (DARS), Lausanne, Switzerland, 2010 (pdf)

@inbook{Chen2013,
abstract = {We present a computational framework for automatic synthesis of control and communication strategies for a robotic team from task specifications given as regular expressions about servicing requests in an environment. Our approach is based on two main ideas. First, we extend recent results from formal synthesis of distributed systems to check for the distributability of the task specification and to generate local specifications, while accounting for the service and communication capabilities of the robots. Second, by using a technique inspired from LTL model checking, we generate individual control and communication strategies. We illustrate the method with experimental results in our Robotic Urban-Like Environment.},
address = {Berlin, Heidelberg},
author = {Chen, Yushan and Ding, Xu Chu and Stefanescu, Alin and Belta, Calin},
booktitle = {Distributed Autonomous Robotic Systems: The 10th International Symposium},
doi = {10.1007/978-3-642-32723-0_23},
editor = {Martinoli, Alcherio and Mondada, Francesco and Correll, Nikolaus and Mermoud, Gr{\’e}gory and Egerstedt, Magnus and Hsieh, M. Ani and Parker, Lynne E. and St{\o}y, Kasper},
isbn = {978-3-642-32723-0},
pages = {313–327},
publisher = {Springer Berlin Heidelberg},
title = {A Formal Approach to Deployment of Robotic Teams in an Urban-Like Environment},
url = {https://doi.org/10.1007/978-3-642-32723-0_23},
year = {2013},
bdsk-url-1 = {https://doi.org/10.1007/978-3-642-32723-0_23}}

Jana Tumova, Boyan Yordanov, Calin Belta, Ivana Cerna, Jiri Barnat, A Symbolic Approach to Controlling Piecewise Affine Systems, IEEE Conference on Decision and Control (CDC), Atlanta, GA, 2010 (pdf)

@INPROCEEDINGS{5717316,
author={Tůmová, Jana and Yordanov, Boyan and Belta, Calin and Černá, Ivana and Barnat, Jiří},
booktitle={49th IEEE Conference on Decision and Control (CDC)},
title={A symbolic approach to controlling piecewise affine systems},
year={2010},
volume={},
number={},
pages={4230-4235},
doi={10.1109/CDC.2010.5717316}}

Boyan Yordanov, Jana Tumova, Calin Belta, Ivana Cerna, Jiri Barnat, Formal Analysis of Piecewise Affine Systems through Formula-Guided Refinement, IEEE Conference on Decision and Control (CDC), Atlanta, GA, 2010 (pdf)

@INPROCEEDINGS{5717909,
author={Yordanov, Boyan and Tůmová, Jana and Belta, Calin and Černá, Ivana and Barnat, Jiří},
booktitle={49th IEEE Conference on Decision and Control (CDC)},
title={Formal analysis of piecewise affine systems through formula-guided refinement},
year={2010},
volume={},
number={},
pages={5899-5904},
doi={10.1109/CDC.2010.5717909}}

Xu Chu Ding, Calin Belta, Christos G. Cassandras, Receding Horizon Surveillance with Temporal Logic Specifications, IEEE Conference on Decision and Control (CDC), Atlanta, GA, 2010 (pdf)

@INPROCEEDINGS{5717131,
author={Ding, Xu Chu and Belta, Calin and Cassandras, Christos G.},
booktitle={49th IEEE Conference on Decision and Control (CDC)},
title={Receding horizon surveillance with temporal logic specifications},
year={2010},
volume={},
number={},
pages={256-261},
doi={10.1109/CDC.2010.5717131}}

Y. Chen, A. Stefanescu, and C. Belta, A Hierarchical Approach to Automatic Deployment of Robotic Teams with Communication Constraints, IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Taipei, Taiwan, 2010 (pdf)

@INPROCEEDINGS{5650644,
author={Chen, Yushan and Birch, Samuel and Stefanescu, Alin and Belta, Calin},
booktitle={2010 IEEE/RSJ International Conference on Intelligent Robots and Systems},
title={A hierarchical approach to automatic deployment of robotic teams with communication constraints},
year={2010},
volume={},
number={},
pages={5079-5084},
doi={10.1109/IROS.2010.5650644}}

S. L. Smith, J. Tumova, C. Belta, and D. Rus, Optimal path planning under Temporal Logic Constraints, IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Taipei, Taiwan, 2010 (pdf)

@INPROCEEDINGS{5650896,
author={Smith, Stephen L. and Tůmová, Jana and Belta, Calin and Rus, Daniela},
booktitle={2010 IEEE/RSJ International Conference on Intelligent Robots and Systems},
title={Optimal path planning under temporal logic constraints},
year={2010},
volume={},
number={},
pages={3288-3293},
doi={10.1109/IROS.2010.5650896}}

M. Kloetzer, C. Mahulea, C. Belta, and M. Silva, An automated framework for formal verification of timed continuous Petri nets, IEEE Transactions on Industrial Informatics, vol. 6, no. 3, pp. 460 – 471, 2010 (pdf)

@ARTICLE{5473124,
author={Kloetzer, Marius and Mahulea, Cristian and Belta, Calin and Silva, Manuel},
journal={IEEE Transactions on Industrial Informatics},
title={An Automated Framework for Formal Verification of Timed Continuous Petri Nets},
year={2010},
volume={6},
number={3},
pages={460-471},
doi={10.1109/TII.2010.2050001}}

B. Yordanov and C. Belta, Formal analysis of discrete-time piecewise affine systems, IEEE Transactions on Automatic Control, vol 55, n0. 12, pp. 2834-3840, 2010 (pdf)

@ARTICLE{5560749,
author={Yordanov, Boyan and Belta, Calin},
journal={IEEE Transactions on Automatic Control},
title={Formal Analysis of Discrete-Time Piecewise Affine Systems},
year={2010},
volume={55},
number={12},
pages={2834-2840},
doi={10.1109/TAC.2010.2072530}}

M. Imielinski and C. Belta, Deep epistasis in human metabolism, Chaos, vol. 20, no.2, 2010 (pdf)

@article{10.1063/1.3456056,
author = {Imielinski, Marcin and Belta, Calin},
title = “{Deep epistasis in human metabolism}”,
journal = {Chaos: An Interdisciplinary Journal of Nonlinear Science},
volume = {20},
number = {2},
pages = {026104},
year = {2010},
month = {06},
abstract = “{We extend and apply a method that we have developed for deriving high-order epistatic relationships in large biochemical networks to a published genome-scale model of human metabolism. In our analysis we compute 33 328 reaction sets whose knockout synergistically disables one or more of 43 important metabolic functions. We also design minimal knockouts that remove flux through fumarase, an enzyme that has previously been shown to play an important role in human cancer. Most of these knockout sets employ more than eight mutually buffering reactions, spanning multiple cellular compartments and metabolic subsystems. These reaction sets suggest that human metabolic pathways possess a striking degree of parallelism, inducing “deep” epistasis between diversely annotated genes. Our results prompt specific chemical and genetic perturbation follow-up experiments that could be used to query in vivo pathway redundancy. They also suggest directions for future statistical studies of epistasis in genetic variation data sets.}”,
issn = {1054-1500},
doi = {10.1063/1.3456056},
url = {https://doi.org/10.1063/1.3456056},
eprint = {https://pubs.aip.org/aip/cha/article-pdf/doi/10.1063/1.3456056/13396941/026104\_1\_online.pdf},
}

M. Kloetzer and C. Belta, Automatic deployment of distributed teams of robots from temporal logic specifications, IEEE Transactions on Robotics, vol. 26, no. 1, pp. 48-61, 2010 (pdf)

@ARTICLE{5345787,
author={Kloetzer, Marius and Belta, Calin},
journal={IEEE Transactions on Robotics},
title={Automatic Deployment of Distributed Teams of Robots From Temporal Logic Motion Specifications},
year={2010},
volume={26},
number={1},
pages={48-61},
doi={10.1109/TRO.2009.2035776}}

L.C.G.J.M Habets and C. Belta, Temporal Logic Control for Piecewise-Affine Hybrid Systems on Polytopes, 9th International Symposium on Mathematical Theory of Networks and Systems (MTNS 2010), Budapest, Hungary, July 2010 (pdf)

@inproceedings{7a0b7982318e477fafd82fa5f3eb2b27,
title = “Temporal logic control for piecewise-affine hybrid systems on polytopes”,
abstract = “In this paper, a method is proposed for the design of control laws for hybrid systems with continuous inputs. The objective is to influence their behavior in such a way that the discrete component of the closed-loop system satisfies a given condition, described by a temporal logic formula. For this purpose, a transition system is constructed, by abstracting from the continuous dynamics of the hybrid system. It is shown that a controller for this transition system, realizing the given control objective, corresponds to a controller for the original hybrid system, realizing the same objective, and vice versa.”,
author = “L.C.G.J.M. Habets and C. Belta”,
year = “2010”,
language = “English”,
isbn = “978-963-311-370-7”,
pages = “195–202”,
booktitle = “Proceedings of the 19th International Symposium on Mathematical Theory of Networks and Systems (MTNS 2010, Budapest, Hungary, July 5-9, 2010), CD-ROM”,
}

M. Lahijanian, J. Wasniewski, S. B. Andersson, and C. Belta, Motion Planning and Control from Temporal Logic Specifications with Probabilistic Satisfaction Guarantees, IEEE International Conference on Robotics and Automation, May 3-8, 2010, Anchorage, Alaska, USA (pdf)

@INPROCEEDINGS{5509686,
author={Lahijanian, M. and Wasniewski, J. and Andersson, S. B. and Belta, C.},
booktitle={2010 IEEE International Conference on Robotics and Automation},
title={Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees},
year={2010},
volume={},
number={},
pages={3227-3232},
doi={10.1109/ROBOT.2010.5509686}}

M. Kloetzer, S. Itani, S. Birch, and C. Belta, On the Need for Communication in Distributed Implementations of LTL Motion Specifications, IEEE International Conference on Robotics and Automation, May 3-8, 2010, Anchorage, Alaska, USA (pdf)

@INPROCEEDINGS{5509326,
author={Kloetzer, M. and Itani, S. and Birch, S. and Belta, C.},
booktitle={2010 IEEE International Conference on Robotics and Automation},
title={On the need for communication in distributed implementations of LTL motion specifications},
year={2010},
volume={},
number={},
pages={4451-4456},
doi={10.1109/ROBOT.2010.5509326}}

R. D. Walker, S. B. Andersson, C. Belta, and P. Dupont, IN-Haptics: Interactive Navigation Using Haptics, Haptics Symposium, Waltham, MA 2010 (pdf)

@INPROCEEDINGS{5444617,
author={Walker, Richard D. and Andersson, Sean B. and Belta, Calin A. and Dupont, Pierre E.},
booktitle={2010 IEEE Haptics Symposium},
title={IN-HAPTICS: Interactive navigation using haptics},
year={2010},
volume={},
number={},
pages={463-466},
doi={10.1109/HAPTIC.2010.5444617}}

M. Kloetzer and C. Belta, Reachability analysis of multi-affine systems, Transactions of the Institute of Measurement and Control, Special Issue on Hybrid Systems, vol. 32, no. 5, pp. 445 – 467, 2010 (pdf)

@article{doi:10.1177/0142331208097838,
abstract = { We present a computationally attractive technique to study the reachability of rectangular regions by trajectories of continuous multi-affine systems. The method is iterative. At each step, finer partitions and finite quotients that over-approximate the reachability properties of the initial system are produced. We exploit some convexity properties of multi-affine functions on rectangles to show that the construction of the quotient at each step requires only the evaluation of the vector field at the set of all vertices of all rectangles in the partition and finding the roots of a finite set of scalar affine functions. This methodology can be used for formal analysis of biochemical networks, aircraft and underwater vehicles, where multi-affine models are widely used. },
author = {Marius Kloetzer and Calin Belta},
doi = {10.1177/0142331208097838},
eprint = {https://doi.org/10.1177/0142331208097838},
journal = {Transactions of the Institute of Measurement and Control},
number = {5},
pages = {445-467},
title = {Reachability analysis of multi-affine systems},
url = {https://doi.org/10.1177/0142331208097838},
volume = {32},
year = {2010},
bdsk-url-1 = {https://doi.org/10.1177/0142331208097838}}
Books  |  Patents  |  2024  |  2023   |   2022   |   2021   |  2020   |   2019   |   2018   |   2017   |   2016   |   2015   |   2014   |   2013   |   2012   |   2011   |   2010   |   2009   |   2008   |   2007   |   before 2007