Brief

Researchers have developed k-inductive neural barrier certificates (k-NBCs) to enhance safety guarantees for nonlinear systems with unknown dynamics. This method relaxes traditional safety constraints by allowing temporary increases in a barrier function, up to k-1 times within a threshold, while ensuring overall system safety. The approach utilizes neural networks for scalability and integrates counterexample-guided inductive synthesis with satisfiability modulo theories for verification, using a single state trajectory to construct data-driven system models. AI

Researchers have developed a novel meta-learning framework for designing optimal controllers for uncertain nonlinear systems, particularly when target system data is scarce. This approach leverages offline data from similar source systems to accelerate training and improve control performance in an online adaptation phase. The framework is formulated as a bi-level optimization problem and can integrate various learning algorithms, including neural state-space models and deep Q-networks, demonstrating enhanced performance over baseline methods in simulations and hardware experiments. AI