Bei der Identifikation nichtlinearer Systeme aus definierten Messungen ist die Konvergenz des Suchverfahrens gegen eindeutig festgelegte Parameterwerte nur selten garantiert. Vorgestellt wird eine Methode, entsprechende Identifikationsprozesse verifikationsgerecht zu entwickeln und ihre Funktion formal zu verifizieren. Nach dieser Vorgehensweise wird für ein physikalisches Reifenmodell zur Fahrdynamiksimulation aus der industriellen Anwendung ein Identifikationsverfahren entworfen und dessen generelle Funktion formal bewiesen.     «

Bei der Identifikation nichtlinearer Systeme aus definierten Messungen ist die Konvergenz des Suchverfahrens gegen eindeutig festgelegte Parameterwerte nur selten garantiert. Vorgestellt wird eine Methode, entsprechende Identifikationsprozesse verifikationsgerecht zu entwickeln und ihre Funktion formal zu verifizieren. Nach dieser Vorgehensweise wird für ein physikalisches Reifenmodell zur Fahrdynamiksimulation aus der industriellen Anwendung ein Identifikationsverfahren entworfen und dessen gen...     »

In applications of nonlinear system identification from defined measurements guaranteed convergence of search algorithms to unambiguously determined parameter values is rare. A method is introduced to design corresponding identification processes in a verification-suited manner and to verify their correctness formally. According to this approach, for a physical tire model used in industrial vehicle dynamics analysis an identification procedure is developed, and its overall correctness is formally proven.     «

In applications of nonlinear system identification from defined measurements guaranteed convergence of search algorithms to unambiguously determined parameter values is rare. A method is introduced to design corresponding identification processes in a verification-suited manner and to verify their correctness formally. According to this approach, for a physical tire model used in industrial vehicle dynamics analysis an identification procedure is developed, and its overall correctness is formall...     »