Special Issue "Cyber-Physical Systems"


A special issue of Sensors (ISSN 1424-8220). This special issue belongs to the section "Sensor Networks".

Deadline for manuscript submissions: 31 December 2014

Special Issue Editor

Guest Editor
Prof. Dr. Albert M. K. Cheng
Department of Computer Science University of Houston Houston, TX77004, USA
Website: http://www2.cs.uh.edu/~acheng/acheng.html
E-Mail: cheng@cs.uh.edu
Interests: cyber-physical systems, real-time systems, embedded systems, functional reactive systems, power-aware computing, real-time scheduling, formal verification, knowledge-based systems

Special Issue Information

Dear Colleagues,

A cyber-physical system (CPS) is a tightly coupled integration and coordination of computing elements, communication components, and physical resources. A multitude of wired and/or wireless communication/sensor networks connect these computing elements and physical resources. It is insufficient to study each of the following in isolation since a CPS is not their union, but their intersection: embedded computers, control theory, sensor and communication networks, physical resources, decision theory, data fusion, and knowledge discovery. Their joint dynamics must be studied together and this is what set this emerging discipline apart from these individually established fields. Before deploying a CPS, a formal modeling, analysis, and verification must be performed on the entire system, as well as its components, to ensure the CPS's safety, performance, and resilience. This Special Issue is devoted to the latest research in CPS and solicits papers in the following (but not limited to) topics:

  • Real-Time and Embedded Systems
  • Design Space Exploration and Synthesis
  • Control and Optimization
  • Automatic Optimization of Specifications and in Compilers, and Code Generators
  • Timing and Performance Analysis
  • Timing Analysis of Functional reactive systems
  • Model-based Testing
  • Correct-by-Construction
  • Requirements Modeling and Analysis
  • Model-driven Engineering
  • Application of Formal Methods in the design and validation of embedded systems
  • Safety Analysis
  • Fault Tolerance and Resilience
  • Sensor Networks
  • Code Generator Verification
  • Machine Learning
  • Data Fusion and Mining
  • Security

Dr. Albert M. K. Cheng
Guest Editor


Manuscripts should be submitted online at www.mdpi.com by registering and logging in to this website. Once you are registered, click here to go to the submission form. Manuscripts can be submitted until the deadline. Papers will be published continuously (as soon as accepted) and will be listed together on the special issue website. Research articles, review articles as well as communications are invited. For planned papers, a title and short abstract (about 100 words) can be sent to the Editorial Office for announcement on this website.

Submitted manuscripts should not have been published previously, nor be under consideration for publication elsewhere (except conference proceedings papers). All manuscripts are refereed through a peer-review process. A guide for authors and other relevant information for submission of manuscripts is available on the Instructions for Authors page. Sensors is an international peer-reviewed Open Access monthly journal published by MDPI.

Please visit the Instructions for Authors page before submitting a manuscript. The Article Processing Charge (APC) for publication in this open access journal is 1800 CHF (Swiss Francs).

Published Papers

No papers have been published in this special issue yet.

Last update: 21 May 2014

Sensors EISSN 1424-8220 Published by MDPI AG, Basel, Switzerland RSS E-Mail Table of Contents Alert