martindoff
I share projects in control, optimization, machine learning and embedded systems. C, C++, Python, MATLAB.
University of OxfordOxford
Pinned Repositories
bare-metal-stm32h7
A bare metal implementation of a blinky example for the stm32h743 with a simple makefile and without using any HAL libraries
bare-metal-stm32h7-uart
This example shows how to establish a serial communication between the stm32h743 microcontroller and a laptop using the UART peripherals.
bare-metal-stm32h743-HIL
A Hardware-In-the-Loop (HIL) simulation example for the stm32h743 microcontroller. The chip is interfaced with Simulink running on a laptop via a serial link (UART). To demonstrate the HIL simulation capabilities, a case study is considered where a PID controller implemented on the chip is used to control a model of an aircraft in Simulink.
Cpp-linear-algebra-library
A lightweight linear algebra library for rapid prototyping of C++ applications.
DC-Deep-Neural-Network
Learn dynamical systems as a difference of convex functions (DC) using a feedforward Neural Network (NN) architecture with DC structure. The resulting model learns the dynamics f in DC form as follows: f= f1 -f2 where f1 and f2 are convex functions. The DC structure of the network allows to independently express f1 and f2 as two input convex NN.
DC-NN-MPC
Computationally tractable learning-based nonlinear tube MPC using difference of convex neural network dynamic approximation
DC-RNN
Learn dynamical systems as a difference of convex functions (DC) using a Recurrent Neural Network (RNN) architecture with DC structure. Example on the coupled tank problem.
DC-TMPC
DC-TMPC: A tube-based MPC algorithm for systems that can be expressed as a difference of convex functions.
freeRTOS-stm32h7-Cpp
A simple blink program showing the use of freeRTOS with C++ for a stm32h743 microcontroller
Radial-basis-TMPC
Learning-based robust tube based MPC of nonlinear systems via difference of convex radial basis functions
martindoff's Repositories
martindoff/DC-TMPC
DC-TMPC: A tube-based MPC algorithm for systems that can be expressed as a difference of convex functions.
martindoff/Radial-basis-TMPC
Learning-based robust tube based MPC of nonlinear systems via difference of convex radial basis functions
martindoff/bare-metal-stm32h743-HIL
A Hardware-In-the-Loop (HIL) simulation example for the stm32h743 microcontroller. The chip is interfaced with Simulink running on a laptop via a serial link (UART). To demonstrate the HIL simulation capabilities, a case study is considered where a PID controller implemented on the chip is used to control a model of an aircraft in Simulink.
martindoff/bare-metal-stm32h7
A bare metal implementation of a blinky example for the stm32h743 with a simple makefile and without using any HAL libraries
martindoff/bare-metal-stm32h7-uart
This example shows how to establish a serial communication between the stm32h743 microcontroller and a laptop using the UART peripherals.
martindoff/DC-NN-MPC
Computationally tractable learning-based nonlinear tube MPC using difference of convex neural network dynamic approximation
martindoff/freeRTOS-stm32h7-Cpp
A simple blink program showing the use of freeRTOS with C++ for a stm32h743 microcontroller
martindoff/Cpp-linear-algebra-library
A lightweight linear algebra library for rapid prototyping of C++ applications.
martindoff/DC-Deep-Neural-Network
Learn dynamical systems as a difference of convex functions (DC) using a feedforward Neural Network (NN) architecture with DC structure. The resulting model learns the dynamics f in DC form as follows: f= f1 -f2 where f1 and f2 are convex functions. The DC structure of the network allows to independently express f1 and f2 as two input convex NN.
martindoff/DC-RNN
Learn dynamical systems as a difference of convex functions (DC) using a Recurrent Neural Network (RNN) architecture with DC structure. Example on the coupled tank problem.
martindoff/spacecraft-energy
Spacecraft energy management
martindoff/VTOL-aircraft-MPC
Computationally efficient nonlinear robust tube-based MPC algorithm for VTOL aircraft in urban air mobility scenarios.