Pranay Jhunjhunwala

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 8

Top Topics

Behavioural Patterns

Process Automation

Specific Problems

Formal Verification

Top Venues

Publications

Polina Ovsiannikova, Etienne Le Priol, Vincent Perret, Pranay Jhunjhunwala, Midhun Xavier, Valeriy Vyatkin
Formal verification of observers supervising a cyber-physical system implemented using IEC 61499. ISIE (2023)
Hiruni Kothalawala, Pranay Jhunjhunwala, Valeriy Vyatkin
Towards migration from IEC 61131-3 to IEC 61499 in process industry: redesign of visualisation. ISIE (2023)
Pranay Jhunjhunwala, Polina Ovsiannikova, Valeriy Vyatkin
Design Pattern for Industrial Control Applications Based on One-Line IEC 61499 Adapter Connections. IECON (2023)
Pranay Jhunjhunwala, Valeriy Vyatkin
Proposing and Prototyping an Extension to the Adapter Concept in the IEC 61499 Standard. IEEE Access 10 (2022)
Pranay Jhunjhunwala, Alois Zoitl, Udayanto Dwi Atmojo, Valeriy Vyatkin
Monitoring design pattern for distributed automation systems in IEC 61499 and its formal modelling. ISIE (2022)
Pranay Jhunjhunwala, Udayanto Dwi Atmojo, Valeriy Vyatkin
Applying Skill-based Engineering using OPC-UA in Production System with a Digital Twin. ISIE (2021)
Pranay Jhunjhunwala, Jan Olaf Blech, Alois Zoitl, Udayanto Dwi Atmojo, Valeriy Vyatkin
A Design Pattern for Monitoring Adapter Connections in IEC 61499. ICIT (2021)
Pranay Jhunjhunwala, Udayanto Dwi Atmojo, Valeriy Vyatkin
Towards Implementation of Interoperable Smart Sensor Services in IEC 61499 for Process Automation. ETFA (2020)