causal block diagram compiler to latex and devs
play

Causal Block Diagram: compiler to LaTeX and DEVS Nicolas Demarbaix - PowerPoint PPT Presentation

Causal Block Diagram: compiler to LaTeX and DEVS Nicolas Demarbaix Overview Introduction Theoretical background Design 2 Introduction 3 Introduction Why ? Clear and detailed description in LaTeX Verifying model using


  1. Causal Block Diagram: compiler to LaTeX and DEVS Nicolas Demarbaix

  2. Overview • Introduction • Theoretical background • Design 2

  3. Introduction 3

  4. Introduction Why ? • Clear and detailed description in LaTeX • Verifying model using PypDEVS 4

  5. Introduction How ? • CBD to Intermediate Language • Export to LaTeX / Transform to DEVS 5

  6. Technical background 6

  7. Technical background Intermediate Language • Dependency Graph model in AtomPM • Construct Strong Components • Solve algebraic loops 7

  8. Technical background CBD to DEVS mapping • Strong Component -> Atomic Devs • Links between blocks in component -> Internal • Links between blocks outside component -> External 8

  9. Technical background Dynamic Rate Change (Optionally) • Error = Strict Derivative - Flexible Derivative • Based on error, change rate of blocks Christis, N., 2012-2013. Research internship 2: Hybrid systems. 9

  10. Design 10

  11. Design 11

  12. Design 12

  13. Questions?

Recommend


More recommend