EE 560 Foundations of Cyber-Physical Systems

Introduction to the design of microcontroller based embedded systems. Focus is on embedded systems where design seamlessly integrates computational resources with physical systems. Topics covered include sampling theory, sensor/actuator interfacing, real-time and fault-tolerant embedded system design. Basics of wireless sensor networks. Modeling and formal verification techniques.