Modern control theory (3rd ed.)
Modern control theory (3rd ed.)
An Introduction to the Kalman Filter
An Introduction to the Kalman Filter
Sensor data fusion for context-aware computing using dempster-shafer theory
Sensor data fusion for context-aware computing using dempster-shafer theory
Incremental consistency checking for pervasive context
Proceedings of the 28th international conference on Software engineering
A deferred cleansing method for RFID data analytics
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
Cyber Physical Systems: Design Challenges
ISORC '08 Proceedings of the 2008 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing
ICDCS '08 Proceedings of the 2008 The 28th International Conference on Distributed Computing Systems
Self-adaptive software: Landscape and research challenges
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Software Engineering for Self-Adaptive Systems
Software Engineering for Self-Adaptive Systems
False data injection attacks against state estimation in electric power grids
Proceedings of the 16th ACM conference on Computer and communications security
Partial constraint checking for context consistency in pervasive computing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Predictive constrained gain scheduling For UGV path tracking in a networked control system
IROS'09 Proceedings of the 2009 IEEE/RSJ international conference on Intelligent robots and systems
Template matching based on a grayscale hit-or-miss transform
IEEE Transactions on Image Processing
Resynchronizing Model-Based Self-Adaptive Systems with Environments
APSEC '12 Proceedings of the 2012 19th Asia-Pacific Software Engineering Conference - Volume 01
Managing environment and adaptation risks for the internetware paradigm
Theories of Programming and Formal Methods
Hi-index | 0.00 |
Cyber-physical systems are systems that integrate the digital computational world with the real physical world, often using sensors and actuators as interfaces. There exist many application domains of cyber-physical systems such as autonomous systems, process control systems, robotic systems, and context-aware systems. The physical world is a complex and continuous world that changes in real-time while the computational world is a simplified and discrete world that often stores a delayed, likely inaccurate image of the physical world using sensory data. The mismatch between these two worlds poses unique challenges of developing software for cyber-physical systems. In this paper, we mainly (1) illustrate this mismatch problem by presenting difficulties that we faced during two projects of developing software for cyber-physical systems: the self-adaptive robot car project and iSpace project; (2) systematically analyse the reason for the mismatch problem based on our first-hand experiences; (3) summarize a general methodology on how to partly bridge the gap between the two mismatched worlds to better develop software for cyber-physical systems based on the knowledge learned from the two projects. We expect that these experiences can help others in better design and develop cyber-physical systems and can be used to explore new techniques (such as new testing techniques) to improve the quality of cyber-physical systems.