Exercici 2 [2,5 punts en total]
Un cotxe amb un motor de quatre cilindres en línia té un sistema automàtic per a desconnectar dos d'aquests cilindres a partir de la lectura d'un sensor en l'accelerador. El sistema manté els quatre cilindres connectats, i permet desconnectar-ne dos si la demanda d'acceleració és baixa i s'ha mantingut baixa en el darrer quilòmetre. Els dos cilindres només es desconnecten si la velocitat del motor és 1 400 min⁻¹ < n < 4 000 min⁻¹.
Variables d'estat:
- velocitat del motor: m = {1: si 1 400 min⁻¹ < n < 4 000 min⁻¹; 0: en cas contrari}
- acceleració actual: aa = {1: demanda alta; 0: demanda baixa}
- acceleració en el darrer km: ad = {1: demanda alta; 0: demanda baixa}
- cilindres connectats: c = {1: tots quatre; 0: només dos}