PUBLICATIONS

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

2012

Boyan Yordanov, Evan Appleton, Rishi Ganguly, Ebru Aydin Gol, Swati Carr, Swapnil Bhatia, Traci Haddock, Calin Belta, and Douglas Densmore, Experimentally driven verification of synthetic biological circuits, Design, Automation Test in Europe Conference Exhibition (DATE), 2012, pp. 236-241 (pdf)

@INPROCEEDINGS{6176468,
author={Yordanov, Boyan and Appleton, Evan and Ganguly, Rishi and Gol, Ebru Aydin and Carr, Swati Banerjee and Bhatia, Swapnil and Haddock, Traci and Belta, Calin and Densmore, Douglas},
booktitle={2012 Design, Automation & Test in Europe Conference & Exhibition (DATE)},
title={Experimentally driven verification of synthetic biological circuits},
year={2012},
volume={},
number={},
pages={236-241},
doi={10.1109/DATE.2012.6176468}}

Alphan Ulusoy, Stephen L. Smith, Calin Belta, Optimal Multi-Robot Path Planning with LTL Constraints: Guaranteeing Correctness Through Synchronization, 2012 International Symposium on Distributed Autonomous Robotic Systems (DARS) 2012, Baltimore, MD, USA (pdf)

@inproceedings{10.1007/978-3-642-55146-8_24,
abstract = {In this paper, we consider the automated planning of optimal paths for a robotic team satisfying a high level mission specification. Each robot in the team is modeled as a weighted transition system where the weights have associated deviation values that capture the non-determinism in the traveling times of the robot during its deployment. The mission is given as a Linear Temporal Logic (LTL) formula over a set of propositions satisfied at the regions of the environment. Additionally, we have an optimizing proposition capturing some particular task that must be repeatedly completed by the team. The goal is to minimize the maximum time between successive satisfying instances of the optimizing proposition while guaranteeing that the mission is satisfied even under non-deterministic traveling times. After computing a set of optimal satisfying paths for the members of the team, we also compute a set of synchronization sequences for each robot to ensure that the LTL formula is never violated during deployment. We implement and experimentally evaluate our method considering a persistent monitoring task in a road network environment.},
address = {Berlin, Heidelberg},
author = {Ulusoy, Alphan and Smith, Stephen L. and Belta, Calin},
booktitle = {Distributed Autonomous Robotic Systems},
editor = {Ani Hsieh, M. and Chirikjian, Gregory},
isbn = {978-3-642-55146-8},
pages = {337–351},
publisher = {Springer Berlin Heidelberg},
title = {Optimal Multi-Robot Path Planning with LTL Constraints: Guaranteeing Correctness through Synchronization},
year = {2014}}

Morteza Lahijanian, Sean Andersson, Calin Belta, Approximate Markovian Abstractions for Linear Stochastic Systems, IEEE Conference on Decision and Control (CDC) 2012, Maui, Hawaii, 2012 (pdf)

@INPROCEEDINGS{6426184,
author={Lahijanian, M. and Andersson, S. B. and Belta, C.},
booktitle={2012 IEEE 51st IEEE Conference on Decision and Control (CDC)},
title={Approximate Markovian abstractions for linear stochastic systems},
year={2012},
volume={},
number={},
pages={5966-5971},
doi={10.1109/CDC.2012.6426184}}

Yushan Chen, Kun Deng, Calin Belta, Multi-Agent Persistent Monitoring in Stochastic Environments with Temporal Logic Constraints, IEEE Conference on Decision and Control (CDC) 2012, Maui, Hawaii, 2012 (pdf)

@INPROCEEDINGS{6426280,
author={Chen, Yushan and Deng, Kun and Belta, Calin},
booktitle={2012 IEEE 51st IEEE Conference on Decision and Control (CDC)},
title={Multi-agent persistent monitoring in stochastic environments with temporal logic constraints},
year={2012},
volume={},
number={},
pages={2801-2806},
doi={10.1109/CDC.2012.6426280}}

Alphan Ulusoy, Tichakorn Wongpiromsarn, Calin Belta, Incremental Control Synthesis in Probabilistic Environments with Temporal Logic Constraints, IEEE Conference on Decision and Control (CDC) 2012, Maui, Hawaii, 2012 (pdf)

@INPROCEEDINGS{6426346,
author={Ulusoy, Alphan and Wongpiromsarn, Tichakorn and Belta, Calin},
booktitle={2012 IEEE 51st IEEE Conference on Decision and Control (CDC)},
title={Incremental control synthesis in probabilistic environments with Temporal Logic constraints},
year={2012},
volume={},
number={},
pages={7658-7663},
doi={10.1109/CDC.2012.6426346}}

