Hochschulschrift
Comparative evaluation and improvement of computational approaches to reachability analysis of linear hybrid systems
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783844043761
3844043764
- Dimensions
-
21 cm, 348 g
- Extent
-
viii, 221 Seiten
- Edition
-
[1. Auflage]
- Language
-
Englisch
- Notes
-
Illustrationen
RWTH Aachen University, 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)
-
Shaker Verlag
- (when)
-
[2016]
- Creator
- Contributor
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:34 PM 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
- Shaker Verlag
- Shaker Verlag
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