A framework for the competitive analysis of model predictive controllers

DOI10.1007/978-3-031-45286-4_11MaRDI QIDQ6623022

G. A. Pérez, Joachim Denil, Ramesh Krishnamurthy, Stijn Bellis, Ritam Raha, Tim Leys

Publication date: 23 October 2024

zbMATH Keywords

competitive analysishybrid automata

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Reactive synthesis without regret
• Verisig 2.0: verification of neural network controllers using Taylor model preconditioning
• What's decidable about hybrid automata?
• HYST
• Planning Algorithms

This page was built for publication: A framework for the competitive analysis of model predictive controllers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6623022)