Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Takayama, Yoshinari"'
Signal Temporal Logic (STL) is capable of expressing a broad range of temporal properties that controlled dynamical systems must satisfy. In the literature, both mixed-integer programming (MIP) and nonlinear programming (NLP) methods have been applie
Externí odkaz:
http://arxiv.org/abs/2305.09441
Publikováno v:
2023 62nd IEEE Conference on Decision and Control (CDC)
This study considers the control problem with signal temporal logic (STL) specifications. Prior works have adopted smoothing techniques to address this problem within a feasible time frame and solve the problem by applying sequential quadratic progra
Externí odkaz:
http://arxiv.org/abs/2304.01475
Publikováno v:
In IFAC PapersOnLine 2024 58(18):15-20
Publikováno v:
In IFAC PapersOnLine 2024 58(13):502-508