Engineering Tool Chain for Efficient and Iterative Development of Smart Factories (ENTOC)

Forskningsprojekt, 2016 – 2019

Beskrivning saknas.

Deltagare

Samarbetspartners

Finansiering

Publikationer

Conflict-Free Routing of Mobile Robots

Instability Problems in Co-Simulation of Modular Systems

Towards data-driven approaches in manufacturing: an architecture to collect sequences of operations

On scheduling using optimizing SMT-solvers.

From factory floor to process models: A data gathering approach to generate, transform, and visualize manufacturing processes

On the use of equivalence classes for optimal and sub-optimal bin covering

SMT solvers for flexible job-shop scheduling problems: A computational analysis

Towards Automatic Learning of Discrete-Event Models from Simulations

Towards Automatic Generation of Formal Models for Highly Automated Manufacturing Systems

On the Equivalence of Controllability and the Input Output Conformance Testing Relation

Real-time Visualization of Robot Operation Sequences

Digital Twin for Legacy Systems: Simulation Model Testing and Validation

Virtual Engineering Framework forAutomatic Generation of Control Logic including Safety

Mer information

Senast uppdaterat