diff --git a/examples/C/README.md b/examples/C/README.md index 21526a64..b86ce2f3 100644 --- a/examples/C/README.md +++ b/examples/C/README.md @@ -19,3 +19,4 @@ * [Train Door](src/train-door/README.md): Train door controller from a verification paper. * [Low Code](src/low-code/LowCode.lf): Using ChatGPT to generate reaction bodies. * [Watchdog](src/watchdog/README.md): Federated illustration of watchdogs. +* [Zero-delay Cycles](src/zero-delay-cycles/README.md): Federated patterns with zero-delay cycles. diff --git a/examples/C/src/zero-delay-cycles/README.md b/examples/C/src/zero-delay-cycles/README.md new file mode 100644 index 00000000..411d1346 --- /dev/null +++ b/examples/C/src/zero-delay-cycles/README.md @@ -0,0 +1,18 @@ +# Zero-delay Cycles + +These examples show usage patterns for zero-delay cycles in Lingua Franca. + + + + + + + + + + + +
Consistency + Consistency.lf: Symmetric control system with two controllers that need to take actions on a physical plant based on consistent information.
Feedback + Feedback.lf: Feedback controller coupled with supervisory controller.
ZeroDelayCycle + ZeroDelayCycle.lf: Trivial test case.
diff --git a/examples/C/src/zero-delay-cycles/img/Consistency.png b/examples/C/src/zero-delay-cycles/img/Consistency.png new file mode 100644 index 00000000..3292cfa8 Binary files /dev/null and b/examples/C/src/zero-delay-cycles/img/Consistency.png differ diff --git a/examples/C/src/zero-delay-cycles/img/Feedback.png b/examples/C/src/zero-delay-cycles/img/Feedback.png new file mode 100644 index 00000000..58a9000a Binary files /dev/null and b/examples/C/src/zero-delay-cycles/img/Feedback.png differ diff --git a/examples/C/src/zero-delay-cycles/img/ZeroDelayCycle.png b/examples/C/src/zero-delay-cycles/img/ZeroDelayCycle.png new file mode 100644 index 00000000..a57c362a Binary files /dev/null and b/examples/C/src/zero-delay-cycles/img/ZeroDelayCycle.png differ