Abstract: This article addresses high-precision trajectory tracking for fully actuated hexarotor unmanned aerial vehicles (UAVs) subject to model uncertainty and external disturbances. To exploit the ...
Abstract: Safety-critical cyber-physical systems require rigorously verifiable specifications, yet natural language (NL) requirements introduce ambiguity and defects. While Metric Temporal Logic (MTL) ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results