Nantilus
Commande des procédés discontinus : logique séquentielle
Enregistré dans:
| Auteurs principaux : | , |
|---|---|
| Format : | Livre |
| Langue : | français |
| Titre complet : | Commande des procédés discontinus : logique séquentielle / par Marc Courvoisier,... Robert Valette,... |
| Publié : |
Paris :
Dunod
, DL 1986, cop. 1986 Bordas |
| Description matérielle : | 1 vol. (134 p.) |
| Collection : | Dunod université |
| Sujets : |
- Introduction générale
- I. Introduction aux systèmes séquentiels
- I.1. Structure d'un système séquentiel
- I.2 Analyse d'un circuit séquentiel
- I.3 Classification des systèmes séquentiels
- I.4 Cellules mémoires ou bascules
- II. Synthèse des systèmes séquentiels. Méthodes de base
- II.1 Principe
- II.2 Description formelle des spécifications
- II.3 Réduction
- II.4 Codage des états
- II.5 Détermination des expressions logiques
- III. Systèmes séquentiels complexes
- III.1 Limitations dues aux méthodes classiques de synthèse
- III.2 Utilisation de diagrammes des transitions réduits
- III.3 Détermination des expressions logiques
- IV. Réalisations matérielles
- IV.1 Quelques problèmes de réalisation
- IV.2 Réalisations programmées de machines séquentielles
- IV.3 Synthèse directe d'une machine séquentielle
- IV.4 Réalisations des réseaux de Petri et du Grafcet
- V. Réalisations logicielles
- V.1 Introduction
- V.2 Réalisation logicielle par automate programmable
- V.3 Simulation en temps réel à l'aide d'un calculateur