A Framework for the Generation of Monitor and Plant Model from Event Logs Using Process Mining for Formal Verification of Event-Driven Systems

Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin^*

^*Corresponding author for this work

Research output: Contribution to journal › Article › Scientific › peer-review

7 Downloads (Pure)

1 results

Filter

Active
ZERO-SWARM/T40702: Zero-enabling smart networked control framework for agile cyber physical production systems of systems
Jäntti, R. (Principal investigator), Costa Requena, J. (Project Member), Saba, N. (Project Member), Kortela, J. (Project Member) & Virrankoski, R. (Project Member)
01/06/2022 → 28/02/2025
Project: EU: Framework programmes funding