10 citations · 13 across the 3 of their papers we have counts for
3 papers
Hazard Analysis of Collaborative Automation Systems: A Two-layer Approach based on Supervisory Control and Simulation
Tom P. Huck, Yuvaraj Selvaraj, Constantin Cronrath +4
Safety critical systems are typically subjected to hazard analysis before commissioning to identify and analyse potentially hazardous system states that may arise during operation.…
Incremental Observer Reduction Applied to Opacity Verification and Synthesis
Mona Noori-Hosseini, Bengt Lennartson, Christoforos Hadjicostis
With the proliferation of communication networks and mobile devices, the privacy and security concerns on their information flow are raised. Given a critical system that may leak c…
A Supervisory Control Algorithm Based on Property-Directed Reachability
Koen Claessen, Jonatan Kilhamn, Laura Kovács +1
We present an algorithm for synthesising a controller (supervisor) for a discrete event system (DES) based on the property-directed reachability (PDR) model checking algorithm. The…