Ebru Aydin Gol, Xu Chu Ding, Mircea Lazar, Calin Belta, Finite Bisimulations for Switched Linear Systems, IEEE Conference on Decision and Control (CDC) 2012, Maui, Hawaii, 2012 (pdf)

@INPROCEEDINGS{6426654,
author={Gol, Ebru Aydin and Ding, Xuchu and Lazar, Mircea and Belta, Calin},
booktitle={2012 IEEE 51st IEEE Conference on Decision and Control (CDC)},
title={Finite bisimulations for switched linear systems},
year={2012},
volume={},
number={},
pages={7632-7637},
doi={10.1109/CDC.2012.6426654}}

Tichakorn Wongpiromsarn, Alphan Ulusoy, Calin Belta, Emilio Frazzoli, Daniela Rus, Incremental Temporal Logic Synthesis of Control Policies for Robots Interacting with Dynamic Agents, IROS 2012, Vilamoura, Algarve, Portugal, 2012 (pdf)

@INPROCEEDINGS{6385575,
author={Wongpiromsarn, Tichakorn and Ulusoy, Alphan and Belta, Calin and Frazzoli, Emilio and Rus, Daniela},
booktitle={2012 IEEE/RSJ International Conference on Intelligent Robots and Systems},
title={Incremental temporal logic synthesis of control policies for robots interacting with dynamic agents},
year={2012},
volume={},
number={},
pages={229-236},
doi={10.1109/IROS.2012.6385575}}

Igor Cizelj and Calin Belta, Probabilistically Safe Control of Noisy Dubins Vehicles, IROS 2012, Vilamoura, Algarve, Portugal, 2012 (pdf)

@INPROCEEDINGS{6385664,
author={Cizelj, Igor and Belta, Calin},
booktitle={2012 IEEE/RSJ International Conference on Intelligent Robots and Systems},
title={Probabilistically safe control of noisy Dubins vehicles},
year={2012},
volume={},
number={},
pages={2857-2862},
doi={10.1109/IROS.2012.6385664}}

Morteza Lahijanian, Sean B. Andersson, and Calin Belta, Temporal Logic Motion Planning and Control with Probabilistic Satisfaction Guarantees, IEEE Transaction on Robotics, vol. 28, no. 2, pp. 396-409, 2012 (pdf)

@ARTICLE{6085615,
author={Lahijanian, Morteza and Andersson, Sean B. and Belta, Calin},
journal={IEEE Transactions on Robotics},
title={Temporal Logic Motion Planning and Control With Probabilistic Satisfaction Guarantees},
year={2012},
volume={28},
number={2},
pages={396-409},
doi={10.1109/TRO.2011.2172150}}

B. Yordanov, J. Tumova, I. Cerna, J. Barnat, C. Belta, Temporal Logic Control of Discrete-Time Piecewise Affine Systems, IEEE Transactions on Automatic Control, vol. 57, no. 6, pp. 1491-1504, 2012 (pdf)

@ARTICLE{6104370,
author={Yordanov, Boyan and Tumova, Jana and Cerna, Ivana and Barnat, Jiří and Belta, Calin},
journal={IEEE Transactions on Automatic Control},
title={Temporal Logic Control of Discrete-Time Piecewise Affine Systems},
year={2012},
volume={57},
number={6},
pages={1491-1504},
doi={10.1109/TAC.2011.2178328}}

Xu Chu Ding, Mircea Lazar, and Calin Belta, Formal Abstraction of Linear Systems via Polyhedral Lyapunov Functions, 4th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), Eindhoven, Netherlands, 2012 (pdf)

