Title :
Guest Editorial: Special Issue on Rigorous Modeling and Analysis of Cyber-Physical Systems
Author :
Cheng, Albert M. K. ; Ramesh S
Author_Institution :
Department of Computer Science, University of Houston, Houston, TX, USA
Abstract :
The three papers in this special issue focus on rigorous modeling and analysis of cyber-physical systems.
Keywords :
Digital control; Embedded software; Modeling; Protocols; Simulation; Special issues and sections;
Journal_Title :
Embedded Systems Letters, IEEE
DOI :
10.1109/LES.2014.2306753
