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: 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: 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.