Re: [PATCH v3 05/13] Documentation/rv: Add documentation about hybrid automata

[PATCH v3 00/13] rv: Add Hybrid Automata monitor type, per-object and deadline monitors · Gabriele Monaco <gmonaco@redhat.com> · 2025-12-05
[PATCH v3 01/13] rv: Unify DA event handling functions across monitor types · Gabriele Monaco <gmonaco@redhat.com> · 2025-12-05
Re: [PATCH v3 01/13] rv: Unify DA event handling functions across monitor types · Nam Cao <hidden> · 2025-12-18
Re: [PATCH v3 01/13] rv: Unify DA event handling functions across monitor types · Gabriele Monaco <gmonaco@redhat.com> · 2025-12-22
[PATCH v3 02/13] rv: Add Hybrid Automata monitor type · Gabriele Monaco <gmonaco@redhat.com> · 2025-12-05
Re: [PATCH v3 02/13] rv: Add Hybrid Automata monitor type · Nam Cao <hidden> · 2025-12-18
Re: [PATCH v3 02/13] rv: Add Hybrid Automata monitor type · Gabriele Monaco <gmonaco@redhat.com> · 2025-12-22
[PATCH v3 03/13] verification/rvgen: Allow spaces in and events strings · Gabriele Monaco <gmonaco@redhat.com> · 2025-12-05
[PATCH v3 04/13] verification/rvgen: Add support for Hybrid Automata · Gabriele Monaco <gmonaco@redhat.com> · 2025-12-05
Re: [PATCH v3 04/13] verification/rvgen: Add support for Hybrid Automata · Nam Cao <hidden> · 2025-12-25
[PATCH v3 05/13] Documentation/rv: Add documentation about hybrid automata · Gabriele Monaco <gmonaco@redhat.com> · 2025-12-05
Re: [PATCH v3 05/13] Documentation/rv: Add documentation about hybrid automata · Nam Cao <hidden> · 2025-12-25
[PATCH v3 06/13] rv: Add sample hybrid monitors stall · Gabriele Monaco <gmonaco@redhat.com> · 2025-12-05
Re: [PATCH v3 06/13] rv: Add sample hybrid monitors stall · Nam Cao <hidden> · 2025-12-18
[PATCH v3 07/13] rv: Convert the opid monitor to a hybrid automaton · Gabriele Monaco <gmonaco@redhat.com> · 2025-12-05
Re: [PATCH v3 07/13] rv: Convert the opid monitor to a hybrid automaton · Nam Cao <hidden> · 2025-12-18
[PATCH v3 08/13] sched: Export hidden tracepoints to modules · Gabriele Monaco <gmonaco@redhat.com> · 2025-12-05
Re: [PATCH v3 08/13] sched: Export hidden tracepoints to modules · Phil Auld <hidden> · 2025-12-05
Re: [PATCH v3 08/13] sched: Export hidden tracepoints to modules · Phil Auld <hidden> · 2025-12-11
Re: [PATCH v3 08/13] sched: Export hidden tracepoints to modules · Phil Auld <hidden> · 2026-01-06
[PATCH v3 09/13] sched: Add deadline tracepoints · Gabriele Monaco <gmonaco@redhat.com> · 2025-12-05
Re: [PATCH v3 09/13] sched: Add deadline tracepoints · Phil Auld <hidden> · 2025-12-05
[PATCH v3 10/13] rv: Add support for per-object monitors in DA/HA · Gabriele Monaco <gmonaco@redhat.com> · 2025-12-05
Re: [PATCH v3 10/13] rv: Add support for per-object monitors in DA/HA · Nam Cao <hidden> · 2025-12-18
[PATCH v3 11/13] verification/rvgen: Add support for per-obj monitors · Gabriele Monaco <gmonaco@redhat.com> · 2025-12-05
[PATCH v3 12/13] rv: Add deadline monitors · Gabriele Monaco <gmonaco@redhat.com> · 2025-12-05
Re: [PATCH v3 12/13] rv: Add deadline monitors · Nam Cao <hidden> · 2025-12-25
Re: [PATCH v3 12/13] rv: Add deadline monitors · Nam Cao <hidden> · 2025-12-25
Re: [PATCH v3 12/13] rv: Add deadline monitors · Gabriele Monaco <gmonaco@redhat.com> · 2025-12-29
[PATCH v3 13/13] rv: Add dl_server specific monitors · Gabriele Monaco <gmonaco@redhat.com> · 2025-12-05
Re: [PATCH v3 13/13] rv: Add dl_server specific monitors · Nam Cao <hidden> · 2025-12-25

From: Nam Cao <hidden>
Date: 2025-12-25 01:16:07
Also in: linux-doc, lkml

Gabriele Monaco [off-list ref] writes:

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

Signed-off-by: Gabriele Monaco <gmonaco@redhat.com>

Reviewed-by: Nam Cao <redacted>

`h`	back out one level
`j`	next message in thread
`k`	previous message in thread
`l`	drill in
`Esc`	close help / fold thread tree
`?`	toggle this help