Programmation d'un ascenseur

Résumé du document

Le but de ce projet est de programmer un ascenseur qui pourrait servir dans un bâtiment de 2 étages. Pour réaliser ce projet, j'ai utilisé une approche de type Moore et le logiciel max plus.

Pour représenter les boutons de l'ascenseur, j'ai utilisé une variable que j'ai nommée B qui symbolise le bouton qui permet de sélectionner l'étage où on veut aller. B est un entier qui varie de 1 à 3, 1 représente le rez-de-chaussée, 2 le 1er étage et 3 le 2e étage.
Pour que l'ascenseur nous indique où on se trouve dans le bâtiment, j'ai utilisé une variable que j'ai nommée E. E est aussi un entier variant de 1 à 3, 1 représente le rez-de-chaussée, 2 le 1er étage et 3 le 2e étage.
Pour connaître l'état de l'ascenseur, c'est-à-dire s'il monte, descend ou reste immobile, j'ai utilisé une variable que j'ai nommée M. M est un entier qui varie de 1 à 3, 1 nous indique que l'ascenseur descend, 2 nous indique qu'il reste immobile et 3 nous indique qu'il monte.
Pour la fermeture et l'ouverture des portes de l'ascenseur, j'ai utilisé une variable que j'ai nommée P. Lorsque P vaut 0, les portes se ferment et lorsque P vaut 1 les portes s'ouvrent. Ces variables se mettent dans l'entité de l'ascenseur. B est une entrée. E, M et P sont des sorties.

Extraits

[...] Les portes du 2e étage de l'ascenseur se ferment (APF3) et il descend dans un premier temps au 1er étage (D3). Arrivé au 2e étage, je n'ai pas sélectionné le bouton 2 de l'entrée B mais le bouton 1 est toujours actionné. Par conséquent, les portes restent fermées au 1er étage (APF2) et l'ascenseur continue sa descente au 1er étage (D2). Arrivé au 1er étage, les portes de l'ascenseur s'ouvrent (AP01), je peux sortir de l'ascenseur et prendre ma voiture. [...]

[...] M est un entier qui varie de 1 à nous indique que l'ascenseur descend nous indique qu'il reste immobile et 3 nous indique qu'il monte. Pour la fermeture et l'ouverture des portes de l'ascenseur, j'ai utilisé une variable que j'ai nommée P. Lorsque P vaut les portes se ferment et lorsque P vaut 1 les portes s'ouvrent. Ces variables se mettent dans l'entité de l'ascenseur. B est une entrée. M et P sont des sorties. Sachant que l'ascenseur peut démarrer à n'importe quel étage, j'ai utilisé une variable initialisation INIT. [...]

[...] Pour la montée et la descente de l'ascenseur, j'ai utilisé 4 variables : H1 nous indique qu'il monte du rez-de-chaussée au 1er étage et H2 du 1er étage au 2e étage, D3 nous indique qu'il descend du 2e étage au 1er étage et D2 du 1er étage au rez-de-chaussée. Ces variables se mettent dans le type d'état de l'ascenseur. 2-Mise en relation des variables Au départ, l'ascenseur peut se trouver n'importe où dans le bâtiment, c'est pourquoi il faut l'initialiser. À l'aide la variable INIT, j'indique si l'ascenseur se trouve à ET1, ET2 ou ET3. Ensuite lorsque l'ascenseur se trouve à son étage initial, les portes s'ouvrent, j'entre dans l'ascenseur et je sélectionne l'étage où je veux aller. [...]

[...] Programmation d'un ascenseur Le but de ce projet est de programmer un ascenseur qui pourrait servir dans un bâtiment de 2 étages. Pour réaliser ce projet, j'ai utilisé une approche de type Moore et le logiciel max plus. Plan : 1-Variables 2-Mise en relation des variables 3-Programme 1-Variables Pour représenter les boutons de l'ascenseur, j'ai utilisé une variable que j'ai nommée B qui symbolise le bouton qui permet de sélectionner l'étage où on veut aller. B est un entier qui varie de 1 à représente le rez-de- chaussée le 1er étage et 3 le 2e étage. [...]

[...] M vaut 1 lorsque je suis à D2 ou D lorsque je suis à AP01, AP02 ou AP03 et 3 lorsque je suis à H2 ou H3. P vaut 0 lorsque je suis à APF1, APF2 ou APF3 et 1 lorsque je suis à AP01, AP02 ou AP03. Par exemple, je démarre du 2e étage et je veux descendre au rez-de-chaussée pour aller prendre ma voiture : Je suis d'abord à l'étage numéro les portes s'ouvrent (APO3) et je rentre dans l'ascenseur. Ensuite je sélectionne le bouton 1 de l'entrée ce qui veut dire que je veux aller au rez-de-chaussée. [...]