lemonergy· battery engineering courses

Lemonergy · Studio block

Static upper-bound check

Reports whether a scalar is less than or equal to its configured bound.

Implementation ID
native-check-upper
Reviewed
2026-10-27

Behavior

pass = (value ≤ upper).

Interface

Static upper-bound check interfaceInputs or arguments on the left, observed outputs on the right. Conserving terminals appear below the component. The tables give units and behavior.Static upper-bound checkStudio blockin0out0
Original Lemonergy interface view. Lines identify ports; they are not a completed simulation circuit.
Ports and observed outputs
NameDirectionUnitMeaning
in0input1Value; real scalar.
out0output1Pass; bool scalar.

Parameters

Defaults are initial model values. Select values for your own model and operating conditions.

Configuration fields
ParameterUnitDefaultMeaning and limits
Upper bound
params[0]		13Configured value for Upper bound.

Equations and rules

  • pass = (value ≤ upper)

Worked example

Static upper-bound check — worked example

Value = 2. Pass at 0 s = 1.

Open Studio example after release →
Numerical checks for the bundled synthetic example
OutputTime (s)Expected valueUnitAbsolute tolerance
Pass
out0		0111e-09

Explore the recorded outputs

Static upper-bound check recorded example

Static upper-bound check
Static upper-bound check against timeRecorded synthetic simulation values. Time in seconds; output in —.0.500.750.2510.51.250.751.51—Time (s)
Static upper-bound check: 1 — at 0 s

2 actual recorded samples. Lines are visual guides between samples. Synthetic example, not measured cell data.

Download the recorded samples (JSON) · Open this Studio example after release

Use in a workflow

Static upper-bound check — worked example

Reports whether a scalar is less than or equal to its configured bound.

  1. Static upper-bound check: pass = (value ≤ upper).
    • Use the block reference for settings and connections.
    • Implementation tested locally; public release pending.
Open Studio example after release

Connected concepts

Limits and interpretation

  • Scalar real input; equality with the upper bound passes.

Reference basis

This software operation is defined by its public contract and worked example; no external research result is claimed.

Implementation sources

This reference follows the public interface and locally verified numerical checks for an upcoming release.

Contract: Lemonergy Studio public contract · Verification record: verification-2026-10-27

  • docs/glossary/native-block-verification.json

This implementation and its workflow uses (JSON) · Knowledge graph (JSON-LD)