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

Research Project, 2016 – 2019

Description missing.

Participants

Collaborations

Funding

Publications

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

Digital Twin for Legacy Systems: Simulation Model Testing and Validation

Real-time Visualization of Robot Operation Sequences

Virtual Engineering Framework forAutomatic Generation of Control Logic including Safety

More information

Latest update