Open Access
MATEC Web of Conferences
Volume 44, 2016
2016 International Conference on Electronic, Information and Computer Engineering
Article Number 02092
Number of page(s) 3
Section Electronics, Information and Engineering Application
Published online 08 March 2016
  1. Lee, E. CPS foundations. Proceedings of the 47th ACM/IEEE Design Automation Conference., 2010. 737–742
  2. He, J. F. Cyber-physical systems. Communications of the China Computer Federation, 2010, 6 (1): 25–29
  3. Leonardi, F., Pinto, A., and Carloni, L. P. Synthesis of distributed execution platforms for cyber-physical systems with applications to high-performance buildings. In: Proceedings of the IEEE/ACM International Conference on Cyber-Physical Systems. Chicago, USA: IEEE, 2011. 215–224.
  4. Jha, S., Gulwani, S., Sanjit, A., and Seshia, A. Synthesizing Switching Logic for Safety and Dwell-Time Requirements. EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2010-28, 2010.
  5. Zhu, M., Li, B. X., and Chen, Q. Q., transforming hybrid UML to hybrid program for CPS property verification. Electronic journals, 2012, 40 ( 6 ) : 1126–1132.
  6. Platzer, A Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics. Heidelberg: Springer, 2010.
  7. Luigi T. De Luca, Propulsion physics (EDP Sciences, Les Ulis, 2009)