High-Order CBF-Compatible Semantics and Hierarchical Synthesis for Bounded-Time STL

Chao Tang, Penghong Lu, Zhenpeng Lao, Gang Chen 0024. High-Order CBF-Compatible Semantics and Hierarchical Synthesis for Bounded-Time STL. IEEE Control Systems Letters, 10:547-552, 2026. [doi]

Authors

Chao Tang

This author has not been identified. It may be one of the following persons: Look up 'Chao Tang' in Google

Penghong Lu

This author has not been identified. Look up 'Penghong Lu' in Google

Zhenpeng Lao

This author has not been identified. Look up 'Zhenpeng Lao' in Google

Gang Chen 0024

This author has not been identified. Look up 'Gang Chen 0024' in Google