EECE 396 1 Hybrid and Embedded Systems Computation
EECE 396 -1 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, 2004 john. koo@vanderbilt. edu http: //www. vuse. vanderbilt. edu/~kootj
Hybrid System n A system built from atomic discrete components and continuous components by parallel and serial composition, arbitrarily nested. n The behaviors and interactions of components are governed by models of computation (MOCs). n Discrete Components n Finite State Machine (FSM) n Discrete Event (DE) n Synchronous Data Flow (SDF) n Continuous Components n Ordinary Differential Equation (ODE) n Partial Differential Equation (PDE)
Modeling: Finite State Machine
Topics n Relations n Binary Relation n Relation Properties n Equivalent Relation n Alphabets n Strings n Language n Finite Automata n Deterministic Finite Automata n Non- Deterministic Finite Automata n Ref: n D. L. Johnson, Elements of Logic via Numbers and Sets, Springer, 1998. n Harry R. Lewis and Christos H. Papadimitrious, Elements of Theory of Computation, Prentice Hall, 1998.
Relations
Relations
Relations
Relations
Alphabets
Deterministic Finite Automata
Deterministic Finite Automata
Deterministic Finite Automata
Non-Deterministic Finite Automata
Non-Deterministic Finite Automata
Non-Deterministic Finite Automata
End
- Slides: 16