Abstract: Signal Temporal Logic (STL) provides a convenient way of encoding complex control objectives for robotic and cyber-physical systems. The state-of-the-art in trajectory synthesis for STL is ...
Abstract: A variable-gain finite-time convergent and noise-enduring zeroing neural network (VGFTNE-ZNN) is for the first time proposed for time-variant convex quadratic programming (QP). Differing ...
Many business tasks must run on a recurring schedule, such as checking thresholds, polling for conditions, or sending periodic notifications. Manually handling these tasks is unreliable and doesn't ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results