Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.

Library for simulation of nonlinear control systems, control design, and Lyapunov-based learning.

MIT Spring 2020 Mechanical Engineering 2.152 Nonlinear Control (Professor Jean-Jacques Slotine)

[IROS 22'] Model-free Neural Lyapunov Control

Control barrier functions (CBFs) and control Lyapunov functions (CLFs) written in Julia.

This repository contains lecture notes, solved problems, and simulation software on control systems in general.

This repository contains lecture notes on the courses "(Advance) Spacecraft Dynamics and Control" by Hanspeter Schaub.

Lyapunov Cycle Detector is a collection of algorithms destined to study the basins of attraction of rational maps (that is, the Fatou and Julia sets). In particular, the main focus of LCD is in the detection of attracting n-cycles of said rational map and in computing its basins.

[L4DC2023] A neural network policy learning framework to stabilize hybrid systems for robots.

Notes, homework and project for PSU's STAT 672 Winter 2020

Implementation of research paper "Lateral Control of an Autonomous Vehicle." A controller is designed to control the lateral movement of autonomous vehicles on straight and curved roads using the principle of feedforward, backstepping, and preview point.

Optimal coverage of multiple constant-speed unicycle robots

Final Project for Leiden University Media Technology MSc. involving an advanced processing sketch that simulates the effect of catastrophe types on Faraday Wave pattern morphology during audiovisual playback. All code by Trent Eriksen and inspired by research from Amber van der Tuin

Lyapunov-based neural network control with input saturation constraints