Toward Automated Verification of Dynamical Systems Using Forward and Backward Reachability Analysis
- Alternative title
-
Automatische Verifikation dynamischer Systeme mittels Vorwärts- und Rückwärtserreichbarkeitsanalyse
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
München, Technische Universität München, Dissertation, 2024
- Keyword
-
Hybrides System
Erreichbarkeitsmenge
Verifikation
Dynamisches System
Erreichbarkeit
Model Checking
- Event
-
Veröffentlichung
- (where)
-
München
- (who)
-
Universitätsbibliothek der TU München
- (when)
-
2024
- Creator
-
Wetzlinger, Mark Peter Christoph
- Contributor
- URN
-
urn:nbn:de:bvb:91-diss-20240521-1725668-1-2
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:46 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Wetzlinger, Mark Peter Christoph
- Althoff, Matthias
- Putot, Sylvie
- Frehse, Goran
- Universitätsbibliothek der TU München
Time of origin
- 2024
Other Objects (12)
A fixed-time stable forward–backward dynamical system for solving generalized monotone inclusions
Looking backward and looking forward
Verification of reachability properties and termination for probabilistic systems
Verification of Reachability Properties and Termination for Probabilistic Systems
Backward induction versus forward induction reasoning
A Forward Scheme for Backward SDEs
Regularizations of forward‐backward parabolic PDEs
Superposition of forward and backward motion
Minibatch forward-backward-forward methods for solving stochastic variational inequalities
Backward and forward compatibility for security features
Forward-backward systems for expected utility maximization
Forward and backward simulation of Euler scheme
A fixed-time stable forward–backward dynamical system for solving generalized monotone inclusions
Looking backward and looking forward
Verification of reachability properties and termination for probabilistic systems
Verification of Reachability Properties and Termination for Probabilistic Systems
Backward induction versus forward induction reasoning
A Forward Scheme for Backward SDEs
Regularizations of forward‐backward parabolic PDEs
Superposition of forward and backward motion
Minibatch forward-backward-forward methods for solving stochastic variational inequalities
Backward and forward compatibility for security features
Forward-backward systems for expected utility maximization
Forward and backward simulation of Euler scheme
A fixed-time stable forward–backward dynamical system for solving generalized monotone inclusions
Looking backward and looking forward
Verification of reachability properties and termination for probabilistic systems
Verification of Reachability Properties and Termination for Probabilistic Systems
Backward induction versus forward induction reasoning
A Forward Scheme for Backward SDEs
Regularizations of forward‐backward parabolic PDEs
Superposition of forward and backward motion
Minibatch forward-backward-forward methods for solving stochastic variational inequalities
Backward and forward compatibility for security features
Forward-backward systems for expected utility maximization