Modélisation du comportement des systèmes

Transparents du cours 1

Transparents du cours 2

Transparents du cours 3

Transparents du cours 4 :

• ModelisationMultiParadigme-1.pdf
• ModelisationMultiParadigme-2.pdf
• ModelisationMultiParadigme-3.pdf
• ModelisationMultiParadigme-4.pdf

Modèles Ptolemy II :

• Calcul des puissances de 2 et de 3 (Kahn Process Networks)
• Calcul des puissances de 2 et de 3 inférieures ou égales à 9 (Kahn Process Networks)
• Spectre d'un signal modulé en amplitude (Synchronous Data Flow)
• Décomposition en séries de Fourier (Synchronous Data Flow)
• Modèle multirate et équations d'équilibrage (Synchronous Data Flow)
• Conditionnelle (Dynamic Data Flow)
• Boucle while (Dynamic Data Flow)
• Récursion : Tours de Hanoi (Dynamic Data Flow)
• Routage de packets (Discrete Events)
• Temps d'attente à un arrêt de bus (Discrete Events)
• Attracteur de Lorenz (Continuous)
• Pendule amorti (Continuous)

Modèles Ptolemy II multi-paradigmes :

• Pendule de Furuta
• Balle rebondissante (avec effet Zénon)
• Balle rebondissante (avec correction de l'effet Zénon)
• Feux tricolores (avec génération de code pour NuSMV)
• Thermostat (modèle modal)
• Deux masses oscillantes
• Alternance entre deux modes (automate temporisé)

Modèle Greenfoot des fourmis (Greenfoot)

Archive Ptolemy II/Vergil pour Windows et Linux

Archive Ptolemy II/Vergil pour Mac

Année 2014-2015