Exemple On veut commander le chauffage et la ventilation dune salle de TD à partir de la température extérieure de la manière suivante : - Si la température.

Présentation au sujet: "Exemple On veut commander le chauffage et la ventilation dune salle de TD à partir de la température extérieure de la manière suivante : - Si la température."— Transcription de la présentation:

1 Exemple On veut commander le chauffage et la ventilation dune salle de TD à partir de la température extérieure de la manière suivante : - Si la température est inférieure à 25° le chauffage doit être mis en route. - Si la température est supérieure à 25° la ventilation doit se déclencher.

2 variables T1 : T < 25° T2 : T > 25°

3 Solution E0 C E1 C/.V/ E2 V T1 T1/ T1/T2/ T2/ T2

4 Solution : Moore T1/T2/ E0 C E1 C/.V/ E2 V T1 T1/T2/ T2 EntréesÉtat PÉtat FS T1E0 C T1/E0E1C T2/T1/E1 C/V/ T1E1E0C/V/ T2E1E2C/V/ T2E2 V T2/E2E1V

5 Solution T1/T2/ E0 C E1 C/.V/ E2 V T1 T1/T2/ T2 EntréesÉtat PÉtat FS T1E0 C T1/E0E1C T2/T1/E1 C/V/ T1E1E0C/V/ T2E1E2C/V/ T2E2 V T2/E2E1V

6 Table des transitions Entrées Etats présents Etats Futurs Sorties T1 T2 QC QV DC DV C V 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 table de transition Table des transitions EntréesÉtat PÉtat FS T1E0 C T2/T1/E0E1C T2/T1/E1 C/V/ T1E1E0C/V/ T2E1E2C/V/ T2E2 V T2/E2E1V

7 Codage des états 3 états => 2 bascules D E0=01 E1=00 E2=10 DQ Rem : état présent noté Q

8 Remplace les états EntréesEtat présentEtat FuturSorties T1T2QCQVDCDVCV 10101010 00100010 00000000 10001000 01000100 01010101 00010001