97 citations · 239 across the 9 of their papers we have counts for
10 papers · 1 filter
Hybrid Digital Twin for process industry using Apros simulation environment
Mohammad Azangoo, Joonas Salmi, Iivo Yrjölä +5
Making an updated and as-built model plays an important role in the life-cycle of a process plant. In particular, Digital Twin models must be precise to guarantee the efficiency an…
Digital Twin-Assisted Controlling of AGVs in Flexible Manufacturing Environments
Mohammad Azangoo, Amir Taherkordi, Jan Olaf Blech +1
Digital Twins are increasingly being introduced for smart manufacturing systems to improve the efficiency of the main disciplines of such systems. Formal techniques, such as graphs…
Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems
Roopak Sinha, Cheng Pang, Gerardo Santillán Martínez +2
Industrial cyber-physical systems require complex distributed software to orchestrate many heterogeneous mechatronic components and control multiple physical processes. Industrial…
A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems
Roopak Sinha, Sandeep Patil, Luis Gomes +1
Industrial automation systems (IAS) need to be highly dependable; they should not merely function as expected but also do so in a reliable, safe, and secure manner. Formal methods…
Janus: A Systems Engineering Approach to the Design of Industrial Cyber-Physical Systems
Dennis Jarvis, Jacqueline Jarvis, Chen-Wei Yang +2
The benefits that arise from the adoption of a systems engineering approach to the design of engineered systems are well understood and documented. However , with software systems,…
An Artificial Intelligence Framework for Bidding Optimization with Uncertainty in Multiple Frequency Reserve Markets
Thimal Kempitiya, Seppo Sierla, Daswin De Silva +3
The global ambitions of a carbon-neutral society necessitate a stable and robust smart grid that capitalises on frequency reserves of renewable energy. Frequency reserves are resou…