• Aucun résultat trouvé

Safety monitoring for autonomous systems: interactive elicitation of safety rules

N/A
N/A
Protected

Academic year: 2021

Partager "Safety monitoring for autonomous systems: interactive elicitation of safety rules"

Copied!
154
0
0

Texte intégral

Loading

Figure

Figure 1.1: Concept of supervisory control synthesis
Figure 1.4: SMOF process
Figure 1.5: System state space from the perspective of the monitor
Figure 2.1: Sterela robot measuring runway lamps
+7

Références

Documents relatifs