The DOI matches its Crossref record; 18 of the 18 references it cites were found in a registry or an index.
Control Barrier Functions for Signal Temporal Logic Tasks
Open accessAbstract
The need for computationally-efficient control methods of dynamical systems under temporal logic tasks has recently become more apparent. Existing methods are computationally demanding and hence often not applicable in practice. Especially with respect to multi-robot systems, these methods do not scale computationally. In this letter, we propose a framework that is based on control barrier functions and signal temporal logic. In particular, timevarying control barrier functions are considered where the temporal properties are used to satisfy signal temporal logic tasks. The resulting controller is given by a switching strategy between a computationally-efficient convex quadratic program and a local feedback control law.
Overview
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Integrity signals
Registry
Cites
Statistics
Verification
Claims the paper makes
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Self-check
Percentages, sums and reported differences re-computed from the paper’s own numbers.
The self-check needs the paper’s full text.
Citations
Cites
Boyd, S., & Vandenberghe, L. (2004) · doi:10.1017/cbo9780511804441 · Cited by 56,601
Switching in Systems and Control
Liberzon, D. (2003) · Systems & Control: Foundations & Applications · doi:10.1007/978-1-4612-0017-8 · Cited by 7,023
(2008) · Cited by 4,811
Barrier Lyapunov Functions for the control of output-constrained nonlinear systems
Tee, K. P., Ge, S. S., & Tay, E. H. (2009) · Automatica · doi:10.1016/j.automatica.2008.11.017 · Cited by 2,912
Control Barrier Function Based Quadratic Programs for Safety Critical Systems
Ames, A. D., Xu, X., Grizzle, J. W., & Tabuada, P. (2017) · IEEE Transactions on Automatic Control · doi:10.1109/tac.2016.2638961 · Cited by 2,512
Monitoring Temporal Properties of Continuous Signals
Maler, O., & Nickovic, D. (2004) · Lecture Notes in Computer Science · doi:10.1007/978-3-540-30206-3_12 · Cited by 1,227
Control barrier function based quadratic programs with application to adaptive cruise control
Ames, A. D., Grizzle, J. W., & Tabuada, P. (2014) · 53rd IEEE Conference on Decision and Control · doi:10.1109/cdc.2014.7040372 · Cited by 974
Temporal-Logic-Based Reactive Mission and Motion Planning
Kress-Gazit, H., Fainekos, G. E., & Pappas, G. J. (2009) · IEEE Transactions on Robotics · doi:10.1109/tro.2009.2030225 · Cited by 750
Synthesis of Reactive(1) Designs
Piterman, N., Pnueli, A., & Sa’ar, Y. (2005) · Lecture Notes in Computer Science · doi:10.1007/11609773_24 · Cited by 560
Model predictive control with signal temporal logic specifications
Raman, V., Donzé, A., Maasoumy, M., Murray, R. M., Sangiovanni-Vincentelli, A. L., & Seshia, S. A. (2014) · Proceedings of the IEEE Conference on Decision & Control, including the Symposium on Adaptive Processes · doi:10.1109/cdc.2014.7039363 · Cited by 398
Cited by
A quantitative framework for layered multirate control: Toward a theory of control architecture
Matni, N., Ames, A. D., & Doyle, J. C. (2024) · IEEE Control Systems · doi:10.1109/mcs.2024.3382388 · Cited by 39
Metadata
- Authors
- Lindemann, L., & Dimarogonas, D. V.
- Venue
- IEEE Control Systems Letters
- Published
- 2019-01
- Volume
- 3
- Issue
- 1
- Pages
- 96-101
- ISSN
- 2475-1456 (ISSN-L)
- OpenAlex
- W2841721725
- Cited by
- 319
- References
- 18
- FWCI
- 15.98
- Type
- journal article
- Language
- en
- Open access
- green
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
How to cite
Cite CoChat for the checks on this page, and the paper for its own findings.
- This page
- CoChat. (2026). Citation check: Control Barrier Functions for Signal Temporal Logic Tasks. https://app.cochat.ai/papers/10.1109/lcsys.2018.2853182
- The paper
- Lindemann, L., & Dimarogonas, D. V. (2019). Control Barrier Functions for Signal Temporal Logic Tasks. IEEE Control Systems Letters. https://doi.org/10.1109/lcsys.2018.2853182
Data sources
Bibliographic data: Semantic Scholar, OpenAlex, Crossref.
Contains information from the Semantic Scholar Academic Graph Datasets, made available under the ODC Attribution License (ODC-BY 1.0).
Semantic Scholar’s data is described in: Kinney, R., et al. (2023). The Semantic Scholar Open Data Platform. arXiv:2301.10140.
