Cover Image

High-level reasoning while low-level actuation in Cyber-Physical Systems: How efficient is it?

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Karaduman, Burak, Tezel, Baris Tekin, Challenger, Moharram
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

ProMoTA: a model-driven framework for end-to-end traceability analysis
by: Mustafiz, Sadaf, et al.
Published: (2026)

Enhancing Architecture Frameworks by Including Modern Stakeholders and their Views/Viewpoints
by: Moin, Armin, et al.
Published: (2023)

Model-Driven Engineering for Quantum Programming: A Case Study on Ground State Energy Calculation
by: Polat, Furkan, et al.
Published: (2024)

Early Validation of High-level Requirements on Cyber-Physical Systems
by: Vašíček, Ondřej
Published: (2025)

Automated Repair of Cyber-Physical Systems
by: Valle, Pablo
Published: (2025)

Dynamic Risk Management in Cyber Physical Systems
by: Schneider, Daniel, et al.
Published: (2024)

Towards an Engineering Discipline for Resilient Cyber-Physical Systems
by: Caldas, Ricardo D.
Published: (2024)

Stress Testing Control Loops in Cyber-Physical Systems
by: Mandrioli, Claudio, et al.
Published: (2023)

Industrial Survey on Robustness Testing In Cyber Physical Systems
by: Ponsard, Christophe, et al.
Published: (2026)

Modeling and Simulation Based Engineering in the Context of Cyber-Physical Systems
by: Muzy, Alexandre
Published: (2026)

An Evaluation of Requirements Modeling for Cyber-Physical Systems via LLMs
by: Jin, Dongming, et al.
Published: (2024)

Foundation Models for the Digital Twin Creation of Cyber-Physical Systems
by: Ali, Shaukat, et al.
Published: (2024)

Designing a Custom Chaos Engineering Framework for Enhanced System Resilience at Softtech
by: Aktas, Ethem Utku, et al.
Published: (2025)

Foundation Models for Software Engineering of Cyber-Physical Systems: the Road Ahead
by: Lu, Chengjie, et al.
Published: (2025)

How Students Use Generative AI for Software Testing: An Observational Study
by: Ardic, Baris, et al.
Published: (2025)

Fuzzing-based Mutation Testing of C/C++ Software in Cyber-Physical Systems
by: Lee, Jaekwon, et al.
Published: (2025)

LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems
by: Etemadi, Khashayar, et al.
Published: (2025)

Automated Test Validators for Flaky Cyber-Physical System Simulators: Approach and Evaluation
by: Jodat, Baharin A., et al.
Published: (2025)

Towards a Unifying Reference Model for Digital Twins of Cyber-Physical Systems
by: Pfeiffer, Jerome, et al.
Published: (2025)

DPM-Bench: Benchmark for Distributed Process Mining Algorithms on Cyber-Physical Systems
by: Reiter, Hendrik, et al.
Published: (2025)

Reusing Model Validation Methods for the Continuous Validation of Digital Twins of Cyber-Physical Systems
by: Mertens, Joost, et al.
Published: (2025)

A Roadmap for Simulation-Based Testing of Autonomous Cyber-Physical Systems: Challenges and Future Direction
by: Birchler, Christian, et al.
Published: (2024)

Demonstrators for Industrial Cyber-Physical System Research: A Requirements Hierarchy Driven by Software-Intensive Design
by: Odyurt, Uraz, et al.
Published: (2025)

Automated Concern Extraction from Textual Requirements of Cyber-Physical Systems: A Multi-solution Study
by: Jin, Dongming, et al.
Published: (2025)

Generative AI in Simulation-Based Test Environments for Large-Scale Cyber-Physical Systems: An Industrial Study
by: Sadrnezhaad, Masoud, et al.
Published: (2025)

Evaluating Reinforcement Learning Safety and Trustworthiness in Cyber-Physical Systems
by: Dearstyne, Katherine, et al.
Published: (2025)

"Where is My Troubleshooting Procedure?": Studying the Potential of RAG in Assisting Failure Resolution of Large Cyber-Physical System
by: Rossi, Maria Teresa, et al.
Published: (2026)

Uncovering Failures in Cyber-Physical System State Transitions: A Fuzzing-Based Approach Applied to sUAS
by: Chambers, Theodore, et al.
Published: (2026)

Toward an Understanding of Developer Behaviour while Using Bug Localization Tools
by: Pedreira, Pablo Diaz, et al.
Published: (2026)

A Scalable Clustered Architecture for Cyber-Physical Systems
by: Cabral, Bernardo
Published: (2024)

Pretrain, Prompt, and Transfer: Evolving Digital Twins for Time-to-Event Analysis in Cyber-physical Systems
by: Xu, Qinghua, et al.
Published: (2023)

Novice Developers Produce Larger Review Overhead for Project Maintainers while Vibe Coding
by: Asdaque, Syed Ammar, et al.
Published: (2026)

HITA: An Architecture for System-level Testing of Healthcare IoT Applications
by: Sartaj, Hassan, et al.
Published: (2023)

Lost in Translation: A Study of Bugs Introduced by Large Language Models while Translating Code
by: Pan, Rangeet, et al.
Published: (2023)

Semantic API Alignment: Linking High-level User Goals to APIs
by: Feldt, Robert, et al.
Published: (2024)

CPSLint: A Domain-Specific Language Providing Data Validation and Sanitisation for Industrial Cyber-Physical Systems
by: Odyurt, Uraz, et al.
Published: (2025)

MORTAR: A Model-based Runtime Action Repair Framework for AI-enabled Cyber-Physical Systems
by: Wang, Renzhi, et al.
Published: (2024)

Towards a Value-Complemented Framework for Enabling Human Monitoring in Cyber-Physical Systems
by: Pfister, Zoe, et al.
Published: (2025)

Skills Composition Framework for Reconfigurable Cyber-Physical Production Modules
by: Sidorenko, Aleksandr, et al.
Published: (2024)

The Energy Impact of Domain Model Design in Classical Planning
by: Georgievski, Ilche, et al.
Published: (2026)