Hochschulschrift
Comparative evaluation and improvement of computational approaches to reachability analysis of linear hybrid systems
- Alternative title
-
Methoden zur Erreichbarkeitsanalyse hybrider Systeme
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: Aachen : Shaker Verlag, 2016
RWTH Aachen, Dissertation, 2016
- Bibliographic citation
-
Aachener Informatik-Berichte ; 2016-02
- Keyword
-
Hybrides System
Lineares System
Erreichbarkeitsmenge
Verifikation
Benchmark
Leistungsvergleich
Fahrzeugkolonne
Regelungssystem
Erreichbarkeit
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
Universitätsbibliothek der RWTH Aachen
- (when)
-
2016
- Creator
- Contributor
- URN
-
urn:nbn:de:hbz:82-rwth-2016-021745
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:22 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.
Object type
- Hochschulschrift
Associated
- Ben Makhlouf, Ibtissem
- Kowalewski, Stefan
- Frehse, Goran
- Universitätsbibliothek der RWTH Aachen
Time of origin
- 2016
Other Objects (12)
Comparative evaluation and improvement of computational approaches to reachability analysis of linear hybrid systems
Reachability analysis of non-linear hybrid systems using Taylor Models
Reachability switching games
Algorithms for reachability problems
Timed Automata Relaxation for Reachability
Reachability matrices and cyclic matrices
Counterexamples for Timed Probabilistic Reachability
Reachability over word rewriting systems
Complexity results for reachability in cooperating systems and approximated reachability by abstract over-approximations
Complexity Results for Reachability in Cooperating Systems and Approximated Reachability by Abstract Over-Approximations
Geometric and moduletheoretic approach to linear systems, Pt. 2.. Moduletheoretic characterization of reachability subspaces
Biotechnological approaches to barley improvement
Comparative evaluation and improvement of computational approaches to reachability analysis of linear hybrid systems
Reachability analysis of non-linear hybrid systems using Taylor Models
Reachability switching games
Algorithms for reachability problems
Timed Automata Relaxation for Reachability
Reachability matrices and cyclic matrices
Counterexamples for Timed Probabilistic Reachability
Reachability over word rewriting systems
Complexity results for reachability in cooperating systems and approximated reachability by abstract over-approximations
Complexity Results for Reachability in Cooperating Systems and Approximated Reachability by Abstract Over-Approximations
Geometric and moduletheoretic approach to linear systems, Pt. 2.. Moduletheoretic characterization of reachability subspaces
Biotechnological approaches to barley improvement
Comparative evaluation and improvement of computational approaches to reachability analysis of linear hybrid systems
Reachability analysis of non-linear hybrid systems using Taylor Models
Reachability switching games
Algorithms for reachability problems
Timed Automata Relaxation for Reachability
Reachability matrices and cyclic matrices
Counterexamples for Timed Probabilistic Reachability
Reachability over word rewriting systems
Complexity results for reachability in cooperating systems and approximated reachability by abstract over-approximations
Complexity Results for Reachability in Cooperating Systems and Approximated Reachability by Abstract Over-Approximations
Geometric and moduletheoretic approach to linear systems, Pt. 2.. Moduletheoretic characterization of reachability subspaces