Testing adaptive probabilistic software components in cyber systems
FOCS'10 Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems
V-Cloud: vehicular cyber-physical systems and cloud computing
Proceedings of the 4th International Symposium on Applied Sciences in Biomedical and Communication Technologies
Defining trust evidence: research directions
Proceedings of the Seventh Annual Workshop on Cyber Security and Information Intelligence Research
A novel key management scheme for wireless embedded systems
ACM SIGAPP Applied Computing Review
Rhythmic Tasks: A New Task Model with Continually Varying Periods for Cyber-Physical Systems
ICCPS '12 Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems
Model-Driven Performance Analysis of Large Scale Irrigation Networks
ICCPS '12 Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems
Perceptual control architecture for cyber-physical systems in traffic incident management
Journal of Systems Architecture: the EUROMICRO Journal
Editorial: Cyber-physical systems: Milestones and research challenges
Computer Communications
A comprehensive co-simulation platform for cyber-physical systems
Computer Communications
Speculations on the science of web user security
Computer Networks: The International Journal of Computer and Telecommunications Networking
Enhancing OSGi with real-time Java support
Software—Practice & Experience
Infusing cyber-physical systems concepts into an introductory computer science course
Journal of Computing Sciences in Colleges
Dynamic resolution in distributed cyber-physical system simulation
Proceedings of the 2013 ACM SIGSIM conference on Principles of advanced discrete simulation
Towards parallel execution of IEC 61131 industrial cyber-physical systems applications
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
Parallel scheduling for cyber-physical systems: analysis and case study on a self-driving car
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems
Context-sensitive synthesis of executable functional models of cyber-physical systems
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems
Formal verification of cyber-physical systems: coping with continuous elements
ICCSA'13 Proceedings of the 13th international conference on Computational Science and Its Applications - Volume 1
A load control method for small data centers participating in demand response programs
Future Generation Computer Systems
Effective real-time scheduling algorithm for cyber physical systems society
Future Generation Computer Systems
Resource management policies for real-time Java remote invocations
Journal of Parallel and Distributed Computing
Realizing a fault-tolerant embedded controller on distributed real-time systems
ACM SIGBED Review - Special Issue on the 5th Workshop on Adaptive and Reconfigurable Embedded Systems
Hi-index | 0.00 |
Cyber-physical systems (CPS) are physical and engineered systems whose operations are monitored, coordinated, controlled and integrated by a computing and communication core. Just as the internet transformed how humans interact with one another, cyber-physical systems will transform how we interact with the physical world around us. Many grand challenges await in the economically vital domains of transportation, health-care, manufacturing, agriculture, energy, defense, aerospace and buildings. The design, construction and verification of cyber-physical systems pose a multitude of technical challenges that must be addressed by a cross-disciplinary community of researchers and educators.