Ingénieurs des transitions

Our engineering & master degrees

Ecole nationale supérieure de l'Énergie, l'Eau et l'Environnement
-
Engineering school in energy, water and environment

> Study at Ense3 > Double degrees > E3-STU-COURSES

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

Number of hours
- Lectures : 40.0
- Tutorials : -
- Laboratory works : 20.0
- Projects : -
- Internship : -
- Written tests : -
ECTS : 5.0
Officials : Mireille JACOMINO

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