Login / Signup
Zhibing Sun
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 3
Top Topics
Tracking Error
Nonlinear Dynamical Systems
Reactive Systems
Temporal Logic
Top Venues
ADHS
CoRR
IEEE Trans. Autom. Control.
</>
Publications
</>
Yinan Li
,
Zhibing Sun
,
Jun Liu
A Specification-Guided Framework for Temporal Logic Control of Nonlinear Systems.
IEEE Trans. Autom. Control.
68 (4) (2023)
Yinan Li
,
Zhibing Sun
,
Jun Liu
ROCS 2.0: An Integrated Temporal Logic Control Synthesis Tool for Nonlinear Dynamical Systems.
ADHS
(2021)
Yinan Li
,
Zhibing Sun
,
Jun Liu
A Specification-Guided Framework for Temporal Logic Control of Nonlinear Systems.
CoRR
(2021)