- Weitere Titel
-
Effiziente Steuerung mittels Erreichbarkeitssynthese für Cyber-physikalische Systeme
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
München, Technische Universität München, Dissertation, 2024
- Schlagwort
-
Bahnplanung
Cyber-physisches System
Verifikation
Erreichbarkeitsmenge
Model Checking
- Ereignis
-
Veröffentlichung
- (wo)
-
München
- (wer)
-
Universitätsbibliothek der TU München
- (wann)
-
2024
- Urheber
-
Grover, Kush
- Beteiligte Personen und Organisationen
-
Kretínský, Jan
Larsen, Kim Guldstrand
Jansen, Nils,
- URN
-
urn:nbn:de:bvb:91-diss-20240326-1723234-1-3
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
23.08.2025, 09:44 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.
Beteiligte
- Grover, Kush
- Kretínský, Jan
- Larsen, Kim Guldstrand
- Jansen, Nils,
- Universitätsbibliothek der TU München
Entstanden
- 2024
Ähnliche Objekte (12)
Efficient Implementation of Symbolic Controllers for Cyber-Physical Systems
On Diagnosing Cyber-Physical Systems
Accountability for Cyber-Physical Systems
Dependable and energy-efficient cyber-physical systems by graceful degradation
MAC protocols for cyber-physical systems
Cyber-Physical Systems in der Industrie
Software-intensive cyber-physical systems : SICS
Testing in mobile cyber-physical systems
Anomaly Detection for Cyber-Physical Systems
A Metamodel for Cyber-Physical Systems
Self-managed workflows for cyber-physical systems
AgendaCPS : integrierte Forschungsagenda cyber-physical systems
Efficient Implementation of Symbolic Controllers for Cyber-Physical Systems
On Diagnosing Cyber-Physical Systems
Accountability for Cyber-Physical Systems
Dependable and energy-efficient cyber-physical systems by graceful degradation
MAC protocols for cyber-physical systems
Cyber-Physical Systems in der Industrie
Software-intensive cyber-physical systems : SICS
Testing in mobile cyber-physical systems
Anomaly Detection for Cyber-Physical Systems
A Metamodel for Cyber-Physical Systems
Self-managed workflows for cyber-physical systems
AgendaCPS : integrierte Forschungsagenda cyber-physical systems
Efficient Implementation of Symbolic Controllers for Cyber-Physical Systems
On Diagnosing Cyber-Physical Systems
Accountability for Cyber-Physical Systems
Dependable and energy-efficient cyber-physical systems by graceful degradation
MAC protocols for cyber-physical systems
Cyber-Physical Systems in der Industrie
Software-intensive cyber-physical systems : SICS
Testing in mobile cyber-physical systems
Anomaly Detection for Cyber-Physical Systems
A Metamodel for Cyber-Physical Systems
Self-managed workflows for cyber-physical systems