Specification and Design of Discrete Event Systems - 4EUS3SCE

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

Goal(s)

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.

Responsible(s)

Mireille JACOMINO

Content(s)

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

Prerequisites

M4, M6, M5 et M1

Test

Session normale / First session
Evaluation rattrapable (ER) / ER assessment :
Composée d'une évaluation durant les cours portant sur les réseaux de Petri, les graphes et l'ordonnancement. Cette évaluation comportera du travail en séance en groupe et des tests individuels à distance pendant les séances (50%) / In class assessment on Petri nets, graphs and scheduling. It will include a group session work and individual and individual distance tests during the sessions (50%).
Evaluation non rattrapable (EN) / EN assessment :
en Bureau d'études sur la partie Grafcet et supervision portant sur l'automatisation d'un procédé industriel (50%) / in BE class on the Grafcet and supervision part concerning the automation of an industrial process (50%)
Session de rattrapage / Second session :
Entretien individuel d'une demie heure sur des exercices portant pouvant porter sur l'ensemble du programme / Indivudal interview of half an hour on exercices that may cover the whole program.

Si présentiel EN 50% ER 50%
Si distanciel EN 100%

Calendar

The course exists in the following branches: