Skip to main content

CommandAuthenticationScenario

Robotics scenarios · Implementation: mlsysim/engine/scenario_definitions/robotics/supervision.py.

Construct this scenario with keyword inputs. The fields below show the types and defaults declared by this class.

Remote commands authenticated on a machine’s permission processor, priced against a takeover budget.

budget gives the speed, the partial spare, and the fallback deadline before and after the dispatch-to-admission allocation; the processor clock turns published cycle counts into time.

Notes

Equation: Composition of mlsysim.solvers.CommandAuthenticationModel.solve.

Assumptions: Inputs are routed to CommandAuthenticationModel.solve; their documented regimes and units apply to this configuration.

Excludes: Additional mechanisms beyond the linked solver contracts; the scenario does not collect measurements.

References

Derivation: This scenario binds named inputs to CommandAuthenticationModel. The linked solver contracts own equations, sources, and result-unit definitions.

Examples

Evaluate the named configuration and display a modeled result.

>>> from mlsysim import Scenarios
>>> case = Scenarios.WarehouseRemoteCommandAuthentication
>>> value = case.result.verify_time
>>> print(f"{value:.3g~}")
1.8 ms

Attributes

Name Description
budget
clock
freshness_window
mac_block_cycles
mac_blocks
result Evaluate the stated command authentication case through CommandAuthenticationModel.solve; returns its typed result and quantity units.
verify_cycles

budget

Type: TakeoverBudgetScenario.

Declared default: required.

clock

Type: Quantity.

Declared default: required.

verify_cycles

Type: float.

Declared default: required.

mac_block_cycles

Type: float.

Declared default: required.

mac_blocks

Type: int.

Declared default: required.

freshness_window

Type: Quantity.

Declared default: required.

result

engine.scenario_types.CommandAuthenticationScenario.result

Evaluate the stated command authentication case through CommandAuthenticationModel.solve; returns its typed result and quantity units.

Calculation: mlsysim.solvers.CommandAuthenticationModel.solve.

Back to top