From c459e0c7b77351a5545f7cd4c3e6c2362a969a66 Mon Sep 17 00:00:00 2001 From: someone Date: Tue, 5 Jun 2012 22:03:22 +0200 Subject: [PATCH] constraints + observed fault. --- constraints.dl | 7 +++++++ fault.obs | 11 +++++++++++ 2 files changed, 18 insertions(+) create mode 100644 constraints.dl create mode 100644 fault.obs diff --git a/constraints.dl b/constraints.dl new file mode 100644 index 0000000..d198319 --- /dev/null +++ b/constraints.dl @@ -0,0 +1,7 @@ +%constraints + +:- c(C,O,X), c(C,O,Y), X < Y. +:- p(C,O,X), p(C,O,Y), X < Y. +:- out_c(O,X), out_c(O,Y), X < Y. +:- out_p(O,X), out_p(O,Y), X < Y. + diff --git a/fault.obs b/fault.obs new file mode 100644 index 0000000..7524c38 --- /dev/null +++ b/fault.obs @@ -0,0 +1,11 @@ +%observed fault +%control +in_c(s_storage,half_full). +in_c(s_wind,20). +in_c(l_current,10). +in_c(l_demand,55). + +%switching +in_p(p_in,10). +out_p(p_out,50). + -- 2.43.0