Modélisation « Multi-Paradigme(s)...1. Système hybride 2. Automate hybride 3. Modèle modal 4....
Transcript of Modélisation « Multi-Paradigme(s)...1. Système hybride 2. Automate hybride 3. Modèle modal 4....
![Page 2: Modélisation « Multi-Paradigme(s)...1. Système hybride 2. Automate hybride 3. Modèle modal 4. Modèle mixte 5. Automate temporisé 6. En résumé Exemple : Thermostat, automate](https://reader036.fdocument.pub/reader036/viewer/2022062402/5fc12173ff63ef01592d4c97/html5/thumbnails/2.jpg)
Modélisation hétérogène – Systèmes hybrides (suite)
28/02/11 Modélisation des systèmes 2
![Page 3: Modélisation « Multi-Paradigme(s)...1. Système hybride 2. Automate hybride 3. Modèle modal 4. Modèle mixte 5. Automate temporisé 6. En résumé Exemple : Thermostat, automate](https://reader036.fdocument.pub/reader036/viewer/2022062402/5fc12173ff63ef01592d4c97/html5/thumbnails/3.jpg)
Modélisation hétérogène – Systèmes hybrides
28/02/11 Modélisation des systèmes 3
1. Système hybride 2. Automate hybride 3. Modèle modal 4. Modèle mixte 5. Automate temporisé 6. En résumé
![Page 4: Modélisation « Multi-Paradigme(s)...1. Système hybride 2. Automate hybride 3. Modèle modal 4. Modèle mixte 5. Automate temporisé 6. En résumé Exemple : Thermostat, automate](https://reader036.fdocument.pub/reader036/viewer/2022062402/5fc12173ff63ef01592d4c97/html5/thumbnails/4.jpg)
Exemple : Thermostat, automate hybride
28/02/11 Modélisation des systèmes 4
« H
ybri
d Sy
stem
s, Pa
rt I
», L
ee &
Ses
hia,
UC
Ber
kele
y
off T > 68°
on T < 82°
T ≤ 70° / T := T
T ≥ 80° / T := T
T
•
= −KT T
•
= K(100−T )
Une des exécutions possibles de l’automate
![Page 5: Modélisation « Multi-Paradigme(s)...1. Système hybride 2. Automate hybride 3. Modèle modal 4. Modèle mixte 5. Automate temporisé 6. En résumé Exemple : Thermostat, automate](https://reader036.fdocument.pub/reader036/viewer/2022062402/5fc12173ff63ef01592d4c97/html5/thumbnails/5.jpg)
Modèle modal (rappel)
28/02/11 Modélisation des systèmes 5
Modèle modal discret
Modèle continu du mode 1
Modèle continu du mode 2
![Page 6: Modélisation « Multi-Paradigme(s)...1. Système hybride 2. Automate hybride 3. Modèle modal 4. Modèle mixte 5. Automate temporisé 6. En résumé Exemple : Thermostat, automate](https://reader036.fdocument.pub/reader036/viewer/2022062402/5fc12173ff63ef01592d4c97/html5/thumbnails/6.jpg)
Exemple : Thermostat, modèle modal
28/02/11 Modélisation des systèmes 6
Modèle continu du mode « heating » & du mode « cooling »
Modèle modal (discret)
T
•
= K(100−T )
![Page 7: Modélisation « Multi-Paradigme(s)...1. Système hybride 2. Automate hybride 3. Modèle modal 4. Modèle mixte 5. Automate temporisé 6. En résumé Exemple : Thermostat, automate](https://reader036.fdocument.pub/reader036/viewer/2022062402/5fc12173ff63ef01592d4c97/html5/thumbnails/7.jpg)
Exemple : Thermostat, simulation
28/02/11 Modélisation des systèmes 7
![Page 8: Modélisation « Multi-Paradigme(s)...1. Système hybride 2. Automate hybride 3. Modèle modal 4. Modèle mixte 5. Automate temporisé 6. En résumé Exemple : Thermostat, automate](https://reader036.fdocument.pub/reader036/viewer/2022062402/5fc12173ff63ef01592d4c97/html5/thumbnails/8.jpg)
Exemple : Thermostat, vers l’implémentation ?
28/02/11 Modélisation des systèmes 8
?
![Page 9: Modélisation « Multi-Paradigme(s)...1. Système hybride 2. Automate hybride 3. Modèle modal 4. Modèle mixte 5. Automate temporisé 6. En résumé Exemple : Thermostat, automate](https://reader036.fdocument.pub/reader036/viewer/2022062402/5fc12173ff63ef01592d4c97/html5/thumbnails/9.jpg)
Modèle mixte
28/02/11 Modélisation des systèmes 9
Sous-modèle discret Sous-modèle continu
Modèle mixte
« control » « plant »
![Page 10: Modélisation « Multi-Paradigme(s)...1. Système hybride 2. Automate hybride 3. Modèle modal 4. Modèle mixte 5. Automate temporisé 6. En résumé Exemple : Thermostat, automate](https://reader036.fdocument.pub/reader036/viewer/2022062402/5fc12173ff63ef01592d4c97/html5/thumbnails/10.jpg)
Exemple : Thermostat, modèle mixte
28/02/11 Modélisation des systèmes 10
Sous-modèle discret Sous-modèle continu
![Page 11: Modélisation « Multi-Paradigme(s)...1. Système hybride 2. Automate hybride 3. Modèle modal 4. Modèle mixte 5. Automate temporisé 6. En résumé Exemple : Thermostat, automate](https://reader036.fdocument.pub/reader036/viewer/2022062402/5fc12173ff63ef01592d4c97/html5/thumbnails/11.jpg)
Exemple : Thermostat, simulation
28/02/11 Modélisation des systèmes 11
![Page 12: Modélisation « Multi-Paradigme(s)...1. Système hybride 2. Automate hybride 3. Modèle modal 4. Modèle mixte 5. Automate temporisé 6. En résumé Exemple : Thermostat, automate](https://reader036.fdocument.pub/reader036/viewer/2022062402/5fc12173ff63ef01592d4c97/html5/thumbnails/12.jpg)
Modélisation hétérogène – Systèmes hybrides
28/02/11 Modélisation des systèmes 12
1. Système hybride 2. Automate hybride 3. Modèle modal 4. Modèle mixte 5. Automate temporisé 6. En résumé
![Page 13: Modélisation « Multi-Paradigme(s)...1. Système hybride 2. Automate hybride 3. Modèle modal 4. Modèle mixte 5. Automate temporisé 6. En résumé Exemple : Thermostat, automate](https://reader036.fdocument.pub/reader036/viewer/2022062402/5fc12173ff63ef01592d4c97/html5/thumbnails/13.jpg)
Exemple : Contrôle avec temporisation
28/02/11 Modélisation des systèmes 13
Compteur
Horloge (secondes)
Opérations et tests sur le compteur
![Page 14: Modélisation « Multi-Paradigme(s)...1. Système hybride 2. Automate hybride 3. Modèle modal 4. Modèle mixte 5. Automate temporisé 6. En résumé Exemple : Thermostat, automate](https://reader036.fdocument.pub/reader036/viewer/2022062402/5fc12173ff63ef01592d4c97/html5/thumbnails/14.jpg)
Automate temporisé
28/02/11 Modélisation des systèmes 14
} Automate temporisé = automate fini + } Horloges qui mesurent le passage du temps
} Avancent simultanément, avec une dérivée constante } Peuvent être réinitialisées indépendamment
} Conditions booléennes sur les valeurs des horloges } Opérations sur les horloges (réinitialisation)
} Automate temporisé = forme la plus « simple » d’un automate hybride } Seul flot continu = passage du temps
} Exemple } Horloges : x, y } Etats : S0, S1
S0 S1
y ≥ 3 / y := 0
y ≥ 5 & x ≥ 8 / x := 0
y := 0 x := 0
![Page 15: Modélisation « Multi-Paradigme(s)...1. Système hybride 2. Automate hybride 3. Modèle modal 4. Modèle mixte 5. Automate temporisé 6. En résumé Exemple : Thermostat, automate](https://reader036.fdocument.pub/reader036/viewer/2022062402/5fc12173ff63ef01592d4c97/html5/thumbnails/15.jpg)
Exercice : Trace d’un automate temporisé
28/02/11 Modélisation des systèmes 15
S0 S1
y ≥ 3 / y := 0
y ≥ 5 & x ≥ 8 / x := 0
y := 0 x := 0
![Page 16: Modélisation « Multi-Paradigme(s)...1. Système hybride 2. Automate hybride 3. Modèle modal 4. Modèle mixte 5. Automate temporisé 6. En résumé Exemple : Thermostat, automate](https://reader036.fdocument.pub/reader036/viewer/2022062402/5fc12173ff63ef01592d4c97/html5/thumbnails/16.jpg)
Exercice : Trace d’un automate temporisé
28/02/11 Modélisation des systèmes 16
(S0, 0, 0)
(S1, 3, 0)
(état, x, y)
(S0, 0, 5)
+3
+5
(S0, 0, 0)
(S1, 3.2, 0)
(état, x, y)
(S0, 0, 5.6)
+3.2
+5.6
Trace
S0 S1
y ≥ 3 / y := 0
y ≥ 5 & x ≥ 8 / x := 0
y := 0 x := 0 Deux des exécutions
possibles de l’automate
![Page 17: Modélisation « Multi-Paradigme(s)...1. Système hybride 2. Automate hybride 3. Modèle modal 4. Modèle mixte 5. Automate temporisé 6. En résumé Exemple : Thermostat, automate](https://reader036.fdocument.pub/reader036/viewer/2022062402/5fc12173ff63ef01592d4c97/html5/thumbnails/17.jpg)
Exemple : Détecteur de clic de souris
28/02/11 Modélisation des systèmes 17
« H
ybri
d Sy
stem
s, Pa
rt I
», L
ee &
Ses
hia,
UC
Ber
kele
y
Idle One
click ? / x := 0
x ≥ 1 / single !
x
•
= 0 x
•
=1
click ? & x < 1 / double !
x := 0
![Page 18: Modélisation « Multi-Paradigme(s)...1. Système hybride 2. Automate hybride 3. Modèle modal 4. Modèle mixte 5. Automate temporisé 6. En résumé Exemple : Thermostat, automate](https://reader036.fdocument.pub/reader036/viewer/2022062402/5fc12173ff63ef01592d4c97/html5/thumbnails/18.jpg)
Exemple : Alternateur
28/02/11 Modélisation des systèmes 18
Mode 1 mode = 1
Mode 2 mode = 2
clock ≥ 1 / clock := 0
clock ≥ 2 / clock := 0
clock
•
=1 clock
•
=1
clock := 0
![Page 19: Modélisation « Multi-Paradigme(s)...1. Système hybride 2. Automate hybride 3. Modèle modal 4. Modèle mixte 5. Automate temporisé 6. En résumé Exemple : Thermostat, automate](https://reader036.fdocument.pub/reader036/viewer/2022062402/5fc12173ff63ef01592d4c97/html5/thumbnails/19.jpg)
Exemple : Alternateur, modèle modal
28/02/11 Modélisation des systèmes 19
![Page 20: Modélisation « Multi-Paradigme(s)...1. Système hybride 2. Automate hybride 3. Modèle modal 4. Modèle mixte 5. Automate temporisé 6. En résumé Exemple : Thermostat, automate](https://reader036.fdocument.pub/reader036/viewer/2022062402/5fc12173ff63ef01592d4c97/html5/thumbnails/20.jpg)
Exemple : Alternateur, simulation
28/02/11 Modélisation des systèmes 20
![Page 21: Modélisation « Multi-Paradigme(s)...1. Système hybride 2. Automate hybride 3. Modèle modal 4. Modèle mixte 5. Automate temporisé 6. En résumé Exemple : Thermostat, automate](https://reader036.fdocument.pub/reader036/viewer/2022062402/5fc12173ff63ef01592d4c97/html5/thumbnails/21.jpg)
Exemple : Alternateur, autre modélisation
28/02/11 Modélisation des systèmes 21
![Page 22: Modélisation « Multi-Paradigme(s)...1. Système hybride 2. Automate hybride 3. Modèle modal 4. Modèle mixte 5. Automate temporisé 6. En résumé Exemple : Thermostat, automate](https://reader036.fdocument.pub/reader036/viewer/2022062402/5fc12173ff63ef01592d4c97/html5/thumbnails/22.jpg)
Exemple : Lève-vitre, modèle mixte avec contrôleur temporisé
28/02/11 Modélisation des systèmes 22
![Page 23: Modélisation « Multi-Paradigme(s)...1. Système hybride 2. Automate hybride 3. Modèle modal 4. Modèle mixte 5. Automate temporisé 6. En résumé Exemple : Thermostat, automate](https://reader036.fdocument.pub/reader036/viewer/2022062402/5fc12173ff63ef01592d4c97/html5/thumbnails/23.jpg)
Exemple : Lève-vitre, contrôleur
28/02/11 Modélisation des systèmes 23
![Page 24: Modélisation « Multi-Paradigme(s)...1. Système hybride 2. Automate hybride 3. Modèle modal 4. Modèle mixte 5. Automate temporisé 6. En résumé Exemple : Thermostat, automate](https://reader036.fdocument.pub/reader036/viewer/2022062402/5fc12173ff63ef01592d4c97/html5/thumbnails/24.jpg)
Modélisation hétérogène – Systèmes hybrides
28/02/11 Modélisation des systèmes 24
1. Système hybride 2. Automate hybride 3. Modèle modal 4. Modèle mixte 5. Automate temporisé 6. En résumé
![Page 25: Modélisation « Multi-Paradigme(s)...1. Système hybride 2. Automate hybride 3. Modèle modal 4. Modèle mixte 5. Automate temporisé 6. En résumé Exemple : Thermostat, automate](https://reader036.fdocument.pub/reader036/viewer/2022062402/5fc12173ff63ef01592d4c97/html5/thumbnails/25.jpg)
En résumé
28/02/11 Modélisation des systèmes 25
} Système hybride = système à dynamique hétérogène discrète / continue
} Méthodes de modélisation pour les systèmes hybrides = méthodes fondamentalement hétérogènes
} Automates hybrides / modèles modaux } Modèles mixtes (ex : modèles Stateflow/Simulink) } Automates temporisés
![Page 26: Modélisation « Multi-Paradigme(s)...1. Système hybride 2. Automate hybride 3. Modèle modal 4. Modèle mixte 5. Automate temporisé 6. En résumé Exemple : Thermostat, automate](https://reader036.fdocument.pub/reader036/viewer/2022062402/5fc12173ff63ef01592d4c97/html5/thumbnails/26.jpg)
Sources & bibliographie
28/02/11 Modélisation des systèmes 26
} TheMathWorks – Matlab / Simulink – modèles de démonstration } U. Berkeley, EECS, CHESS – Ptolemy II – modèles de démonstration } Edward A. Lee and Sanjit A. Seshia,
Introduction to Embedded Systems, A Cyber-Physical Systems Approach, http://LeeSeshia.org, ISBN 978-0-557-70857-4, 2011
} UC Berkeley course EECS 149 « Introduction to Embedded Systems », Edward A. Lee and Sanjit A. Seshia
} « Modélisation des systèmes », Cours de troisième année, option SI, Supélec, Frédéric Boulanger
} « Hybrid Systems, Part I », Edward A. Lee and Sanjit A. Seshia, UC Berkeley } « Introduction to Hybrid Automata », Arijit Mondal, Kapil Modi
and Arnab Sinha, IIT Kharagpur } « The Art of Hybrid Systems », John Lygeros, Shankar Sastry
and Claire Tomlin