97 citations · 219 across the 7 of their papers we have counts for
11 papers
Plant model generation from event log using ProM for formal verification of CPS
Midhun Xavier, Victor Dubinin, Sandeep Patil +1
This paper introduces the concept of plant model generation from the recorded traces of events using the process mining technique. The event logs are obtained by visually simulatin…
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…
Integrating 2D and 3D Digital Plant Information Towards Automatic Generation of Digital Twins
Seppo Sierla, Mohammad Azangoo, Alexander Fay +2
Ongoing standardization in Industry 4.0 supports tool vendor neutral representations of Piping and Instrumentation diagrams as well as 3D pipe routing. However, a complete digital…