This work introduces a new specification and verification approach for dynamic systems. The introduced approach is able to provide type II error free results by definition, i.e. there are no hidden faults in the verification result. The approach is based on Kaucher interval arit…
Das Buch bietet eine kompakte, grundlegende Einführung in die Theorie gewöhnlicher Differentialgleichungen aus der Perspektive der dynamischen Systeme im Umfang einer einsemestrigen Vorlesung. Über die Diskussion der Lösungstheorie und der Theorie linearer Systeme hinaus werden …
Springer-Handbuch der Mathematik
This book systematically presents a fundamental theory for the local analysis of bifurcation and stability of equilibriums in nonlinear dynamical systems. Until now, one does not have any efficient way to investigate stability and bifurcation of dynamical systems with higher-ord…