@article{DING201288,
abstract = {In this paper we present an abstraction algorithm that produces a finite bisimulation quotient for an autonomous discrete-time linear system. We assume that the bisimulation quotient is required to preserve the observations over an arbitrary, finite number of polytopic subsets of the system state space. We generate the bisimulation quotient with the aid of a sequence of contractive polytopic sublevel sets obtained via a polyhedral Lyapunov function. The proposed algorithm guarantees that at iteration i, the bisimulation of the system within the i-th sublevel set of the Lyapunov function is completed. We then show how to use the obtained bisimulation quotient to verify the system with respect to arbitrary Linear Temporal Logic formulas over the observed regions.},
author = {Xuchu Ding and Mircea Lazar and Calin Belta},
doi = {https://doi.org/10.3182/20120606-3-NL-3011.00096},
issn = {1474-6670},
journal = {IFAC Proceedings Volumes},
note = {4th IFAC Conference on Analysis and Design of Hybrid Systems},
number = {9},
pages = {88-93},
title = {Formal Abstraction of Linear Systems via Polyhedral Lyapunov Functions*},
url = {https://www.sciencedirect.com/science/article/pii/S1474667015371792},
volume = {45},
year = {2012},
bdsk-url-1 = {https://www.sciencedirect.com/science/article/pii/S1474667015371792},
bdsk-url-2 = {https://doi.org/10.3182/20120606-3-NL-3011.00096}}

Ebru Aydin Gol and Calin Belta, Time-Constrained Temporal Logic Control of Multi-Affine Systems, 4th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), Eindhoven, Netherlands, 2012 (pdf)

@article{GOL2012102,
abstract = {We consider the problem of controlling a dynamical system such that its trajectories satisfy a temporal logic property in a given amount of time. We focus on multi-affine systems and specifications given as syntactically co-safe linear temporal logic formulas over rectangular regions in the state space. The proposed algorithm is based on the estimation of time bounds for facet reachability problems and solving a time optimal reachability problem on the product between a weighted transition system and an automaton that enforces the satisfaction of the specification. A random optimization algorithm is used to iteratively improve the solution.},
author = {Ebru Aydin Gol and Calin Belta},
doi = {https://doi.org/10.3182/20120606-3-NL-3011.00054},
issn = {1474-6670},
journal = {IFAC Proceedings Volumes},
note = {4th IFAC Conference on Analysis and Design of Hybrid Systems},
number = {9},
pages = {102-107},
title = {Time-Constrained Temporal Logic Control of Multi-Affine Systems},
url = {https://www.sciencedirect.com/science/article/pii/S1474667015371810},
volume = {45},
year = {2012},
bdsk-url-1 = {https://www.sciencedirect.com/science/article/pii/S1474667015371810},
bdsk-url-2 = {https://doi.org/10.3182/20120606-3-NL-3011.00054}}

Guilhem Richard, Calin Belta, A. Agung Julius, and Salomon Amar, Controlling the Outcome of the Toll-like Receptor Signaling Pathways, PLoS ONE, 7(2), e31341, doi:10.1371/journal.pone.0031341, 2012 (pdf)

@article{10.1371/journal.pone.0031341,
abstract = {The Toll-Like Receptors (TLRs) are proteins involved in the immune system that increase cytokine levels when triggered. While cytokines coordinate the response to infection, they appear to be detrimental to the host when reaching too high levels. Several studies have shown that the deletion of specific TLRs was beneficial for the host, as cytokine levels were decreased consequently. It is not clear, however, how targeting other components of the TLR pathways can improve the responses to infections. We applied the concept of Minimal Cut Sets (MCS) to the ihsTLR v1.0 model of the TLR pathways to determine sets of reactions whose knockouts disrupt these pathways. We decomposed the TLR network into 34 modules and determined signatures for each MCS, i.e. the list of targeted modules. We uncovered 2,669 MCS organized in 68 signatures. Very few MCS targeted directly the TLRs, indicating that they may not be efficient targets for controlling these pathways. We mapped the species of the TLR network to genes in human and mouse, and determined more than 10,000 Essential Gene Sets (EGS). Each EGS provides genes whose deletion suppresses the network’s outputs.},
author = {Richard, Guilhem AND Belta, Calin AND Julius, A. Agung AND Amar, Salomon},
doi = {10.1371/journal.pone.0031341},
journal = {PLOS ONE},
month = {02},
number = {2},
pages = {1-9},
publisher = {Public Library of Science},
title = {Controlling the Outcome of the Toll-Like Receptor Signaling Pathways},
url = {https://doi.org/10.1371/journal.pone.0031341},
volume = {7},
year = {2012},
bdsk-url-1 = {https://doi.org/10.1371/journal.pone.0031341}}

Xu Chu Ding, Mircea Lazar, and Calin Belta, Receding Horizon Temporal Logic Control for Finite Deterministic Systems, American Control Conference, Montreal, Canada, 2012 (pdf)

@INPROCEEDINGS{6314936,
author={Ding, Xu Chu and Lazar, Mircea and Belta, Calin},
booktitle={2012 American Control Conference (ACC)},
title={Receding horizon temporal logic control for finite deterministic systems},
year={2012},
volume={},
number={},
pages={715-720},
doi={10.1109/ACC.2012.6314936}}

Alphan Ulusoy, Stephen L. Smith, Xu Chu Ding, Calin Belta, Robust Multi-Robot Optimal Path Planning with Temporal Logic Constraints, 2012 IEEE International Conference on Robotics and Automation (ICRA), 2012, Saint Paul, MN, USA (pdf)

@INPROCEEDINGS{6224792,
author={Ulusoy, Alphan and Smith, Stephen L. and Ding, Xu Chu and Belta, Calin},
booktitle={2012 IEEE International Conference on Robotics and Automation},
title={Robust multi-robot optimal path planning with temporal logic constraints},
year={2012},
volume={},
number={},
pages={4693-4698},
doi={10.1109/ICRA.2012.6224792}}

Xu Chu Ding, Jing Wang, Morteza Lahijanian, Yannis Paschalidis, Calin Belta, Temporal Logic Motion Control using Actor-Critic Methods, 2012 IEEE International Conference on Robotics and Automation (ICRA), 2012, Saint Paul, MN, USA (pdf)

@INPROCEEDINGS{6225290,
author={Ding, Xu Chu and Wang, Jing and Lahijanian, Morteza and Paschalidis, Ioannis Ch. and Belta, Calin A.},
booktitle={2012 IEEE International Conference on Robotics and Automation},
title={Temporal logic motion control using actor-critic methods},
year={2012},
volume={},
number={},
pages={4687-4692},
doi={10.1109/ICRA.2012.6225290}}

Ana Ivonne Medina Ayala, Sean Andersson, Calin Belta, Probabilistic Control from Time-Bounded Temporal Logic Specifications in Dynamic Environments, 2012 IEEE International Conference on Robotics and Automation (ICRA), 2012, Saint Paul, MN, USA (pdf)

@INPROCEEDINGS{6224963,
author={Medina Ayala, A. I. and Andersson, S. B. and Belta, C.},
booktitle={2012 IEEE International Conference on Robotics and Automation},
title={Probabilistic control from time-bounded temporal logic specifications in dynamic environments},
year={2012},
volume={},
number={},
pages={4705-4710},
doi={10.1109/ICRA.2012.6224963}}

Yushan Chen, Jana Tumova, Calin Belta, LTL Robot Motion Control based on Automata Learning of Environmental Dynamics, 2012 IEEE International Conference on Robotics and Automation (ICRA), 2012, Saint Paul, MN, USA (pdf)

@INPROCEEDINGS{6225075,
author={Chen, Yushan and Tůmová, Jana and Belta, Calin},
booktitle={2012 IEEE International Conference on Robotics and Automation},
title={LTL robot motion control based on automata learning of environmental dynamics},
year={2012},
volume={},
number={},
pages={5177-5182},
doi={10.1109/ICRA.2012.6225075}}

Y. Chen, D. Ding, A. Stefanescu, and C. Belta, A Formal Approach to the Deployment of Distributed Robotic Teams, IEEE Transaction on Robotics, vol. 28, issue 1, pp. 158-171, 2012 (pdf)

@ARTICLE{6016243,
author={Chen, Yushan and Ding, Xu Chu and Stefanescu, Alin and Belta, Calin},
journal={IEEE Transactions on Robotics},
title={Formal Approach to the Deployment of Distributed Robotic Teams},
year={2012},
volume={28},
number={1},
pages={158-171},
doi={10.1109/TRO.2011.2163434}}

Ebru Aydin Gol, Mircea Lazar, and Calin Belta, Language-Guided Controller Synthesis for Discrete-Time Linear Systems, Hybrid Systems Computation and Control (HSCC) 2012, Beijing, China (pdf)

@inproceedings{10.1145/2185632.2185649,
abstract = {This paper considers the problem of controlling discrete-time linear systems from specifications given as formulas of syntactically co-safe linear temporal logic over linear predicates in the state variables of the system. A systematic procedure is developed for the automatic computation of sets of initial states and feedback controllers such that all the resulting trajectories of the corresponding closed-loop system satisfy the given specifications. The procedure is based on the iterative construction and refinement of an automaton that enforces the satisfaction of the formula. Interpolation and polyhedral Lyapunov function based approaches are proposed to compute the polytope-to-polytope controllers that label the transitions of the automaton. The algorithms developed in this paper were implemented as a software package that is available for download. Their application and effectiveness are demonstrated for two challenging case studies.},
address = {New York, NY, USA},
author = {Aydin Gol, Ebru and Lazar, Mircea and Belta, Calin},
booktitle = {Proceedings of the 15th ACM International Conference on Hybrid Systems: Computation and Control},
doi = {10.1145/2185632.2185649},
isbn = {9781450312202},
keywords = {automata theory, linear temporal logic, constrained control, polytope-to-polytope control, polyhedral lyapunov functions},
location = {Beijing, China},
numpages = {10},
pages = {95–104},
publisher = {Association for Computing Machinery},
series = {HSCC ’12},
title = {Language-Guided Controller Synthesis for Discrete-Time Linear Systems},
url = {https://doi.org/10.1145/2185632.2185649},
year = {2012},
bdsk-url-1 = {https://doi.org/10.1145/2185632.2185649}}
Books  |  Patents  |  2024  |  2023   |   2022   |   2021   |  2020   |   2019   |   2018   |   2017   |   2016   |   2015   |   2014   |   2013   |   2012   |   2011   |   2010   |   2009   |   2008   |   2007   |   before 2007