Abstract: In this study, we propose a local stability theory for sampled-data systems employing Lyapunov’s indirect method. Our proposed method focuses on the relationship between exact discretization ...
Windows Lean (4.18.0-pre, x86_64-w64-windows-gnu, commit c7f706baebc2, Release) segfaults when building stage2 compiler bug Something isn't working P-low We are not planning to work on this issue ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback