Prozessmodellierung und -simulation für experimentierbare digitale Zwillinge in der eRobotik
- Alternative title
-
Process modelling and simulation for experimentable digital twins in the field of eRobotics
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Deutsch
- Notes
-
Rheinisch-Westfälische Technische Hochschule Aachen, Dissertation, 2019
- Keyword
-
Petri-Netz
Prozessmanagement
Prozessmodell
Computersimulation
Simulation
Prozesssimulation
Digitaler Zwilling
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
Universitätsbibliothek der RWTH Aachen
- (when)
-
2019
- Creator
- Contributor
- DOI
-
10.18154/RWTH-2020-07505
- URN
-
urn:nbn:de:101:1-2023032902345193281451
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:53 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
- Leonhardt, Daniel
- Roßmann, Jürgen
- Kowalewski, Stefan
- Universitätsbibliothek der RWTH Aachen
Time of origin
- 2019
Other Objects (12)
Safety Recommendations for Safety-Critical Design Patterns
Tools and algorithms for the construction and analysis of systems : 15th international conference ; proceedings
A*-based trajectory planning in dynamic environments for autonomous vehicles
Fail-operational steer-by-wire system in automated driving vehicles using wheel-individual smart-actuators
A dynamic service-oriented software architecture for the automotive domain
Runtime supervision of PLC programs using discrete-event systems
Formale Methoden für die Entwicklung von eingebetteter Software in kleinen und mittleren Unternehmen
Verification of embedded software models by combining abstract interpretation, symbolic execution and stability analysis
Synchronization-based cooperative trajectory planning of networked vehicles
The regional scale surface mass balance of Pine Island Glacier, West Antarctica over the period 2005–2014, derived from airborne radar soundings and neutron probe measurements
Verification of programmable logic controller code using model checking and static analysis
The regional-scale surface mass balance of Pine Island Glacier, West Antarctica, over the period 2005–2014, derived from airborne radar soundings and neutron probe measurements
Safety Recommendations for Safety-Critical Design Patterns
Tools and algorithms for the construction and analysis of systems : 15th international conference ; proceedings
A*-based trajectory planning in dynamic environments for autonomous vehicles
Fail-operational steer-by-wire system in automated driving vehicles using wheel-individual smart-actuators
A dynamic service-oriented software architecture for the automotive domain
Runtime supervision of PLC programs using discrete-event systems
Formale Methoden für die Entwicklung von eingebetteter Software in kleinen und mittleren Unternehmen
Verification of embedded software models by combining abstract interpretation, symbolic execution and stability analysis
Synchronization-based cooperative trajectory planning of networked vehicles
The regional scale surface mass balance of Pine Island Glacier, West Antarctica over the period 2005–2014, derived from airborne radar soundings and neutron probe measurements
Verification of programmable logic controller code using model checking and static analysis
The regional-scale surface mass balance of Pine Island Glacier, West Antarctica, over the period 2005–2014, derived from airborne radar soundings and neutron probe measurements
Safety Recommendations for Safety-Critical Design Patterns
Tools and algorithms for the construction and analysis of systems : 15th international conference ; proceedings
A*-based trajectory planning in dynamic environments for autonomous vehicles
Fail-operational steer-by-wire system in automated driving vehicles using wheel-individual smart-actuators
A dynamic service-oriented software architecture for the automotive domain
Runtime supervision of PLC programs using discrete-event systems
Formale Methoden für die Entwicklung von eingebetteter Software in kleinen und mittleren Unternehmen
Verification of embedded software models by combining abstract interpretation, symbolic execution and stability analysis
Synchronization-based cooperative trajectory planning of networked vehicles
The regional scale surface mass balance of Pine Island Glacier, West Antarctica over the period 2005–2014, derived from airborne radar soundings and neutron probe measurements
Verification of programmable logic controller code using model checking and static analysis