An important aspect in software engineering is the ability to distinguish between premature, unnecessary, and necessary ...
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: This paper studies the control-oriented recursive identification of finite impulse response systems with binary-valued observations. Inspired by the Maximum Likelihood method, a novel ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback