Modeling and Simulation Based Engineering in the Context of Cyber-Physical Systems

• URL: http://arxiv.org/abs/2604.13118v1
• Date: Mon, 13 Apr 2026 12:42:12 GMT
• Title: Modeling and Simulation Based Engineering in the Context of Cyber-Physical Systems
• Abstract summary: Execution semantics are not treated as first-class engineering entities.<n>Modeling and Simulation Based Engineering organizes engineering around an iterative cycle alternating formal execution, experimental execution, verification, and activity-mediated validation.<n>These applications show that the framework generalizes beyond CPS to any system whose behavior depends on explicitly defined execution conditions.
• Score: 51.82266520875928
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Cyber-Physical Systems (CPS) produce behavior through execution on substrates coupling computation with physical processes. However, usual engineering approaches do not treat execution semantics as first-class engineering entities. Formal verification reasons about model behaviors under fixed semantic assumptions that are not revisable and do not account for physical execution constraints. Simulation-based validation explores scenarios under execution semantics that are implicitly determined by the simulation engine. In both cases, physical constraints of the execution substrate are addressed as implementation details rather than as semantic boundary conditions. In this article, it is hypothesized that making execution semantics explicit as first-class engineering entities is necessary and sufficient to bridge the gap between verified model behaviors and validated executed behaviors in CPS. To test this hypothesis, Modeling and Simulation Based Engineering (MSBE) is proposed: a methodology grounded in the Theory of Modeling and Simulation. MSBE formalizes execution conditions as four components: execution semantics, activity (behaviorally meaningful changes), admissibility constraints (physical bounds), and specified properties (behavioral guarantees). MSBE organizes engineering around an iterative cycle alternating formal execution, experimental execution, verification, and activity-mediated validation. Executability is defined as stabilization of execution conditions and the induced admissible model space. The cycle is applied to four CPS classes (human-centric, biophysical, technological, and digital twins). These applications show that the framework generalizes beyond CPS to any system whose behavior depends on explicitly defined execution conditions. Modeling and Simulation-Based Engineering

Related papers

• PhyAgentOS: A Self-Evolving Operating System for Embodied Agents with Decoupled Cognitive Planning and Physical Execution [49.776611937968]
  We present PhyAgentOS, a foundation delivering scheduling, verification, memory, benchmarking, and safety as system-level services.<n>Its Session-Centered treats a session, not an action, as the minimum unit of scheduling, compatibility, supervised execution, evidence collection, and acceptance.<n>SessionVerifier distinguishes execution termination from semantic task completion via evidence-grounded verdicts of success, failure, or replan.<n> Benchmarking reuses the deployment session and verification path, so results trace to real execution.
  arXiv  Detail & Related papers  (2026-07-18T04:46:53Z)
• Physics-informed generative AI for semiconductor manufacturing: Enforcing hard physical constraints in generative models by construction [0.42970700836450487]
  Generative models are increasingly used to propose designs, data, and control actions for physical systems.<n> Semiconductor manufacturing provides a demanding test case.<n>This Perspective argues that generative AI for constrained physical domains must be physics-informed by construction.
  arXiv  Detail & Related papers  (2026-06-08T07:06:11Z)
• Provably Secure Agent Guardrail [89.79561918065122]
  Existing defense architectures rely on empirical semantic guardrails and probabilistic large model adjudicators.<n>This paper proposes a new security paradigm for agents based on the fundamental limitations of logical reasoning.
  arXiv  Detail & Related papers  (2026-05-28T02:12:41Z)
• CellScientist: Dual-Space Hierarchical Orchestration for Closed-Loop Refinement of Virtual Cell Models [62.281480231694]
  Virtual Cell Modeling (VCM) requires models that not only predict perturbation responses, but also support targeted revision when predictions fail.<n>Current LLM-assisted modeling face a refinement-routing problem: prediction discrepancies are observed through executable implementations.<n>We propose CellScientist, a dual-space hierarchical framework that couples a high-level hypothesis space with a low-level executable implementation space.
  arXiv  Detail & Related papers  (2026-05-08T06:40:24Z)
• From Brain Models to Executable Digital Twins: Execution Semantics and Neuro-Neuromorphic Systems [51.82266520875928]
  This survey introduces physically constrained executability as a unifying perspective for comparing approaches at the level of execution.<n>I propose a taxonomy of execution regimes ranging from isolated offline models to coordinated co-simulation, to continuously executing digital twins sustained by online data.<n>The executability concept clarifies why accuracy alone is insufficient, and motivates an agenda centered on semantic interoperability, hybrid-time correctness, evaluation protocols, scalable assimilation, and safe closed-loop validation.
  arXiv  Detail & Related papers  (2026-04-15T07:34:46Z)
• Agentic Scientific Simulation: Execution-Grounded Model Construction and Reconstruction [0.0]
  This paper investigates agentic scientific simulation, where model construction is organized as an execution-grounded interpret-act-validate loop.<n>We present JutulGPT, a reference implementation built on the fully differentiable Julia-based reservoir simulator JutulDarcy.
  arXiv  Detail & Related papers  (2026-02-27T15:42:05Z)
• Rethinking Scientific Modeling: Toward Physically Consistent and Simulation-Executable Programmatic Generation [8.067859101380389]
  Non-executable or physically inconsistent outputs remain prevalent under stringent engineering constraints.<n>A framework for physics-consistent automatic building modeling is proposed.<n>CivilInstruct is introduced as a domain-specific dataset that formalizes structural engineering knowledge and constraint reasoning.<n> MBEval is presented as a verification-driven benchmark that evaluates executability and structural dynamics consistency.
  arXiv  Detail & Related papers  (2026-02-06T06:57:04Z)
• Executable Ontologies in Game Development: From Algorithmic Control to Semantic World Modeling [51.56484100374058]
  We argue that Executable Ontologies (EO) represent a transition from algorithmic behavior programming to semantic world modeling.<n>We show how EO achieves prioritybased task interruption through dataflow conditions rather than explicit preemption logic.
  arXiv  Detail & Related papers  (2026-01-12T19:57:35Z)
• Behavior Trees vs Executable Ontologies: a Comparative Analysis of Robot Control Paradigms [51.56484100374058]
  We compare two approaches to modeling robotic behavior: imperative Behavior Trees (BTs) and declarative Executable Ontologies (EO)<n>BTs structure behavior hierarchically using control-flow, whereas EO represents the domain as a temporal, event-based semantic graph driven by dataflow rules.
  arXiv  Detail & Related papers  (2025-11-19T09:38:01Z)
• Subject-Event Ontology Without Global Time: Foundations and Execution Semantics [51.56484100374058]
  The formalization includes nine axioms (A1-A9), ensuring the correctness of executable: monotonicity of history (I1), acyclicity of causality (I2), traceability (I3)<n>The formalization is applicable to distributed systems, microservice architectures, DLT platforms, and multiperspectivity scenarios (conflicting facts from different subjects)<n>Special attention is given to the model-based approach (A9): event validation via schemas, actor authorization, automatic construction of causal chains (W3) without global time.
  arXiv  Detail & Related papers  (2025-10-20T19:26:44Z)
• Constrained Decoding for Robotics Foundation Models [12.916330118607918]
  We introduce SafeDec, a constrained decoding framework for autoregressive robot foundation models.<n>Task-specific safety rules are expressed as Signal Temporal Logic (STL) formulas and are enforced at inference time with minimal overhead.<n>Our method ensures that generated actions provably satisfy STL specifications under assumed dynamics at runtime without retraining.
  arXiv  Detail & Related papers  (2025-09-01T19:17:40Z)
• Execution Semantics of Behavior Trees in Robotic Applications [0.8378438766517396]
  This paper aims at defining the execution semantics of behavior trees (BTs) as used in robotics applications.<n>We present an abstract data type that formalizes the structure and execution of BTs.
  arXiv  Detail & Related papers  (2024-07-31T18:08:59Z)
• Coupled Requirements-driven Testing of CPS: From Simulation To Reality [5.7736484832934325]
  Failures in safety-critical Cyber-Physical Systems (CPS) can lead to severe incidents impacting physical infrastructure or even harming humans.<n>Current simulation and field testing practices, particularly in the domain of small Unmanned Aerial Systems (sUAS), are ad-hoc and lack a thorough, structured testing process.<n>We have developed an initial framework for validating CPS, specifically focusing on sUAS and robotic applications.
  arXiv  Detail & Related papers  (2024-03-24T20:32:12Z)
• CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version) [62.96267257163426]
  We introduce the CoCoMoT (Computing Conformance Modulo Theories) framework. First, we show how SAT-based encodings studied in the pure control-flow setting can be lifted to our data-aware case. Second, we introduce a novel preprocessing technique based on a notion of property-preserving clustering.
  arXiv  Detail & Related papers  (2021-03-18T20:22:50Z)

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.