Intent
Keep the value of m within interval [bl,bu] while performing miss.
Template
PCTL
$
\mapping(\lit{preserve}\ \terminal{m} \ \lit{within}\ [\term{v}_1,\term{v}_2]\ \lit{while}\ \term{miss})=\mathcal{E}_{[\term{v}_1,\term{v}_2]}
(\mapping(\term{miss}))
$
Variations
This pattern can be extended by considering other quantitative measures, such as energy saving and utility.
Examples and Known Uses
the robot’s objective is to maximize its target classification performance at all the sites, under limited onboard energy constraints (including both communication and motion), with a limited access to a human operator [..] [68]
Relationships
See the Conserve pattern.