4 citations · 4 across the 1 of their papers we have counts for
2 papers
eess.SY2022★ 4 cited
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…
cs.SE2021
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…