Hochschulschrift
Comparative evaluation and improvement of computational approaches to reachability analysis of linear hybrid systems
- Weitere Titel
-
Methoden zur Erreichbarkeitsanalyse hybrider Systeme
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: Aachen : Shaker Verlag, 2016
RWTH Aachen, Dissertation, 2016
- Erschienen in
-
Aachener Informatik-Berichte ; 2016-02
- Schlagwort
-
Hybrides System
Lineares System
Erreichbarkeitsmenge
Verifikation
Benchmark
Leistungsvergleich
Fahrzeugkolonne
Regelungssystem
Erreichbarkeit
- Ereignis
-
Veröffentlichung
- (wo)
-
Aachen
- (wer)
-
Universitätsbibliothek der RWTH Aachen
- (wann)
-
2016
- Urheber
- Beteiligte Personen und Organisationen
- URN
-
urn:nbn:de:hbz:82-rwth-2016-021745
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:22 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Ben Makhlouf, Ibtissem
- Kowalewski, Stefan
- Frehse, Goran
- Universitätsbibliothek der RWTH Aachen
Entstanden
- 2016
Ähnliche Objekte (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