97 citations · 261 across the 11 of their papers we have counts for
15 papers
Ti-iLSTM: A TinyDL Approach for Logic-Level Anomaly Detection in Industrial Water Treatment Systems
Mandar Joshi, Farzana Zahid, Judy Bowen +3
Industrial Water Treatment Systems (IWTS) are safety critical cyber-physical infrastructures and due to increased connectivity, these systems are exposed to cyber threats that can…
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…
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…
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…
Automatic Assembly Planning based on Digital Product Descriptions
Seppo Sierla, Ville Kyrki, Pekka Aarnio +1
This paper proposes a new concept in which a digital twin derived from a digital product description will automatically perform assembly planning and orchestrate the production res…
Applying graph matching techniques to enhance reuse of plant design information
Miia Rantala, Hannu Niemistö, Tommi Karhela +2
This article investigates how graph matching can be applied to process plant design data in order to support the reuse of previous designs. A literature review of existing graph ma…
Designing Actively Secure, Highly Available Industrial Automation Applications
Awais Tanveer, Roopak Sinha, Stephen G. MacDonell +2
Programmable Logic Controllers (PLCs) execute critical control software that drives Industrial Automation and Control Systems (IACS). PLCs can become easy targets for cyber-adversa…
Visual counterexample explanation for model checking with Oeritte
Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen +1
Despite being one of the most reliable approaches for ensuring system correctness, model checking requires auxiliary tools to fully avail. In this work, we tackle the issue of its…
Combining closed-loop test generation and execution by means of model checking
Igor Buzhinsky, Valeriy Vyatkin
Model checking is an established technique to formally verify automation systems which are required to be trusted. However, for sufficiently complex systems model checking becomes…
Requirement verification in simulation-based automation testing
Eero Siivola, Seppo Sierla, Hannu Niemistö +2
The emergence of the Industrial Internet results in an increasing number of complicated temporal interdependencies between automation systems and the processes to be controlled. Th…