Author of the publication

Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications.

, , and . CDC, page 6855-6862. IEEE, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Self-Triggered Model Predictive Control for Nonlinear Input-Affine Dynamical Systems via Adaptive Control Samples Selection., , and . IEEE Trans. Automat. Contr., 62 (1): 177-189 (2017)Neural Controller Synthesis for Signal Temporal Logic Specifications Using Encoder-Decoder Structured Networks., , , and . CoRR, (2022)Self-triggered Model Predictive Control for continuous-time systems: A multiple discretizations approach., , and . CDC, page 3078-3083. IEEE, (2016)Realtime l1-fault-and-state estimation for multi-agent systems., , and . ACC, page 1175-1180. IEEE, (2019)Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications., , and . CDC, page 6855-6862. IEEE, (2023)Event-triggered control for mitigating SIS spreading processes., , , and . Annu. Rev. Control., (2021)Resource-aware networked control systems under temporal logic specifications., and . Discrete Event Dynamic Systems, 29 (4): 473-499 (2019)A Symbolic Approach to the Self-Triggered Design for Networked Control Systems., , , , and . IEEE Control. Syst. Lett., 3 (4): 1050-1055 (2019)STLCCP: An Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications., , and . CoRR, (2023)Energy-aware networked control systems under temporal logic specifications., , and . CDC, page 132-139. IEEE, (2018)