The universal formal notation along with concept of Algorithmic State Machine (ASM) and Finite State machines (FSM) as a methodological fundamental of the logical control design is discussed. Logic control design teaches the fundamental of synthesis, analysis and decision making using one and the same environment. The modern requirements to the logic control design course include formal methods of design on each stage and a computer based environment for supporting the students' practical work. However, the logical control design enables transforming, uniting, minimizing, and decomposing both ASM and FSM.
|Number of pages
|ASEE Annual Conference Proceedings
|Published - 1999
|1999 ASEE Annual Conference and Exposition: Engineering Education to Serve the World - Cahrlotte, NC, United States
Duration: 20 Jun 1999 → 23 Jun 1999