posted by user: mpstew || 7423 views || tracked by 19 users: [display]

ACM TECS 2010 : The Synthesis of Cyber-Physical Systems-ACM Transactions on Embedded Computing Systems


When N/A
Where N/A
Submission Deadline Feb 20, 2010
Notification Due Apr 20, 2010
Final Version Due May 20, 2010
Categories    cyber-physical systems   embedded systems   real-time   control

Call For Papers

ACM Transactions on Embedded Computing Systems
Special Issue on
The Synthesis of Cyber-Physical Systems (SCPS)

Cyber-Physical Systems (CPS) are characterized by a tight integration of computation and control with the sensing and actuation of physical components. The study of CPS has its roots in the embedded systems, real-time systems, and control research areas. These systems have a wide array of applications, including aerospace, automotive, energy, and personal health care. CPSs transform the way human beings interact with the physical world. However, research on the design and synthesis of CPS is still in its infancy. An ad-hoc design process is used for most CPS. Many CPSs must be reliable, adaptable, easy-to-use, and low-power. Although these challenges are significant for embedded systems without tight interaction with the physical world, they are amplified in CPS: many types of actuation permit no method of reversing a poor decision. Integrating special-purpose software systems with heterogeneous sensors and actuators is also challenging.

This journal special issue will cover recent progress on
scientific foundations, implementation technologies, and
system integration techniques for CPSs. More specifically,
the following topics will be considered, as well as other
topics relevant to the synthesis of cyber-physical systems.

Topics of interest include but are not limited to:
* CPS design case studies
* Specification languages for CPS
* Characterization and modeling of CPS
* Design-time optimization of CPS
* Run-time adaptation of CPS
* Testing and evaluation of CPS

Related Resources

ECBS 2021   7th Conference on the Engineering of Computer Based Systems
ICACAR 2021   2021 4th International Conference on Advanced Control, Automation and Robotics (ICACAR 2021)
ACM--RSAE--EI Compendex, Scopus 2021   ACM--2021 The 3rd International Conference on Robotics Systems and Automation Engineering (RSAE 2021)--EI Compendex, Scopus
JCCAR 2021   2021 International Joint Conference on Control, Automation and Robotics (JCCAR 2021)
IEEE TDSC - XAI-CTI 2020   IEEE Transactions on Dependable and Secure Computing Special Issue on Explainable AI for Cyber Threat Intelligence (XAI-CTI) Applications
IEEE--ICCCR--Ei Compendex, Scopus 2021   IEEE--2021 International Conference on Computer, Control and Robotics (ICCCR 2021)--Ei Compendex, Scopus
RSAE--ACM, EI, Scopus 2021   ACM--2021 The 3rd International Conference on Robotics Systems and Automation Engineering (RSAE 2021)--EI Compendex, Scopus
EI/SCOPUS-ACM-CCEAI 2021   5th International Conference on Control Engineering and Artificial Intelligence (CCEAI 2021)
ICITST 2020   The 15th International Conference for Internet Technology and Secured Transactions
CPSIOT 2020   2020 International Conference on Cyber Physical Systems and IoT(CPSIOT 2020)