Specification and Design of Discrete Event Systems - 4EUS3SCE
A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail
Goals
Approach and tools for the specification of a complex industrial automation system and its design: structure and hierarchy, functional tools, Petri nets (their use in describing and analyzing systems), SFC (their use in the description of the command), optimization methods and scheduling resources.
Content Introduction to automated manufacturing systems (AMS)
Tools for the design of industrial automation:
SFC:
• Rules of evolution
• Nature of activities
• Nature of receptivity
• Structuration of complex systems
• Implementation
Methods for the Design of Real Time Automation, SART:
• GEMMA
• Functional approach
• Concept of Events, (Trigger, Enable, Disable)
• Shared memory
• Centralization and / or distribution of control
• Definition of hardware interfaces
PETRI NETS:
• Sequential systems, state notions, parallelism, synchronization
• Petri nets, historical, autonomous networks, time delay, interpreted
• Validation, verification properties
• high level Petri nets
Graphs as Optimization tools
Scheduling :
• Notations, Representation of solutions and the concept of criterion
• Algorithmic complexity and complexity theory
• Algorithms list
• Notion of terminals and upper and lower
• Concept of greedy algorithm
• Concept of heuristics
• Branch & Bound
PrerequisitesM4, M6, M5 et M1
Tests DS 2h + CC TP
Si présentiel CC 50% DS 50%
Si distanciel CC 100%
Bibliography Du grafcet au réseau de Petri, René David, Hassane Alla, Librairie Eyrolles
A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail
Date of update February 8, 2017