Correctness guarantees for the composition of lane keeping and adaptive cruise control

X Xu, JW Grizzle, P Tabuada… - IEEE Transactions on …, 2017 - ieeexplore.ieee.org
This paper develops a control approach with correctness guarantees for the simultaneous
operation of lane keeping and adaptive cruise control. The safety specifications for these …
被引用次数：195 相关文章
[PDF] caltech.edu

[PDF][PDF] Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control

X Xu, JW Grizzle, P Tabuada, AD Ames - ames.caltech.edu
This paper develops a control approach with correctness guarantees for the simultaneous
operation of lane keeping and adaptive cruise control. The safety specifications for these …
[PDF] archive.org

[PDF][PDF] Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control

X Xu, JW Grizzle, P Tabuada, AD Ames - scholar.archive.org
This paper develops a control approach with correctness guarantees for the simultaneous
operation of lane keeping and adaptive cruise control. The safety specifications for these …
[PDF] ieee.org

[PDF][PDF] Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control

X Xu, JW Grizzle, P Tabuada, AD Ames - ieeexplore.ieee.org
This paper develops a control approach with correctness guarantees for the simultaneous
operation of lane keeping and adaptive cruise control. The safety specifications for these …
[PDF] core.ac.uk

[PDF][PDF] Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control

X Xu, JW Grizzle, P Tabuada, AD Ames - core.ac.uk
This paper develops a control approach with correctness guarantees for the simultaneous
operation of lane keeping and adaptive cruise control. The safety specifications for these …

Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control

X Xu, JW Grizzle, P Tabuada, AD Ames - arXiv preprint arXiv:1609.06807, 2016 - arxiv.org
This paper develops a control approach with correctness guarantees for the simultaneous
operation of lane keeping and adaptive cruise control. The safety specifications for these …
[PDF] wisc.edu

[PDF][PDF] Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control

X Xu, JW Grizzle, P Tabuada, AD Ames - xu.me.wisc.edu
This paper develops a control approach with correctness guarantees for the simultaneous
operation of lane keeping and adaptive cruise control. The safety specifications for these …
[PDF] caltech.edu

[PDF][PDF] Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control

X Xu, JW Grizzle, P Tabuada, AD Ames - authors.library.caltech.edu
This paper develops a control approach with correctness guarantees for the simultaneous
operation of lane keeping and adaptive cruise control. The safety specifications for these …
[PDF] wisc.edu

[PDF][PDF] Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control

X Xu, JW Grizzle, P Tabuada, AD Ames - xiangrulab.wiscweb.wisc.edu
This paper develops a control approach with correctness guarantees for the simultaneous
operation of lane keeping and adaptive cruise control. The safety specifications for these …

Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control

X Xu, JW Grizzle, P Tabuada, AD Ames - arXiv e-prints, 2016 - ui.adsabs.harvard.edu
This paper develops a control approach with correctness guarantees for the simultaneous
operation of lane keeping and adaptive cruise control. The safety specifications for these …