diff options
| author | Gabriele Monaco <gmonaco@redhat.com> | 2026-03-30 13:10:03 +0200 |
|---|---|---|
| committer | Gabriele Monaco <gmonaco@redhat.com> | 2026-03-31 16:47:17 +0200 |
| commit | 708340c2714c4770f1cfac09f20fe7fc8a3acd09 (patch) | |
| tree | e0d7ea5cff25a9dbd0f1aaab388aa0f060eb2d4a /rust/kernel/interop/git@git.tavy.me:linux-stable.git | |
| parent | a82adadb16894852fc8bc5a681f2070bea33b6b6 (diff) | |
Documentation/rv: Add documentation about hybrid automata
Describe theory and implementation of hybrid automata in the dedicated
page hybrid_automata.rst
Include a section on how to integrate a hybrid automaton in
monitor_synthesis.rst
Also remove a hanging $ in deterministic_automata.rst
Reviewed-by: Nam Cao <namcao@linutronix.de>
Reviewed-by: Juri Lelli <juri.lelli@redhat.com>
Link: https://lore.kernel.org/r/20260330111010.153663-6-gmonaco@redhat.com
Signed-off-by: Gabriele Monaco <gmonaco@redhat.com>
Diffstat (limited to 'rust/kernel/interop/git@git.tavy.me:linux-stable.git')
0 files changed, 0 insertions, 0 deletions