Lampu lalu lintas untuk kendaraan dan penyeberang jalan dengan model extended state machine

Model sistem diambil dari Example 5.8 di buku Lee & Seshia “Introduction to Embedded Systems”

Berikut ini model untuk lampu lalu lintas

 

Berikut ini model untuk lampu bagi penyeberang jalan.

Berikut ini semantik gabungan dari lampu untuk mobil dan penyeberang jalan:

Implementasi: masih under construction

Contoh-contoh lain pemodelan dengan FSM dapat dilihat di artikel “Contoh Implementasi FSM dengan mikrokontroler“