- Alternative title
-
Effiziente Steuerung mittels Erreichbarkeitssynthese für Cyber-physikalische Systeme
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
München, Technische Universität München, Dissertation, 2024
- Keyword
-
Bahnplanung
Cyber-physisches System
Verifikation
Erreichbarkeitsmenge
Model Checking
- Event
-
Veröffentlichung
- (where)
-
München
- (who)
-
Universitätsbibliothek der TU München
- (when)
-
2024
- Creator
-
Grover, Kush
- Contributor
-
Kretínský, Jan
Larsen, Kim Guldstrand
Jansen, Nils,
- URN
-
urn:nbn:de:bvb:91-diss-20240326-1723234-1-3
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:22 AM 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.
Associated
- Grover, Kush
- Kretínský, Jan
- Larsen, Kim Guldstrand
- Jansen, Nils,
- Universitätsbibliothek der TU München
Time of origin
- 2024
Other Objects (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