The painstaking process of formalization to verify proofs is starting to surge thanks to AI. That could radically change the ...
Abstract: This paper studies the throughput of spectrum sharing networks utilizing rate adaptation. We use some recent results on the achievable rates of finite block-length codes to analyze the ...
Finite-Time Control Algorithm Based on Modal State Observer for Flexible Satellite Attitude Tracking
Abstract: An attitude controller with finite time convergence rate for satellite attitude tracking issue considering the flexible dynamic based on a finite time modal state observer is proposed in ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results