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.
|•||2:00 PM - 3:15 PM in W106||•||2:00 PM - 3:15 PM in W106||•||•|
Dr. Gregory Triplett • Ph: (804) 828-5387 • email@example.com