Courses

EGRE 636 - Introduction to Cyber Physical Systems

This course introduces students to the research, design and analysis of cyber-physical systems -- the tight integration of computing, control and communication. The main focus is on understanding existing and emerging models of CPSs, as well as physical processes in terms of differential equations and computational models for discrete time systems, such as extended finite-state machines and hybrid automata. State-charts are introduced and combined with the physical models for analysis of embedded systems. Linear temporal logic is introduced and applied to specify the desired system behavior. Tools for analytical study and verification of the satisfaction of linear temporal logic formulae are presented and discussed in numerous applications. Dependability attributes such as safety, reliability and cyber-security are discussed in the context of high integrity CPSs.

Total Credit Hours: 3
Semester(s):
Fall 2018
Prerequisites:
EGRE 335 and EGRE 365 or equivalents or permission of instructor
Instructor:
Sherif Abdelwahed
Instructor Email:
sabdelwahed@vcu.edu

Weekly Live Sessions

Mon Tue Wed Thu Fri Sat
11:00AM - 12:15 PM
11:00AM - 12:15 PM

Back to Search Results

Questions? Contact the VCU CGEP Director:

Dr. Gregory Triplett   •   Ph: (804) 828-5387   •   getriplett@vcu.edu