160 likes | 300 Views
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
E N D
EECE 396-1Hybrid 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 • 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)
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, 1998. • Harry R. Lewis and Christos H. Papadimitrious, Elements of The Theory of Computation, Prentice Hall, 1998.