Hochschulschrift
Virtual stochastic sensors: formal background and example applications : reconstructing the behavior of partially observable discrete and hybrid stochastic systems
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783844082425
3844082425
- Maße
-
21 cm, 299 g
- Umfang
-
xvi, 183 Seiten
- Sprache
-
Englisch
- Anmerkungen
-
Illustrationen
Otto-von-Guericke Universität Magdeburg, Habilitationsschrift, 2021
- Klassifikation
-
Informatik
- Schlagwort
-
Detectors
- Ereignis
-
Veröffentlichung
- (wo)
-
Düren
- (wer)
-
Shaker Verlag
- (wann)
-
2021
- 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:48 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
- Krull, Claudia
- Shaker Verlag
- Shaker Verlag
Entstanden
- 2021
Ähnliche Objekte (12)
Feedback strategies for partially observable stochastic systems
Black-Box Testing Liveness Properties of Partially Observable Stochastic Systems
Partially ordered stochastic conformance checking
Partially ordered stochastic conformance checking
Stochastic regularity of a quadratic observable of high frequency waves
Stochastic regularity of a quadratic observable of high-frequency waves
Partially observable linear systems under dependent noises
Temporalised description logics for monitoring partially observable events
Formal synthesis of partially-observable cyber-physical systems
Verification and control of partially observable probabilistic systems
Temporalised Description Logics for Monitoring Partially Observable Events
Reconstructing Dynamical Systems From Stochastic Differential Equations to Machine Learning
Feedback strategies for partially observable stochastic systems
Black-Box Testing Liveness Properties of Partially Observable Stochastic Systems
Partially ordered stochastic conformance checking
Partially ordered stochastic conformance checking
Stochastic regularity of a quadratic observable of high frequency waves
Stochastic regularity of a quadratic observable of high-frequency waves
Partially observable linear systems under dependent noises
Temporalised description logics for monitoring partially observable events
Formal synthesis of partially-observable cyber-physical systems
Verification and control of partially observable probabilistic systems
Temporalised Description Logics for Monitoring Partially Observable Events
Reconstructing Dynamical Systems From Stochastic Differential Equations to Machine Learning
Feedback strategies for partially observable stochastic systems
Black-Box Testing Liveness Properties of Partially Observable Stochastic Systems
Partially ordered stochastic conformance checking
Partially ordered stochastic conformance checking
Stochastic regularity of a quadratic observable of high frequency waves
Stochastic regularity of a quadratic observable of high-frequency waves
Partially observable linear systems under dependent noises
Temporalised description logics for monitoring partially observable events
Formal synthesis of partially-observable cyber-physical systems
Verification and control of partially observable probabilistic systems
Temporalised Description Logics for Monitoring Partially Observable Events