Experimental - This project is still in development, and not ready for the prime time. A minimal, secure Python interpreter written in Rust for use by AI. Monty avoids the cost, latency, complexity ...
Z80-μLM is a 'conversational AI' that generates short character-by-character sequences, with quantization-aware training (QAT) to run on a Z80 processor with 64kb of ram. The root behind this project ...
Abstract: This article presents an approach to ensure the robust forward invariance of safe sets for sampled-data input nonlinear dynamical systems with model uncertainties. We first design a ...
Abstract: This paper develops a control methodology that unifies control barrier functions and control Lyapunov functions through quadratic programs. The result is demonstrated on adaptive cruise ...