Abstract: Satisfiability Modulo Theories (SMT) is the problem of deciding the satisfiability of a first-order formula with respect to some theory or combination of theories. In this paper, we overview ...
Abstract: We present the Koopman State Estimator (KoopSE), a framework for model-free batch state estimation of control-affine systems that makes no linearization assumptions, requires no ...
ABSTRACT: In this paper the Modified Equations of Emden type (MEE), χ+αχχ+βχ 3 is solved numerically by the differential transform method. This technique doesn’t require any discretization, ...
A Python-based simulation project that demonstrates a hybrid control strategy for a quadcopter UAV. It combines Linear Parameter Varying Model Predictive Control (LPV-MPC) with Feedback Linearization ...
ABSTRACT: In this paper the Modified Equations of Emden type (MEE), χ+αχχ+βχ 3 is solved numerically by the differential transform method. This technique doesn’t require any discretization, ...
You can create a release to package software, along with release notes and links to binary files, for other people to use. Learn more about releases in our docs.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results