Admissible Transition Systems with Induced Geometry and Transparent Transition Readouts

This paper develops a structural framework for discrete decision systems in which admissible transitions define the induced geometry of observable processes. The framework introduces a neighborhood-free formulation that avoids predefined graph proximity and probabilistic assumptions. Instead, admissible transition structures are treated as the primary object from which notions of geometry, paths, costs, and observable behavior are induced. A transparent Markov-type readout is constructed directly from observed transitions, separating the structural layer from stochastic interpretation. The framework is applicable to discrete transition systems, automation, human-in-the-loop systems, and explainable AI settings.

Authors

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2026-05-27
DOI
https://doi.org/10.5281/zenodo.20407358
Primary Topic
Formal Methods in Verification
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
preprint

Admissible Transition Systems with Induced Geometry and Transparent Transition Readouts

Sari Harmoinen, Mika-Petri Laakkonen, Jarkko Hurme
Zenodo (CERN European Organization for Nuclear Research)
Formal Methods in Verification
preprint

Admissible Transition Systems with Induced Geometry and Transparent Transition Readouts

Sari Harmoinen, Mika-Petri Laakkonen, Jarkko Hurme
preprint en

Abstract

This paper develops a structural framework for discrete decision systems in which admissible transitions define the induced geometry of observable processes. The framework introduces a neighborhood-free formulation that avoids predefined graph proximity and probabilistic assumptions. Instead, admissible transition structures are treated as the primary object from which notions of geometry, paths, costs, and observable behavior are induced. A transparent Markov-type readout is constructed directly from observed transitions, separating the structural layer from stochastic interpretation. The framework is applicable to discrete transition systems, automation, human-in-the-loop systems, and explainable AI settings.

Zenodo (CERN European Organization for Nuclear Research)
Peace, Justice and strong institutions
Formal Methods in Verification
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.