Hochschulschrift
Comparative evaluation and improvement of computational approaches to reachability analysis of linear hybrid systems
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783844043761
3844043764
- Maße
-
21 cm, 348 g
- Umfang
-
viii, 221 Seiten
- Ausgabe
-
[1. Auflage]
- Sprache
-
Englisch
- Anmerkungen
-
Illustrationen
RWTH Aachen University, 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)
-
Shaker Verlag
- (wann)
-
[2016]
- Urheber
- Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:34 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
- Shaker Verlag
- Shaker Verlag
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