Special Issue "Real-Time and Cyber-Physical Systems"
Deadline for manuscript submissions: closed (30 June 2016)
Prof. Dr. Albert M. K. Cheng
Department of Computer Science, University of Houston, Houston, TX 77004, USA
Website | E-Mail
Interests: real-time and embedded systems, functional reactive programming, real-time virtualization, cyber-physical systems, power-aware computing, formal verification, real-time logic, rule-based systems
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 not sufficient 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:
- Cyber-Physical Systems
- Real-Time and Embedded Systems
- Real-Time Virtualization
- Design Space Exploration and Synthesis
- Control and Optimization
- Automatic Optimization of Specifications and in Compilers, and Code Generators
- Timing and Performance Analysis
- Functional reactive systems
- Model-based Testing
- 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
Prof. Dr. Albert M. K. Cheng
Manuscript Submission Information
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. All papers will be peer-reviewed. Accepted papers will be published continuously in the journal (as soon as accepted) and will be listed together on the special issue website. Research articles, review articles as well as short 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 thoroughly refereed through a single-blind 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). Submitted papers should be well formatted and use good English. Authors may use MDPI's English editing service prior to publication or during author revisions.