flancian/garden
0
0
Fork 0
mirror of https://github.com/flancian/garden.git synced 2026-08-07 23:16:21 +00:00
Code Issues Packages Projects Releases Wiki Activity

vault backup: 2021-07-19 13:52:34

Browse Source
This commit is contained in:
Flancian
2021-07-19 13:52:34 +02:00
parent 448d408b9b
commit b71be7ae4d
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
system theoretic process analysis.md
+1 -1
View File
@@ -30,6 +30,6 @@
- step three: [[identify unsafe control actions]]
- an [[unsafe control action]] is one that, in a particular context, will lead to a [[hazard]].
- it must include the actual (real) context in which the control action is unsafe, instead of controller beliefs; and it must be linked to a hazard.
- define [[controller constraints]]: behaviours that need to be satisfied to prevent UCAs.
- define [[controller constraints]]: behaviours that need to be satisfied to prevent UCAs. they can usually be derived from negations of the UCAs.