Presentation is loading. Please wait.

Presentation is loading. Please wait.

Nth-order Activity of Continuous Systems a,b,c Rodrigo Castro and c Ernesto Kofman a ETH Zürich, Switzerland b University of Buenos Aires & c CIFASIS-CONICET,

Similar presentations


Presentation on theme: "Nth-order Activity of Continuous Systems a,b,c Rodrigo Castro and c Ernesto Kofman a ETH Zürich, Switzerland b University of Buenos Aires & c CIFASIS-CONICET,"— Presentation transcript:

1 nth-order Activity of Continuous Systems a,b,c Rodrigo Castro and c Ernesto Kofman a ETH Zürich, Switzerland b University of Buenos Aires & c CIFASIS-CONICET, Argentina

2 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 2 Introduction – Activity: Original definition – Need for an nth-order extension nth-Order Quantization – Zero (static), First and Second Order – nth-Order Quantization – Quantized State Systems (QSS) nth-Order Activity – The error perspective – nth-Order error dynamics – Definition of nth-Order Activity Examples – Example I: 1st. Order Non-stiff system – Example II: 2nd. order Stiff system Conclusions & Future Work Agenda

3 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 3 Activity: Original definitionIntroduction The original definition of activity takes into account changes only in the signal values. x 1 (t) x 2 (t) x 3 (t) x 1 (t 0 )=x 2 (t 0 )=x 3 (t 0 ) x 1 (t f )=x 2 (t f )=x 3 (t f ) t0t0 tftf

4 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 4 Activity: Original definitionIntroduction The original definition of activity takes into account changes only in the signal values. As a consequence, for a monotonically increasing or decreasing signal – the activity can be fully determined only by the distance between the final and the initial value, x 1 (t) x 2 (t) x 3 (t) x 1 (t 0 )=x 2 (t 0 )=x 3 (t 0 ) x 1 (t f )=x 2 (t f )=x 3 (t f ) t0t0 tftf

5 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 5 Activity: Original definitionIntroduction The original definition of activity takes into account changes only in the signal values. As a consequence, for a monotonically increasing or decreasing signal – the activity can be fully determined only by the distance between the final and the initial value, – without using at all the information about how it goes from the initial to the final value. x 1 (t) x 2 (t) x 3 (t) x 1 (t 0 )=x 2 (t 0 )=x 3 (t 0 ) x 1 (t f )=x 2 (t f )=x 3 (t f ) t0t0 tftf

6 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 6 Activity: Original definitionIntroduction The original definition of activity takes into account changes only in the signal values. As a consequence, for a monotonically increasing or decreasing signal – the activity can be fully determined only by the distance between the final and the initial value, – without using at all the information about how it goes from the initial to the final value. x 1 (t) x 2 (t) x 3 (t) x 1 (t 0 )=x 2 (t 0 )=x 3 (t 0 ) x 1 (t f )=x 2 (t f )=x 3 (t f )  A 1 =A 2 =A 3 t0t0 tftf

7 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 7 Activity: Original definitionIntroduction The original definition of activity takes into account changes only in the signal values. As a consequence, for a monotonically increasing or decreasing signal – the activity can be fully determined only by the distance between the final and the initial value, – without using at all the information about how it goes from the initial to the final value. x 1 (t) x 2 (t) x 3 (t) x 1 (t 0 )=x 2 (t 0 )=x 3 (t 0 ) x 1 (t f )=x 2 (t f )=x 3 (t f )  A 1 =A 2 =A 3 t0t0 tftf A 1 =A 2 =A 3

8 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 8 x 2 (t) Activity: Original definitionIntroduction When a continuous signal is quantized with a zero-order quantization function – we obtain the well-known piecewise constant trajectory t f1 t f2 t f3 t0t0 m1m1 m2m2 m3m3 x i (t)q i (t)

9 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 9 x 2 (t) Activity: Original definitionIntroduction When a continuous signal is quantized with a zero-order quantization function – we obtain the well-known piecewise constant trajectory t f1 t f2 t f3 t0t0 m1m1 m2m2 m3m3 – For each interval of time at which x(t) is monotonic, the number of signal quantum crossings is: x i (t)q i (t)

