SlideServe
Télécharger Obtenir Pro
Menu
Accueil Pro
Préférences
ApparenceLight Aide et commentaires
© SlideServe · v2026

ESE601: Hybrid Systems

gemma-richard avatar
gemma-richard
33 diapositives · 488 Views · Nov 02, 2014

This review explores the principles of discrete event systems (DES) and automata. It covers examples such as vending machines and printers, illustrating how these systems operate through events and transitions. The concepts of languages, regular expressions, and the reachability and blocking properties are discussed, emphasizing the importance of composition in automata. Non-determinism and the modeling intricacies related to time abstraction are explored. This foundational understanding serves as a basis for advanced study in hybrid systems and their applications.

#ese601: hybrid systems #ese601: hybrid systems ppt #powerpoint #presentation
ESE601: Hybrid Systems - slide 1
01 / 33ESE601: Hybrid Systems
1 / 17

Télécharger la présentation

ESE601: Hybrid Systems
Une image / un lien ci-dessous est fourni (tel quel) pour télécharger la présentation

Politique de téléchargement : le contenu du site vous est fourni TEL QUEL pour votre information et votre usage personnel ; il ne peut être vendu, concédé sous licence ni partagé sur d’autres sites sans l’accord de son auteur.Le contenu vous est fourni TEL QUEL, pour votre information et votre usage personnel uniquement. Téléchargez la présentation en cliquant sur ce lien. Lors du téléchargement, si vous ne parvenez pas à télécharger une présentation, l’éditeur a peut-être supprimé le fichier de son serveur.Pendant le téléchargement, si vous ne parvenez pas à obtenir une présentation, le fichier a peut-être été supprimé par l’éditeur.

F I N

Plus de contenu associé

Transcription de la présentation

  1. ESE601: Hybrid Systems Review material on discrete event systems I

  2. Contents • Examples (5) • Transition systems and automata (6) • Languages and regular expression (6) • Reachability and blocking property (5) • Composition of automata (5) • I/O automata (5)

  3. A vending machine • Insert coin(s) • Choose tea or coffee • Put the cup on the tray • Drink is ready ready cup tea coin coffee cup

  4. Printer data buffer Data in out in in out in out printer Data out overflow in

  5. jam fix out print ready A printer The printer receives data from the buffer, and print it out. Once the printout is ready, the printer is ready to receive new data. While printing, the paper can jam and need to be fixed before the printing process can resume.

  6. A slot machine • Insert coin • Pull handle • Win if the combination is good, otherwise lose. 7 7 7 7 7 win handle coin handle lose

  7. Modeling recap • Events are time-abstract. • Just like modeling of continuous systems, the level of detail is ‘modeler dependent’. • Events are not necessarily equipped with any notion of ‘internal-external’ or ‘input-output’. • Compositionality is possible (to be discussed later). • There can be non-determinism.

  8. Transition systems

  9. Transition systems 4 jam fix out 1 2 print 3 ready

  10. Execution of transition systems

  11. Automata

  12. Automata 4 jam fix out 1 2 print 3 ready

  13. Execution of automata

  14. Regular languages

  15. Regular languages

  16. Regular languages

  17. Regular languages

  18. Regular expressions

  19. Accessibility

  20. Blocking property

  21. Co-accessibility

  22. Co-accessibility

  23. Composition of automata

  24. Composition of automata a b 1,1 2,2 1,3 1 1 a a a b a a a 3 a 1,2 2,3 2,1 2 2 b

  25. Composition of automata

  26. Composition of automata

  27. Composition of automata out in 4 jam in out out 1 2 print 3 in out ready overflow in

  28. Composition and languages

  29. a a b c 1,1 2,1 3,2 5,1 d 4,2 Example 1 a 1 2 c a c b b d 3 4 2 c Only accessible states b 5

  30. Composition and languages

  31. Input – output automata

  32. Input – output automata

  33. Input – output automata