Testing of Cyber-Physical Systems: Control-Theoretic and Model-Based Approaches

Deadline for manuscript submissions: 31 July 2025

 

Special Issue Editors

 

Dr. Drishti Yadav Website  E-Mail: drishti.yadav@uni.lu
Guest Editor
University of Luxembourg, Luxembourg
Interests: cyber-physical systems, model-based testing, software engineering, control engineering, optimization

      

Special Issue Information

 

TCyber-Physical Systems (CPS) are tightly integrated computing and physical processes found in domains such as automotive, healthcare, industrial automation, and robotics. Ensuring the correctness, safety, and reliability of these systems requires rigorous testing methodologies that incorporate both software engineering techniques and control-theoretic principles. However, traditional testing approaches are often insufficient to capture the complex interactions between software and physical components.


This special issue aims to bring together leading researchers and practitioners to advance the state-of-the-art in testing, verification, and validation of CPS. We invite original research and survey papers covering innovative techniques, frameworks, tools, and case studies related to CPS testing. Topics of interest include, but are not limited to:

  • Control-theoretic approaches to testing CPS
  • Model-based testing techniques for CPS
  • Software testing methods tailored for embedded and real-time systems
  • Verification and validation techniques for safety-critical CPS
  • Analysis of CPS behavior under faults and cyber-attacks
  • Automated test case generation for hybrid systems
  • Case studies and industrial applications of CPS testing

 
By bridging the gap between control theory and software engineering, this special issue seeks to provide novel insights and foster collaboration among researchers in these fields. We particularly encourage submissions that propose new theoretical foundations, practical tools, or experimental evaluations that can enhance the dependability of modern CPS.

  

Keywords:

 

  • Cyber-Physical Systems
  • Testing
  • Control-Theoretic Testing
  • Model-Based Testing
  • Verification
  • Validation
  • Software Testing
  • Fault Analysis
  • Formal Methods

 

 Published Papers