10 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 10 x 2 (t) Activity: Original definitionIntroduction When a continuous signal is quantized with a zero-order quantization function – we obtain the well-known piecewise constant trajectory t f1 t f2 t f3 t0t0 m1m1 m2m2 m3m3 – For each interval of time at which x(t) is monotonic, the number of signal quantum crossings is: x i (t)q i (t)

11 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 11 x 2 (t) Activity: Original definitionIntroduction When a continuous signal is quantized with a zero-order quantization function – we obtain the well-known piecewise constant trajectory t f1 t f2 t f3 t0t0 x 1 (t) m1m1 m2m2 m3m3 – For each interval of time at which x(t) is monotonic, the number of signal quantum crossings is: x i (t)q i (t)

12 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 12 x 2 (t) Activity: Original definitionIntroduction When a continuous signal is quantized with a zero-order quantization function – we obtain the well-known piecewise constant trajectory t f1 t f2 t f3 t0t0 x 1 (t)x 3 (t) m1m1 m2m2 m3m3 – For each interval of time at which x(t) is monotonic, the number of signal quantum crossings is: x i (t)q i (t)

13 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 13 x 2 (t) Activity: Original definitionIntroduction When a continuous signal is quantized with a zero-order quantization function – we obtain the well-known piecewise constant trajectory x 1 (t 0 )=x 2 (t 0 )=x 3 (t 0 ) x 1 (t f1 )=x 2 (t f2 )=x 3 (t f3 )  A 1 =A 2 =A 3 t f1 t f2 t f3 t0t0 x 1 (t)x 3 (t) m1m1 m2m2 m3m3 – For each interval of time at which x(t) is monotonic, the number of signal quantum crossings is: x i (t)q i (t)

14 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 14 Zero-order quantization functions are those used in first-order accurate QSS numerical integration methods – QSS1, LIQSS1, CQSS, BQSS Activity: Original definitionIntroduction – For each interval of time at which x(t) is monotonic, the number of signal quantum crossings is: x i (t)q i (t)

15 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 15 Zero-order quantization functions are those used in first-order accurate QSS numerical integration methods – QSS1, LIQSS1, CQSS, BQSS – For these methods, the number of signal quantum crossings can establish a lower bound for the number of integration steps required to approximate the analytical solution with an accuracy (maximum error) bounded by the quantum size Activity: Original definitionIntroduction – For each interval of time at which x(t) is monotonic, the number of signal quantum crossings is: x i (t)q i (t)

16 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 16 “Classical”, “First order” Activity – Offers then a link between integration accuracy (Quantum size) and computational effort (# integration steps) Need for an nth-order extension Introduction

17 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 17 “Classical”, “First order” Activity – Offers then a link between integration accuracy (Quantum size) and computational effort (# integration steps) Nice features: – Convenient and intuitive visual relation between the solution x(t) and its quantized version q(t) – Can be easily expressed in terms of maxs and mins: Need for an nth-order extension Introduction

18 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 18 “Classical”, “First order” Activity – Offers then a link between integration accuracy (Quantum size) and computational effort (# integration steps) Nice features: – Convenient and intuitive visual relation between the solution x(t) and its quantized version q(t) – Can be easily expressed in terms of maxs and mins: Disadvantages: – It works only for first order accurate methods. – Not valid for higher order accurate methods Existing QSS methods: QSS 1 to 4, LIQSS 1 to 4, DQSS 1 to 3 Need for an nth-order extension Introduction

19 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 19 “Classical”, “First order” Activity – Offers then a link between integration accuracy (Quantum size) and computational effort (# integration steps) Nice features: – Convenient and intuitive visual relation between the solution x(t) and its quantized version q(t) – Can be easily expressed in terms of maxs and mins: Disadvantages: – It works only for first order accurate methods. – Not valid for higher order accurate methods Existing QSS methods: QSS 1 to 4, LIQSS 1 to 4, DQSS 1 to 3 – Intuition: QSS1 vs. QSS2 For a given ∆Q, 1 st. Order Activity is the same # of Steps is NOT the same Need for an nth-order extension IntroductionQSS1QSS2 zero order quantization q(t) piecewise constant first order quantization q(t) piecewise linear

20 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 20 “Classical”, “First order” Activity – Offers then a link between integration accuracy (Quantum size) and computational effort (# integration steps) Nice features: – Convenient and intuitive visual relation between the solution x(t) and its quantized version q(t) – Can be easily expressed in terms of maxs and mins: Disadvantages: – It works only for first order accurate methods. – Not valid for higher order accurate methods Existing QSS methods: QSS 1 to 4, LIQSS 1 to 4, DQSS 1 to 3 – Intuition: QSS1 vs. QSS2 For a given ∆Q, 1 st. Order Activity is the same # of Steps is NOT the same  A formal extension for Activity of nth-order is required. Need for an nth-order extension IntroductionQSS1QSS2 zero order quantization q(t) piecewise constant first order quantization q(t) piecewise linear

21 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 21 Quantization: the key “error-driven” process – Zero-order (static) Zero (static) and First Ordernth-Order Quantization k 1 =A1/∆Q

22 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 22 Quantization: the key “error-driven” process – Zero-order (static) Zero (static) and First Ordernth-Order Quantization k 1 =A1/∆Q polynomial segments j=0,1,2,…

23 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 23 Quantization: the key “error-driven” process – Zero-order (static) Zero (static) and First Ordernth-Order Quantization err(t) k 1 =A1/∆Q polynomial segments j=0,1,2,…

24 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 24 Quantization: the key “error-driven” process – Zero-order (static) Zero (static) and First Ordernth-Order Quantization err(t) q(t) piecewise constant k 1 =A1/∆Q polynomial segments j=0,1,2,…

25 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 25 Quantization: the key “error-driven” process – Zero-order (static) – First-order Zero (static) and First Ordernth-Order Quantization err(t) q(t) piecewise constant k 1 =A1/∆Q polynomial segments j=0,1,2,…

26 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 26 Quantization: the key “error-driven” process – Zero-order (static) – First-order Zero (static) and First Ordernth-Order Quantization err(t) q(t) piecewise constant k 1 =A1/∆Q k 2 <k 1 1 polynomial segments j=0,1,2,…

27 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 27 Quantization: the key “error-driven” process – Zero-order (static) – First-order Zero (static) and First Ordernth-Order Quantization err(t) q(t) piecewise constant k 1 =A1/∆Q k 2 <k 1 1 polynomial segments j=0,1,2,…

28 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 28 Quantization: the key “error-driven” process – Zero-order (static) – First-order Zero (static) and First Ordernth-Order Quantization err(t) q(t) piecewise constant k 1 =A1/∆Q k 2 <k 1 1 polynomial segments j=0,1,2,…

29 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 29 Quantization: the key “error-driven” process – Zero-order (static) – First-order Zero (static) and First Ordernth-Order Quantization err(t) q(t) piecewise constant q(t) piecewise linear k 1 =A1/∆Q k 2 <k 1 1 polynomial segments j=0,1,2,…

30 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 30 Quantization: the key “error-driven” process – Zero-order (static) – First-order Zero (static) and First Ordernth-Order Quantization err(t) q(t) piecewise constant q(t) piecewise linear No visual “quantization grid” available anymore Now also “how” the signal grows matters (e.g. only one event needed to quantize x(t)=k.t) k 1 =A1/∆Q k 2 <k 1 1 polynomial segments j=0,1,2,…

31 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 31 Quantization: the key “error-driven” process – Second-order Second Ordernth-Order Quantization k 3 <k 2

32 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 32 Quantization: the key “error-driven” process – Second-order Second Ordernth-Order Quantization err(t) q(t) piecewise parabolic k 3 <k 2

33 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 33 Quantization: the key “error-driven” process – Second-order – The quantization scheme directly determines the number of “polynomial segments” (steps) required Second Ordernth-Order Quantization err(t) q(t) piecewise parabolic k 3 <k 2

34 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 34 Quantization: the key “error-driven” process – Second-order – The quantization scheme directly determines the number of “polynomial segments” (steps) required – We will start with a definition of quantization of order n which will lead us to a definition of activity of order n Second Ordernth-Order Quantization err(t) q(t) piecewise parabolic k 3 <k 2

35 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 35 Quantization: the key “error-driven” process – nth-order (with n>0) nth-Ordernth-Order Quantization

36 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 36 Quantization: the key “error-driven” process – nth-order (with n>0) nth-Ordernth-Order Quantization err(t) q(t) piecewise nth-order

37 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 37 Quantization: the key “error-driven” process – nth-order (with n>0) m=1,2,…,n nth-Ordernth-Order Quantization err(t) q(t) piecewise nth-order

38 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 38 The quantization process keeps track of the dynamics of the error between an input signal and its quantized version – It is the key mechanism used by QSS integrators for error control – QSS: Already discussed in previous presentations. Quick recap: Quantized State Systems (QSS) nth-Order Quantization

39 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 39 The quantization process keeps track of the dynamics of the error between an input signal and its quantized version – It is the key mechanism used by QSS integrators for error control – QSS: Already discussed in previous presentations. Quick recap: Quantized State Systems (QSS) nth-Order Quantization quantized integrator pure integrator

40 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 40 The quantization process keeps track of the dynamics of the error between an input signal and its quantized version – It is the key mechanism used by QSS integrators for error control – QSS: Already discussed in previous presentations. Quick recap: Quantized State Systems (QSS) nth-Order Quantization quantized integrator pure integrator Event={c 0 }QSS1

41 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 41 The quantization process keeps track of the dynamics of the error between an input signal and its quantized version – It is the key mechanism used by QSS integrators for error control – QSS: Already discussed in previous presentations. Quick recap: Quantized State Systems (QSS) nth-Order Quantization quantized integrator pure integrator Event={c 0 }QSS1 QSS2Event={c 0,c 1 }

42 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 42 The quantization process keeps track of the dynamics of the error between an input signal and its quantized version – It is the key mechanism used by QSS integrators for error control – QSS: Already discussed in previous presentations. Quick recap: Quantized State Systems (QSS) nth-Order Quantization quantized integrator pure integrator Event={c 0 }QSS1 QSS2Event={c 0,c 1 } QSS3Event={c 0,c 1,c 2 }

43 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 43 The original definition of Activity integrates the rate of change of the signal x(t): The error perspectiventh-Order Activity

44 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 44 The original definition of Activity integrates the rate of change of the signal x(t): When q(t) is the result of a zero-order quantization, the rate of change of the signal x(t) coincides with the rate of growth of the error |q(t)-x(t)| The error perspectiventh-Order Activity

45 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 45 The original definition of Activity integrates the rate of change of the signal x(t): When q(t) is the result of a zero-order quantization, the rate of change of the signal x(t) coincides with the rate of growth of the error |q(t)-x(t)| – Consequently this formula works: The error perspectiventh-Order Activity

46 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 46 The original definition of Activity integrates the rate of change of the signal x(t): When q(t) is the result of a zero-order quantization, the rate of change of the signal x(t) coincides with the rate of growth of the error |q(t)-x(t)| – Consequently this formula works: The error perspectiventh-Order Activity But …

47 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 47 When q(t) is the result of a high order quantization, the rate of growth of the error |q(t)-x(t)| looks different: nth-Order error dynamicsnth-Order Activity

48 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 48 When q(t) is the result of a high order quantization, the rate of growth of the error |q(t)-x(t)| looks different: nth-Order error dynamicsnth-Order Activity

49 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 49 When q(t) is the result of a high order quantization, the rate of growth of the error |q(t)-x(t)| looks different: nth-Order error dynamicsnth-Order Activity =

50 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 50 When q(t) is the result of a high order quantization, the rate of growth of the error |q(t)-x(t)| looks different: Let us replace x(t) by its Taylor series expansion: nth-Order error dynamicsnth-Order Activity =

51 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 51 When q(t) is the result of a high order quantization, the rate of growth of the error |q(t)-x(t)| looks different: Let us replace x(t) by its Taylor series expansion: nth-Order error dynamicsnth-Order Activity = =

52 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 52 When q(t) is the result of a high order quantization, the rate of growth of the error |q(t)-x(t)| looks different: Let us replace x(t) by its Taylor series expansion: Then, the dynamics of the error can be expressed as: nth-Order error dynamicsnth-Order Activity = =

53 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 53 When q(t) is the result of a high order quantization, the rate of growth of the error |q(t)-x(t)| looks different: Let us replace x(t) by its Taylor series expansion: Then, the dynamics of the error can be expressed as: nth-Order error dynamicsnth-Order Activity = = =0 in all *QSSn methods

54 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 54 Definition of nth-Order Activity nth-Order Activity So, we have error

55 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 55 Definition of nth-Order Activity nth-Order Activity So, we have error The discontinuities in the polynomial segments (i.e., the integration steps) occur when:

56 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 56 Definition of nth-Order Activity nth-Order Activity err(t j+1 )=∆Q So, we have error The discontinuities in the polynomial segments (i.e., the integration steps) occur when:

57 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 57 Definition of nth-Order Activity nth-Order Activity err(t j+1 )=∆Q holds, producing “one new step”: So, we have error The discontinuities in the polynomial segments (i.e., the integration steps) occur when: Therefore, at each new discontinuity instant t j+1

58 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 58 Definition of nth-Order Activity nth-Order Activity err(t j+1 )=∆Q holds, producing “one new step”: So, we have error The discontinuities in the polynomial segments (i.e., the integration steps) occur when: Therefore, at each new discontinuity instant t j+1

59 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 59 Definition of nth-Order Activity nth-Order Activity err(t j+1 )=∆Q holds, producing “one new step”: So, we have error The discontinuities in the polynomial segments (i.e., the integration steps) occur when: Therefore, at each new discontinuity instant t j+1 Adding up these steps throughout all segments:

60 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 60 Definition of nth-Order Activity nth-Order Activity err(t j+1 )=∆Q holds, producing “one new step”: So, we have error The discontinuities in the polynomial segments (i.e., the integration steps) occur when: Therefore, at each new discontinuity instant t j+1 Adding up these steps throughout all segments:

61 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 61 Definition of nth-Order Activity nth-Order Activity err(t j+1 )=∆Q define Activity of order n holds, producing “one new step”: So, we have error The discontinuities in the polynomial segments (i.e., the integration steps) occur when: Therefore, at each new discontinuity instant t j+1 Adding up these steps throughout all segments:

62 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 62 Definition of nth-Order Activity nth-Order Activity err(t j+1 )=∆Q define Activity of order n holds, producing “one new step”: So, we have error The discontinuities in the polynomial segments (i.e., the integration steps) occur when: Therefore, at each new discontinuity instant t j+1 Adding up these steps throughout all segments:

63 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 63 The new definition retains the notions that Activity is – a property related to the inherent dynamics a signal – independent of the accuracy (quantum size) of choice Definition of nth-Order Activity nth-Order Activity

64 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 64 The new definition retains the notions that Activity is – a property related to the inherent dynamics a signal – independent of the accuracy (quantum size) of choice Definition of nth-Order Activity nth-Order Activity First Order Activitynth-Order Activity n=1

65 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 65 1 st order system Example I: Non-stiff systemExamples Solution: System:

66 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 66 1 st order system Example I: Non-stiff systemExamples Solution: System: nth-order Activity:

67 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 67 1 st order system Example I: Non-stiff systemExamples Solution: System: x a (t) “analytical” or “exact” x(0)=1   t f =5 nth-order Activity:

68 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 68 1 st order system Example I: Non-stiff systemExamples Solution: System: nth-order Activity:

69 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 69 1 st order system Example I: Non-stiff systemExamples Solution: System: nth-order Activity:

70 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 70 1 st order system Example I: Non-stiff systemExamples Solution: System: nth-order Activity:

71 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 71 1 st order system Example I: Non-stiff systemExamples Solution: System: nth-order Activity:

72 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 72 1 st order system Example I: Non-stiff systemExamples Solution: System: nth-order Activity: Practical and theoretical number of steps match reasonably close

73 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 73 1 st order system Example I: Non-stiff systemExamples Solution: System: nth-order Activity: Practical and theoretical number of steps match reasonably close =∆Q b / ∆Q a ;  =k b / k a  =  =( ) 1/2  =( ) 1/3

74 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 74 1 st order system Example I: Non-stiff systemExamples Solution: System: nth-order Activity: QSS1 Zoom in: t=[1,4] x a (t) “analytical” or “exact” q(t) x(t)

75 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 75 1 st order system Example I: Non-stiff systemExamples Solution: System: nth-order Activity: x a (t) “analytical” or “exact” q(t) x(t) QSS2 Zoom in: t=[1,4]

76 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 76 2 nd order system Example II: Stiff systemExamples System:

77 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 77 2 nd order system Example II: Stiff systemExamples System:

78 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 78 2 nd order system Example II: Stiff systemExamples Analytical solution: System:

79 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 79 2 nd order system Example II: Stiff systemExamples Analytical solution: System: nth-order Activity:

80 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 80 2 nd order system Example II: Stiff systemExamples Analytical solution: System: nth-order Activity:

81 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 81 2 nd order system Example II: Stiff systemExamples Analytical solution: System: nth-order Activity: 

82 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 82 2 nd order system Example II: Stiff systemExamples Analytical solution: System: nth-order Activity: 

83 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 83 2 nd order system Example II: Stiff systemExamples Analytical solution: System: nth-order Activity: 

84 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 84 2 nd order system We simulate with non-stiff (QSS) and stiff (LIQSS) solvers Example II: Stiff systemExamples System: nth-order Activity: QSS1LIQSS1

85 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 85 2 nd order system We simulate with non-stiff (QSS) and stiff (LIQSS) solvers Example II: Stiff systemExamples System: nth-order Activity: High frequency spurious oscillations in q 2 (t) QSS1LIQSS1 spurious oscillations avoided

86 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 86 2 nd order system First Order Activity Example II: Stiff systemExamples System: nth-order Activity: Practical and theoretical # of Steps match closely for LIQSS

87 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 87 2 nd order system First Order Activity Example II: Stiff systemExamples System: nth-order Activity: Practical and theoretical # of Steps match closely for LIQSS

88 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 88 2 nd order system First Order Activity Example II: Stiff systemExamples System: nth-order Activity: Practical and theoretical # of Steps match closely for LIQSS For q 2 (t) with QSS, the practical # of Steps is obviously unacceptable

89 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 89 2 nd order system Higher Order Activity (2 nd, 3 rd ): Expected results verified. – Results are shown below only for the “conflictive variable” q 2 (t) Example II: Stiff systemExamples Practical and theoretical # of Steps match closely for LIQSS

90 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 90 2 nd order system Higher Order Activity (2 nd, 3 rd ): Expected results verified. – Results are shown below only for the “conflictive variable” q 2 (t) Example II: Stiff systemExamples Practical and theoretical # of Steps match closely for LIQSS For q 2 (t) with QSS, the practical # of Steps is obviously unacceptable

91 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 91 We have presented a generalization of the concept of activity for continuous time signals. Conclusions

92 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 92 We have presented a generalization of the concept of activity for continuous time signals. The classical definition of activity measures the rate of change of the signal Conclusions

93 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 93 We have presented a generalization of the concept of activity for continuous time signals. The classical definition of activity measures the rate of change of the signal The new definition of activity of nth-order takes into account the rate of change of the derivatives. – Now the “how” [a continuous signal evolves] matters. – Not only the signal’s maxima and minima – Less intuitive, less visualizable Conclusions

94 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 94 We have presented a generalization of the concept of activity for continuous time signals. The classical definition of activity measures the rate of change of the signal The new definition of activity of nth-order takes into account the rate of change of the derivatives. – Now the “how” [a continuous signal evolves] matters. – Not only the signal’s maxima and minima – Less intuitive, less visualizable Activity of order n provides a means by which establishing an ideal lower bound for the number of integration steps – against which comparing the performance of a (suitably selected) Quantization-based integration method of order n. Conclusions

95 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 95 We have presented a generalization of the concept of activity for continuous time signals. The classical definition of activity measures the rate of change of the signal The new definition of activity of nth-order takes into account the rate of change of the derivatives. – Now the “how” [a continuous signal evolves] matters. – Not only the signal’s maxima and minima – Less intuitive, less visualizable Activity of order n provides a means by which establishing an ideal lower bound for the number of integration steps – against which comparing the performance of a (suitably selected) Quantization-based integration method of order n. Activity of order n is, so far, almost exclusively of theoretical relevance – For calculating A (n) we need to know the analytical solution of a system… – … but that is exactly what we can’t know prior to simulation !!! (for most cases of practical interest) Conclusions

96 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 96 Explore how the knowledge of activity measures for each variable in a given system can be exploited to: – derive optimal model partitions into multiple parallel processing nodes (cores, processors, servers) in order to maximize speedups as compared against a serial (single node) simulation. Ongoing work

97 Dr. Rodrigo Castro Activity-based Modeling & Simulation (ACTIMS'2014) ETH Zurich, Switzerland, Jan. 2014 97 Q&A rcastro@dc.uba.ar rodrigo.castro@usys.ethz.ch


Download ppt "Nth-order Activity of Continuous Systems a,b,c Rodrigo Castro and c Ernesto Kofman a ETH Zürich, Switzerland b University of Buenos Aires & c CIFASIS-CONICET,"

Similar presentations


Ads by Google