Berikut ini daftar tajuk keilmuan Sistem Embedded
- Continuous Dynamics
- Discrete Dynamics
- Extended State Machine
- Composition of FSM
- Concurrent: Side by side
- Concurrent: Shared variables
- Concurrent: Cascade composition
- Hierarchical State Machine
- Hybrid Systems
- Timed Automata
- Higher Order Dynamics
- Supervisory Control