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

Forskningsprojekt , 2016 – 2019

Beskrivning saknas.

Deltagare

Samarbetspartners

Finansiering

Publikationer

On scheduling using optimizing SMT-solvers.

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

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

Towards Automatic Generation of Formal Models for Highly Automated Manufacturing Systems

Real-time Visualization of Robot Operation Sequences

Digital Twin for Legacy Systems: Simulation Model Testing and Validation

Towards Automatic Learning of Discrete-Event Models from Simulations

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

Virtual Engineering Framework forAutomatic Generation of Control Logic including Safety

Mer information

Senast uppdaterat