Evolution-Based Timed Opacity under a Universal Observation Model

• URL: http://arxiv.org/abs/2603.26573v1
• Date: Fri, 27 Mar 2026 16:34:28 GMT
• Title: Evolution-Based Timed Opacity under a Universal Observation Model
• Abstract summary: Existing literature on timed opacity uses specific definitions for restricted subclasses of timed automata or limited observation models.<n>This paper establishes a unified framework for timed opacity by introducing a universal observation model for timed automata.
• Score: 5.49362178188018
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Existing literature on timed opacity uses specific definitions for restricted subclasses of timed automata or limited observation models. This lack of a unified definition makes it difficult to establish formal relationships and compare the expressiveness of different opacity variants. This paper establishes a unified framework for timed opacity by introducing a universal observation model for timed automata. First, we introduce an observation model with full observation of time delay and partial observation of locations, clocks, and events. Second, based on this model, we define the notion of evolution-based timed opacity. Third, we mathematically prove that evolution-based timed opacity strictly implies language-based timed opacity and establish a formal equivalence with execution-time opacity under constrained observations. This framework establishes a unified semantic hierarchy for characterizing the landscape of timed opacity.

Related papers

• Existence Precedes Value: Joint Modeling of Observational Existence and Evolving States in Time Series Forecasting [15.993594186846826]
  Real-world time series are often highly incomplete and irregular due to sensor dormancy, transmission delays, and event-driven sampling.<n>Timeflies is a unified framework that reformulates forecasting as a joint problem of future observability inference and value estimation.
  arXiv  Detail & Related papers  (2026-06-11T16:59:42Z)
• Tracking the Truth: Object-Centric Spatio-Temporal Monitoring for Video Large Language Models [154.39583176906893]
  Large language models (MLs) have advanced understanding, they remain highly prone to hallucinations in scenes.<n>We argue this stems from a failure intemporal monitoring, the ability to persistently track object dynamic identities, states, and relations over time.<n>Existing benchmarks obscure this deficit relying on single final-answer queries that can often be resolved via local visual cues or statistical priors.
  arXiv  Detail & Related papers  (2026-05-09T14:32:36Z)
• Interpretability in Deep Time Series Models Demands Semantic Alignment [19.12673689717747]
  We state interpretability in deep time series models should pursue semantic alignment.<n>Once established, semantic alignment must be preserved under temporal evolution.<n>We outline a blueprint for semantically aligned deep time series models, identify properties that support trust, and discuss implications for model design.
  arXiv  Detail & Related papers  (2026-02-02T15:48:30Z)
• TimeSliver : Symbolic-Linear Decomposition for Explainable Time Series Classification [10.148392358711787]
  We present a novel explainability-driven deep learning framework, TimeSliver, for time-series classification.<n>TimeSliver encodes the contribution of each temporal segment to the final prediction, allowing us to assign a meaningful importance score to every time point.<n>TimeSliver achieves predictive performance within 2% of state-of-the-art baselines across 26 UEA benchmark datasets.
  arXiv  Detail & Related papers  (2026-01-29T05:42:58Z)
• Priors in Time: Missing Inductive Biases for Language Model Interpretability [58.07412640266836]
  We show that Sparse Autoencoders impose priors that assume independence of concepts across time, implying stationarity.<n>We introduce a new interpretability objective -- Temporal Feature Analysis -- which possesses a temporal inductive bias to decompose representations at a given time into two parts.<n>Our results underscore the need for inductive biases that match the data in designing robust interpretability tools.
  arXiv  Detail & Related papers  (2025-11-03T18:43:48Z)
• Beyond Static Perception: Integrating Temporal Context into VLMs for Cloth Folding [6.0914269533287175]
  BiFold is a model that predicts language-conditioned pick-and-place actions from visual observations.<n>We present evidence that its fine-tuning and temporal context enable effective alignment between text and image regions.
  arXiv  Detail & Related papers  (2025-05-12T14:24:03Z)
• Measurement events relative to temporal quantum reference frames [44.99833362998488]
  We compare two consistent approaches to the Page-Wootters formalism to clarify the operational meaning of evolution and measurements.<n>We show that for non-ideal clocks, the purified measurement approach yields a time non-local evolution equation.<n>We argue that these approaches describe operationally distinct situations.
  arXiv  Detail & Related papers  (2023-08-21T18:26:12Z)
• OpenSTL: A Comprehensive Benchmark of Spatio-Temporal Predictive Learning [67.07363529640784]
  We propose OpenSTL to categorize prevalent approaches into recurrent-based and recurrent-free models. We conduct standard evaluations on datasets across various domains, including synthetic moving object trajectory, human motion, driving scenes, traffic flow and forecasting weather. We find that recurrent-free models achieve a good balance between efficiency and performance than recurrent models.
  arXiv  Detail & Related papers  (2023-06-20T03:02:14Z)
• Instructed Diffuser with Temporal Condition Guidance for Offline Reinforcement Learning [71.24316734338501]
  We propose an effective temporally-conditional diffusion model coined Temporally-Composable diffuser (TCD) TCD extracts temporal information from interaction sequences and explicitly guides generation with temporal conditions. Our method reaches or matches the best performance compared with prior SOTA baselines.
  arXiv  Detail & Related papers  (2023-06-08T02:12:26Z)
• TempSAL -- Uncovering Temporal Information for Deep Saliency Prediction [64.63645677568384]
  We introduce a novel saliency prediction model that learns to output saliency maps in sequential time intervals. Our approach locally modulates the saliency predictions by combining the learned temporal maps. Our code will be publicly available on GitHub.
  arXiv  Detail & Related papers  (2023-01-05T22:10:16Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.