Teaching cyber-physical systems to computer scientists via modeling and verification

  title={Teaching cyber-physical systems to computer scientists via modeling and verification},
  author={Kostadin Damevski and Badreldin Altayeb and Hui Chen and David Walter},
The greater versatility and increasingly smaller sizes of computing, sensing, and networking devices have resulted in a new computing paradigm called Cyber-Physical Systems (CPSs), which integrates computation and sensing into physical processes producing a wealth of exciting applications in many domains of life, such as transportation, medicine, and agriculture. In order to equip students with the essential knowledge and skills to be successful in the future, this paradigm requires an… CONTINUE READING

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
6 Extracted Citations
2 Extracted References
Similar Papers

Referenced Papers

Publications referenced by this paper.
Showing 1-2 of 2 references

Introduction to Embedded Systems - A Cyber-Physical Systems Approach

  • E. A. Lee, S. A. Seshia
  • http://LeeSeshia.org,
  • 2011
Highly Influential
5 Excerpts

Similar Papers

Loading similar papers…