Zapis dowodowy metody

Pontryagin Maximum Principle

The Pontryagin Maximum Principle (PMP) is a fundamental theorem in optimal control theory providing necessary conditions for optimality of a control trajectory. Published by Lev Pontryagin in 1962, PMP generalizes the calculus of variations to control problems with constraints and is the theoretical foundation enabling solution of complex trajectory optimization problems from spacecraft missions to industrial process optimization.

Sources recorded, not reviewed

Zapis źródłowy

Cytaty skopiowane dosłownie z zapisu źródłowego metody. Nie należy z nich wywnioskować weryfikacji na poziomie twierdzenia.

Taksonomiczny zapis metody · ml-model / control-theory

Pontryagin, L. S., Boltyanskii, V. G., Gamkrelidze, R. V., & Mischenko, E. F. (1962). The Mathematical Theory of Optimal Processes. John Wiley & Sons. · URL

Otwórz pełną metodę

Wyselekcjonowane twierdzenia

Twierdzenia utrwalone w rejestrze dowodowym, każde z własną oceną.

Brak wyselekcjonowanych twierdzeń

Ten widok nie tworzy oceny twierdzenia, jeśli rejestr jej nie zawiera.

Powiązane metody

Wygenerowane z grafu metod i pokazane jako sugerowane przez maszynę powiązania — nie należy z nich wywnioskować twierdzenia dowodowego.

Taxonomic bucketHamilton-Jacobi-Bellman Equationmachine-suggested · Relational suggestion, not evidence.Taxonomic bucketLinear Quadratic Regulatormachine-suggested · Relational suggestion, not evidence.Taxonomic bucketModel Predictive Controlmachine-suggested · Relational suggestion, not evidence.