EECE Hybrid and Embedded Systems: Computation T. John Koo, Ph.D. Institute for Software Integrated Systems Department of Electrical Engineering and Computer Science Vanderbilt University 300 Featheringill Hall January 22,

2 Hybrid System A system built from atomic discrete components and continuous components by parallel and serial composition, arbitrarily nested. The behaviors and interactions of components are governed by models of computation (MOCs). Discrete Components Finite State Machine (FSM) Discrete Event (DE) Synchronous Data Flow (SDF) Continuous Components Ordinary Differential Equation (ODE) Partial Differential Equation (PDE)

3 Modeling: Finite State Machine

4 Topics Relations Binary Relation Relation Properties Equivalent Relation Alphabets Strings Language Finite Automata Deterministic Finite Automata Non- Deterministic Finite Automata Ref: D. L. Johnson, Elements of Logic via Numbers and Sets, Springer, Harry R. Lewis and Christos H. Papadimitrious, Elements of The Theory of Computation, Prentice Hall, 1998.

5 Relations

6

7

8

9 Alphabets

10 Deterministic Finite Automata

11 Deterministic Finite Automata

12 Deterministic Finite Automata

13 Non-Deterministic Finite Automata

14 Non-Deterministic Finite Automata

15 Non-Deterministic Finite Automata

16 End