Selecting and Maintaining Boundary Models: Access Conditions and Resource Limits

This working paper specifies a selection and maintenance contract for replacing an internal subsystem with a boundary model. It connects declared targets and construction access to static elimination, memory-bearing models, and input-output identification. Conditional analyses address singular boundary relations, initialization and forcing, identifiable risk quantities, resource caps, and the composition of exact or approximate reductions. The methods are not treated as mutually exclusive model families. Six prospective tests compare the contract with access-aware adaptive selection pipelines. Earlier numerical comparisons are excluded for lack of original generators and per-system records; the work establishes neither a new reduction theorem nor empirical superiority.

Authors

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2026-09-10
DOI
https://doi.org/10.5281/zenodo.22683516
Primary Topic
Software Reliability and Analysis Research
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Selecting and Maintaining Boundary Models: Access Conditions and Resource Limits

Bin Seol
Zenodo (CERN European Organization for Nuclear Research)
Software Reliability and Analysis Research
article

Selecting and Maintaining Boundary Models: Access Conditions and Resource Limits

Bin Seol
article en

Abstract

This working paper specifies a selection and maintenance contract for replacing an internal subsystem with a boundary model. It connects declared targets and construction access to static elimination, memory-bearing models, and input-output identification. Conditional analyses address singular boundary relations, initialization and forcing, identifiable risk quantities, resource caps, and the composition of exact or approximate reductions. The methods are not treated as mutually exclusive model families. Six prospective tests compare the contract with access-aware adaptive selection pipelines. Earlier numerical comparisons are excluded for lack of original generators and per-system records; the work establishes neither a new reduction theorem nor empirical superiority.

Zenodo (CERN European Organization for Nuclear Research)
Openalex Percentile: Top 5%
Software Reliability and Analysis Research
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.