Digital twins

MCLab: Model Checking Lab

MCLab: Model Checking Lab

Our primary research activity focuses on AI and Model Checking based algorithms and tools for the automatic design and verification of mission or safety-critical systems with an emphasis on intelligent or autonomous systems.

 

URL: http://mclab.di.uniroma1.it

MCLab: Model Checking Lab

MCLab: Model Checking Lab

Our primary research activity focuses on AI and Model Checking based algorithms and tools for the automatic design and verification of mission or safety-critical systems with an emphasis on intelligent or autonomous systems.

 

URL: http://mclab.di.uniroma1.it

MCLab: Model Checking Lab

MCLab: Model Checking Lab

Our primary research activity focuses on AI and Model Checking based algorithms and tools for the automatic design and verification of mission or safety-critical systems with an emphasis on intelligent or autonomous systems.

 

URL: http://mclab.di.uniroma1.it

MCLab: Model Checking Lab

MCLab: Model Checking Lab

Our primary research activity focuses on AI and Model Checking based algorithms and tools for the automatic design and verification of mission or safety-critical systems with an emphasis on intelligent or autonomous systems.

 

URL: http://mclab.di.uniroma1.it

MCLab: Model Checking Lab

MCLab: Model Checking Lab

Our primary research activity focuses on AI and Model Checking based algorithms and tools for the automatic design and verification of mission or safety-critical systems with an emphasis on intelligent or autonomous systems.

 

URL: http://mclab.di.uniroma1.it

A conceptual architecture and model for smart manufacturing relying on service-based digital twins

The technological foundation of smart manufacturing consists of cyber-physical systems and the Internet-of-Things (IoT). Each IoT device in a smart factory can be coupled with a digital twin, that is, a dynamic virtual representation of the physical system across its life-cycle using real-time sensor data. Currently, the manufacturing process itself, the involved devices, and how they interact, is designed by human experts in a traditional way.

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma