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

causal block diagram compiler to latex and devs
SMART_READER_LITE
LIVE PREVIEW

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


slide-1
SLIDE 1

Causal Block Diagram: compiler to LaTeX and DEVS

Nicolas Demarbaix

slide-2
SLIDE 2

Overview

  • Introduction
  • Theoretical background
  • Design

2

slide-3
SLIDE 3

Introduction

3

slide-4
SLIDE 4

Introduction

4

Why?

  • Clear and detailed description in LaTeX
  • Verifying model using PypDEVS
slide-5
SLIDE 5

Introduction

5

How?

  • CBD to Intermediate Language
  • Export to LaTeX / Transform to DEVS
slide-6
SLIDE 6

Technical background

6

slide-7
SLIDE 7

Technical background

Intermediate Language

  • Dependency Graph model in AtomPM
  • Construct Strong Components
  • Solve algebraic loops

7

slide-8
SLIDE 8

Technical background

CBD to DEVS mapping

  • Strong Component -> Atomic Devs
  • Links between blocks in component -> Internal
  • Links between blocks outside component ->

External

8

slide-9
SLIDE 9

Technical background

Dynamic Rate Change (Optionally)

  • Error = Strict Derivative - Flexible Derivative
  • Based on error, change rate of blocks

9

Christis, N., 2012-2013. Research internship 2: Hybrid systems.

slide-10
SLIDE 10

Design

10

slide-11
SLIDE 11

Design

11

slide-12
SLIDE 12

Design

12

slide-13
SLIDE 13

Questions?