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

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

One thought on “Lampu lalu lintas untuk kendaraan dan penyeberang jalan dengan model extended state machine

Tinggalkan Balasan

Situs ini menggunakan Akismet untuk mengurangi spam. Pelajari bagaimana data komentar Anda diproses.