Special Issue "Cyber-Physical Systems"

Quicklinks

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

Submission

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, see below for planned papers.

Planned Papers

The below list represents only planned manuscripts. Some of these manuscripts have not been received by the Editorial Office yet. Papers submitted to MDPI journals are subject to peer-review.

Type of Paper´╝Ü Article
Title: Efficient Evaluation of Wireless Real-time Control Networks
Authors: Peter Horvath, Mark Yampolskiy, Yuan Xue, Xenofon Koutsoukos and Janos Sztipanovits
Affiliations: Vanderbilt University; E-Mail: Xenofon.Koutsoukos@vanderbilt.edu
Abstract: In this paper, we present a system simulation framework for design and Performance evaluation of complex wireless cyber-physical systems. We describe the simulator architecture, and the specic developments that are required to simulate cyber-physical systems relying on multi-channel, multihop mesh networks. We introduce realistic and efficient physical layer models and a system simulation methodology which provides statistically significant performance evaluation results with low computational complexity. The capabilities of the proposed framework are illustrated on the example of WirelessHART, a centralized real-time multi-hop mesh network designed for industrial control and monitor applications.

Type of Paper: Review
Title: Optimization and Control of Cyber-Physical Vehicle Systems
Authors: Justin M. Bradley and Ella M. Atkins
Affiliations: University of Michigan; E-Mail: ematkins@umich.edu
Abstract: Cyber-Physical Systems (CPS) are composed of tightly-integrated computation, communication, and physical elements. Medical devices, buildings, mobile devices, robotics, transportation, and energy are application domains that can benefit from CPS co-design and optimization techniques. Cyber-physical vehicles are rapidly advancing due to progress in real-time computing, control, and artificial intelligence. Multidisciplinary/multi-objective design optimization enables vehicle systems to be designed to maximize efficiency, capability, and safety while online regulation enables the vehicle to be responsive to disturbances, modeling errors, and uncertainties. A CPS is cooperatively optimized or co-optimized over both cyber and physical systems which have historically been designed separately then integrated. A CPS is cooperatively regulated or co-regulated when cyber and physical resources are commanded in a manner that is responsive to both cyber and physical system properties. This paper will review research in CPS that focuses on co-optimization and co-regulation schemes for CPS with focus on mobile robotic and vehicle applications. Time-varying sampling patterns, sensor scheduling, anytime control, feedback scheduling, task scheduling, and resource sharing will be examined.

Last update: 15 September 2014

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