Direct handling of ordinary differential equations in constraint-solving-based analysis of hybrid systems

Oldenburg, Univ., Diss., 2014

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Eggers, Andreas (VerfasserIn)
Weitere Verfasser:	Fränzle, Martin (BerichterstatterIn), Ramdani, Nacim (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2014
Schlagworte:	Hochschulschrift > Hybrides System > Bounded Model Checking > Erfüllbarkeitsproblem > Gewöhnliche Differentialgleichung > Numerische Integration > Validierung
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!