research
∙
09/26/2022
Hazard Analysis of Collaborative Automation Systems: A Two-layer Approach based on Supervisory Control and Simulation
Safety critical systems are typically subjected to hazard analysis befor...
share
research
∙
12/16/2018
Incremental Observer Reduction Applied to Opacity Verification and Synthesis
With the proliferation of communication networks and mobile devices, the...
research
∙
11/17/2017
