Abstract Simulation: a Static Analysis of Simulink Models
|
|
- Elfrieda Garrett
- 7 years ago
- Views:
Transcription
1 Abstract Simulation: a Static Analysis of Simulink Models Alexandre Chapoutot and Matthieu Martel LIP6 - Université Pierre et Marie Curie Paris, France ICESS 09 May 25th 2009
2 Purpose of the study Study of control-command systems Example: electronic throttle controller in cars Actuators Throttle L43: movl -6(%ebp), %eax movl 2(%eax), %eax movl %eax, -6(%ebp) movl -2(%ebp), %eax movl %eax, (%esp) call L_free$stub L34: cmpl $0, -6(%ebp) jne L37 movl $0, (%esp) call L_putchar$stub Sensors Four components: One software (the controller) One physical environment (the controlled element) Some actuators (to act on the environment) Some sensors (to get information on the environment) Heterogeneity of components: HYBRID SYSTEMS 2 / 27
3 Purpose of the study Study of control-command systems Example: electronic throttle controller in cars Actuators Throttle L43: movl -6(%ebp), %eax movl 2(%eax), %eax movl %eax, -6(%ebp) movl -2(%ebp), %eax movl %eax, (%esp) call L_free$stub L34: cmpl $0, -6(%ebp) jne L37 movl $0, (%esp) call L_putchar$stub Sensors Four components: One software (the controller) One physical environment (the controlled element) Some actuators (to act on the environment) Some sensors (to get information on the environment) Heterogeneity of components: HYBRID SYSTEMS 2 / 27
4 Purpose of the study Study of control-command systems Example: electronic throttle controller in cars Actuators Throttle L43: movl -6(%ebp), %eax movl 2(%eax), %eax movl %eax, -6(%ebp) movl -2(%ebp), %eax movl %eax, (%esp) call L_free$stub L34: cmpl $0, -6(%ebp) jne L37 movl $0, (%esp) call L_putchar$stub Sensors Four components: One software (the controller) One physical environment (the controlled element) Some actuators (to act on the environment) Some sensors (to get information on the environment) Heterogeneity of components: HYBRID SYSTEMS 2 / 27
5 Purpose of the study Study of control-command systems Example: electronic throttle controller in cars Actuators Throttle L43: movl -6(%ebp), %eax movl 2(%eax), %eax movl %eax, -6(%ebp) movl -2(%ebp), %eax movl %eax, (%esp) call L_free$stub L34: cmpl $0, -6(%ebp) jne L37 movl $0, (%esp) call L_putchar$stub Sensors Four components: One software (the controller) One physical environment (the controlled element) Some actuators (to act on the environment) Some sensors (to get information on the environment) Heterogeneity of components: HYBRID SYSTEMS 2 / 27
6 Purpose of the study Study of control-command systems Example: electronic throttle controller in cars Actuators Throttle L43: movl -6(%ebp), %eax movl 2(%eax), %eax movl %eax, -6(%ebp) movl -2(%ebp), %eax movl %eax, (%esp) call L_free$stub L34: cmpl $0, -6(%ebp) jne L37 movl $0, (%esp) call L_putchar$stub Sensors Four components: One software (the controller) One physical environment (the controlled element) Some actuators (to act on the environment) Some sensors (to get information on the environment) Heterogeneity of components: HYBRID SYSTEMS 2 / 27
7 Purpose of the study Study of control-command systems Example: electronic throttle controller in cars Actuators Throttle L43: movl -6(%ebp), %eax movl 2(%eax), %eax movl %eax, -6(%ebp) movl -2(%ebp), %eax movl %eax, (%esp) call L_free$stub L34: cmpl $0, -6(%ebp) jne L37 movl $0, (%esp) call L_putchar$stub Sensors Four components: One software (the controller) One physical environment (the controlled element) Some actuators (to act on the environment) Some sensors (to get information on the environment) Heterogeneity of components: HYBRID SYSTEMS 2 / 27
8 Design in Simulink Actuators Throttle L43: movl -6(%ebp), %eax movl 2(%eax), %eax movl %eax, -6(%ebp) movl -2(%ebp), %eax movl %eax, (%esp) call L_free$stub L34: cmpl $0, -6(%ebp) jne L37 movl $0, (%esp) call L_putchar$stub Sensors Simulink model: program describing the hybrid system l_0 Add l_ S_ l_2 l_3 Out2 l_4 S_2 l_6 l_5 In2 S_4 S_3 3 / 27
9 Numerical approximations Approximations in the real system Actuators Rounding errors Throttle L43: movl -6(%ebp), %eax movl 2(%eax), %eax movl %eax, -6(%ebp) movl -2(%ebp), %eax movl %eax, (%esp) call L_free$stub L34: cmpl $0, -6(%ebp) jne L37 movl $0, (%esp) call L_putchar$stub Sensors Temporal sampling Quantization Approximations in the Simulink model l_0 Add l_ S_ l_2 l_3 Out2 l_4 S_2 Rounding errors l_6 l_5 In2 method error S_4 S_3 4 / 27
10 Abstract Simulation: overview Fact: Numerical approximations may have bad influence on computations But: Simulations of Simulink models is often used as validation method! Abstract Simulation: contributions Static analysis by abstract interpretation of Simulink models In order to study numerical precision Formal definition of the semantics of a Simulink subset Definition of numerical abstract domains 5 / 27
11 Outline Simulink language and its semantics 2 Abstract numerical domains 3 Case study 6 / 27
12 Outline Simulink language and its semantics 2 Abstract numerical domains 3 Case study 7 / 27
13 Overview of the Simulink language Generality Matlab extension Graphical tool for designing embedded systems Numerical simulation engine Many specific libraries: signal processing, control theory, etc. De facto standard in the industry (in particular in automotive) Features Many data formats (float and fixed-point) Numerical algorithms: Euler, Runge-Kutta, etc. Code generator, debugger, etc. Various kinds of models Continuous-time Discrete-time Hybrid 8 / 27
14 Modelling with Simulink Actuators Throttle L43: movl -6(%ebp), %eax movl 2(%eax), %eax movl %eax, -6(%ebp) movl -2(%ebp), %eax movl %eax, (%esp) call L_free$stub L34: cmpl $0, -6(%ebp) jne L37 movl $0, (%esp) call L_putchar$stub Sensors Simulink model l_0 Add l_ S_ l_2 S_2 Out2 l_4 l_3 l_6 l_5 In2 S_4 S_3 9 / 27
15 Model of the electronic throttle control Simulink model of the system l_0 Add l_ S_ l_2 l_3 Out2 l_4 S_2 l_6 l_5 In2 S_4 S_3 Mathematical model of the throttle T (t) = Direction Effort C s ω(t) = J ( K s(θ(t) θ eq ) K d ω(t) + T (t)) 0 < θ < π/2 if (θ < 0 sgn( ω(t) = )) ((θ > π/2 sgn( ω(t) = ))) then ω(t) = 0 0 / 27
16 Model of the electronic throttle control Simulink model of the throttle 2 In2 l_23 l_24 Product l_25 Cs Gain l_26 l_30 l_37 l_29 Kd Ks Gain l_28 Add l_27 teq Constant Add2 Gain2 l_39 Sign l_3 == Relational Operator l_32 NOT Logical Operator l_33 l_34 Product /J Gain3 l_38 l_35 s Integrator l_36 s Integrator l_39 l_39 0 / 27
17 Model of the electronic throttle control Simulink model of the throttle (continuous-time system) 2 In2 l_23 l_24 Product l_25 Cs Gain l_26 l_30 l_37 l_29 Kd Ks Gain l_28 Add l_27 teq Constant Add2 Gain2 l_39 Sign l_3 == Relational Operator l_32 NOT Logical Operator l_33 l_34 Product /J Gain3 l_38 l_35 s Integrator l_36 s Integrator l_39 l_39 Temporal operation: Integrator (continuous-time) 0 / 27
18 Model of the controller Simulink model of the system Actionneurs l_0 Add l_6 l_ S_ S_4 l_2 l_5 l_3 Out2 l_4 S_2 In2 S_3 Papillon des gaz L43: movl -6(%ebp), %eax movl 2(%eax), %eax movl %eax, -6(%ebp) movl -2(%ebp), %eax movl %eax, (%esp) call L_free$stub L34: cmpl $0, -6(%ebp) jne L37 movl $0, (%esp) call L_putchar$stub Capteurs Mathematical model of the controller (PI regulator) y(k) = y p (k) + y i (k) y p (k) = K p e(k) y i (k + ) = y i (k) + K i T s e(k) 0 < y i (k) < / 27
19 Model of the controller Simulink model of the regulator l_7 Ki Gain Kp Gain l_ l_8 Ts Gain2 l_2 l_5 Add l_3 Add l_9 z Unit Delay l_4 Saturation / 27
20 Model of the controller Simulink model of the regulator (discrete-time system) l_7 Ki Gain Kp Gain l_ l_8 Ts Gain2 l_2 l_5 Add l_3 Add l_9 z Unit Delay l_4 Saturation Temporal operation: Unit Delay (discrete-time) / 27
21 Numerical simulation: semantics of Simulink Simulink model Numerical simulation l_0 Add l_6 l_ S_ S_4 l_2 l_5 l_3 Out2 l_4 S_2 In2 S_3 : Initial states 2: repeat 3: Read inputs 4: Compute outputs 5: Compute state 6: Compute next time-step 7: until end of time simulation What is a state? State: previous iteration values needed to compute the current output Informal definition of the semantics of Simulink 2 / 27
22 Formalization of the Simulink s semantics Name Bloc Equations Constant Add Switch Integrator UnitDelay c Constantl {l = c, } l l 2 Add l 3 {l 3 = l + l 2, } l l2 l4 l3 Switch {l 4 = if(p(l ), l 2, l 3 ), } l /s l 2 Integrator {l 2 (t) = ρ(t), ρ(t) = l (t)} l l 2 z Unit Delay {l 2 (k) = ρ(k), ρ(k + ) = l (k)} Two kinds of equations: Output equations State equation: temporal operation in the semantics Remark: Use the equivalence y(t) = x(z)dz ẏ(t) = x(t) 3 / 27
23 Formalization of the Simulink s semantics Name Bloc Equations Constant Add Switch Integrator UnitDelay c Constantl {l = c, } l l 2 Add l 3 {l 3 = l + l 2, } l l2 l4 l3 Switch {l 4 = if(p(l ), l 2, l 3 ), } l /s l 2 Integrator {l 2 (t) = ρ(t), ρ(t) = l (t)} l l 2 z Unit Delay {l 2 (k) = ρ(k), ρ(k + ) = l (k)} Two kinds of equations: Output equations State equation: temporal operation in the semantics Remark: Use the equivalence y(t) = x(z)dz ẏ(t) = x(t) 3 / 27
24 Formalization of the Simulink s semantics Name Bloc Equations Constant Add Switch Integrator UnitDelay c Constantl {l = c, } l l 2 Add l 3 {l 3 = l + l 2, } l l2 l4 l3 Switch {l 4 = if(p(l ), l 2, l 3 ), } l /s l 2 Integrator {l 2 (t) = ρ(t), ρ(t) = l (t)} l l 2 z Unit Delay {l 2 (k) = ρ(k), ρ(k + ) = l (k)} Two kinds of equations: Output equations State equation: temporal operation in the semantics Remark: Use the equivalence y(t) = x(z)dz ẏ(t) = x(t) 3 / 27
25 Formalization: semantics of Simulink Simulink model l_0 l_ l_2 Add S_ l_6 l_5 S_4 l_3 Out2 l_4 S_2 In2 S_3 System of equations 8 9 l 0 = l = l 0 l 6 >< l 2 = S (l ) >= (l 3, l 4 ) = S 2 (l 2 ) l 5 = S 3 (l 3, l 4 ) >: >; l 6 = S 4 (l 5 ) Numerical simulation : Initial states 2: repeat 3: Read inputs 4: Compute outputs 5: Compute state evolution 6: Compute next time-step 7: until time of end Approximation: Discretization of continuous-time functions ẏ(t) = x(t) transformed into η(k + ) = solver(η(k), x(k)) y(k) = η(k) Remark: several numerical integration methods then several semantics of Simulink 4 / 27
26 Abstract simulation vs Numerical simulation f (t) f (t) t t Numerical simulation f (t) f (t) t : Initial states 2: repeat 3: Read inputs 4: Compute outputs 5: Compute state evolution 6: Compute next time-step 7: until time of end f (t) f (t) t t t 5 / 27
27 Abstract simulation vs Numerical simulation Abstract simulation : Initlal states 2: while not fixed-point do 3: Read inputs 4: Compute outputs 5: Compute state 6: Compute next time-step 7: end while Semantic approach of Simulink models. Result: Evaluation of the robustness of control-command software to numerical approximations for a set of inputs Represent signals by interval sequences with finite lengths (domain of sequences) 5 / 27
28 Outline Simulink language and its semantics 2 Abstract numerical domains 3 Case study 6 / 27
29 Formalization: numerical properties Rounding errors Simulink: discretetime systems Activate Simulink: continuoustime systems Method error + Rounding errors Sample : Quantization errors Goal: Compute the distance between the results of the mathematical model and the results of the numerical simulation But: Different kinds of numerical approximations in the two types of systems 7 / 27
30 Numerical approximation in continuous-time systems Rounding errors Simulink: discretetime systems Activate Simulink: continuoustime systems Method error + Rounding errors Sample : Quantization errors Measure the distance between : the numerical simulation (using numerical integration methods) the mathematical results through perfect sensor 8 / 27
31 Numerical approximation in continuous-time systems For a system of differential equations: Simulink: interval sequence approximate the solution Guarantee solution: interval sequence over-approximate the real solutions [Bouissou 08,Nedialkov 05] Guarantee numerical solution Solution Simulink with intervals Exact solution t t 2 t 3 t 4 Time Correction criteria: distance between the guarantee solution and the interval solutions following Simulink s method 9 / 27
32 Set of values: intervals Intervals [Moore 66] [Cousot&Cousot 77] [a, b] = {x R a x b} Dependency problem: X X 0 in general Solution: centered form Middle value theorem f([a, b]) f(m) + [f ]([a, b])([a, b] m) m centered of the interval [a, b] 20 / 27
33 Numerical approximation in discrete-time systems Rounding errors Simulink: discretetime systems Activate Simulink: continuoustime systems Method error + Rounding errors Sample : Quantization errors Evaluate the distance between: the result of a floating-point computation and the result of the same computation did with real arithmetic 2 / 27
34 Computing the rounding errors Domain of floating-point with errors numbers [Goubault 0, Martel 02] Idea: breaking up a real value into Floating-point value f Rounding error e: the distance between the real value and the floating-point value ( ) Computation rules: e.g. addition a = (f a, e a ) and b = (f b, e b ) a + b = (f a + F f b, e a + e b + (f a + f b )) Correction criteria: Smaller the errors are, more precise the floating-point result is (i.e. closer to the real result) 22 / 27
35 Outline Simulink language and its semantics 2 Abstract numerical domains 3 Case study 23 / 27
36 Case study: electronic throttle controller Actuators Throttle L43: movl -6(%ebp), %eax movl 2(%eax), %eax movl %eax, -6(%ebp) movl -2(%ebp), %eax movl %eax, (%esp) call L_free$stub L34: cmpl $0, -6(%ebp) jne L37 movl $0, (%esp) call L_putchar$stub Sensors Simulink model l_0 Add l_ S_ l_2 S_2 Out2 l_4 l_3 l_6 l_5 In2 S_4 S_3 24 / 27
37 Case study: electronic throttle controller Model input: set of periodic inputs Behavior of the throttle Actuators Throttle L43: movl -6(%ebp), %eax movl 2(%eax), %eax movl %eax, -6(%ebp) movl -2(%ebp), %eax movl %eax, (%esp) call L_free$stub L34: cmpl $0, -6(%ebp) jne L37 movl $0, (%esp) call L_putchar$stub Sensors 25 / 27
38 Case study: electronic throttle controller PID output Numerical approximations Actuators Throttle L43: movl -6(%ebp), %eax movl 2(%eax), %eax movl %eax, -6(%ebp) movl -2(%ebp), %eax movl %eax, (%esp) call L_free$stub L34: cmpl $0, -6(%ebp) jne L37 movl $0, (%esp) call L_putchar$stub Conclusion: the numerical results are close to the mathematical ones (errors are very small) Sensors 26 / 27
39 Conclusion In summary Definition of a static analysis by abstract interpretation of Simulink models Formal verification of the numerical precision of the design of control-command systems Method taking into account all the elements of control-command systems Future works among several Increase the subset of Simulink language (e.g. Stateflow) Numerical precision of fixed-point arithmetic A step further in validation: temporal properties 27 / 27
Abstract Simulation: a Static Analysis of Simulink Models
Abstract Simulation: a Static Analysis of Simulink Models Alexandre Chapoutot LIP6 Université Pierre et Marie Curie 4, place Jussieu F75252 Paris Cedex 05, France Email: alexandre.chapoutot@lip6.fr Matthieu
More informationIntroduction to Simulink & Stateflow. Coorous Mohtadi
Introduction to Simulink & Stateflow Coorous Mohtadi 1 Key Message Simulink and Stateflow provide: A powerful environment for modelling real processes... and are fully integrated with the MATLAB environment.
More informationConverting Models from Floating Point to Fixed Point for Production Code Generation
MATLAB Digest Converting Models from Floating Point to Fixed Point for Production Code Generation By Bill Chou and Tom Erkkinen An essential step in embedded software development, floating- to fixed-point
More informationStatic analysis of numerical programs
Sylvie Putot with Eric Goubault, Franck Védrine and Karim Tekkal (Digiteo) Laboratory for the Modelling and Analysis of Interacting Systems, CEA LIST RAIM 09: 3es Rencontres Arithmétique de l Informatique
More informationA Static Analyzer for Large Safety-Critical Software. Considered Programs and Semantics. Automatic Program Verification by Abstract Interpretation
PLDI 03 A Static Analyzer for Large Safety-Critical Software B. Blanchet, P. Cousot, R. Cousot, J. Feret L. Mauborgne, A. Miné, D. Monniaux,. Rival CNRS École normale supérieure École polytechnique Paris
More informationSimulink Modeling Guidelines for High-Integrity Systems
Simulink Modeling Guidelines for High-Integrity Systems R2015a How to Contact MathWorks Latest news: www.mathworks.com Sales and services: www.mathworks.com/sales_and_services User community: www.mathworks.com/matlabcentral
More informationLecture 9 Modeling, Simulation, and Systems Engineering
Lecture 9 Modeling, Simulation, and Systems Engineering Development steps Model-based control engineering Modeling and simulation Systems platform: hardware, systems software. Control Engineering 9-1 Control
More informationReliability Guarantees in Automata Based Scheduling for Embedded Control Software
1 Reliability Guarantees in Automata Based Scheduling for Embedded Control Software Santhosh Prabhu, Aritra Hazra, Pallab Dasgupta Department of CSE, IIT Kharagpur West Bengal, India - 721302. Email: {santhosh.prabhu,
More informationIntroduction to Xilinx System Generator Part II. Evan Everett and Michael Wu ELEC 433 - Spring 2013
Introduction to Xilinx System Generator Part II Evan Everett and Michael Wu ELEC 433 - Spring 2013 Outline Introduction to FPGAs and Xilinx System Generator System Generator basics Fixed point data representation
More informationMECE 102 Mechatronics Engineering Orientation
MECE 102 Mechatronics Engineering Orientation Mechatronic System Components Associate Prof. Dr. of Mechatronics Engineering Çankaya University Compulsory Course in Mechatronics Engineering Credits (2/0/2)
More informationReal-Time Systems Versus Cyber-Physical Systems: Where is the Difference?
Real-Time Systems Versus Cyber-Physical Systems: Where is the Difference? Samarjit Chakraborty www.rcs.ei.tum.de TU Munich, Germany Joint work with Dip Goswami*, Reinhard Schneider #, Alejandro Masrur
More informationFormal Verification and Linear-time Model Checking
Formal Verification and Linear-time Model Checking Paul Jackson University of Edinburgh Automated Reasoning 21st and 24th October 2013 Why Automated Reasoning? Intellectually stimulating and challenging
More informationIntroduction to MATLAB Gergely Somlay Application Engineer gergely.somlay@gamax.hu
Introduction to MATLAB Gergely Somlay Application Engineer gergely.somlay@gamax.hu 2012 The MathWorks, Inc. 1 What is MATLAB? High-level language Interactive development environment Used for: Numerical
More informationMatlab and Simulink. Matlab and Simulink for Control
Matlab and Simulink for Control Automatica I (Laboratorio) 1/78 Matlab and Simulink CACSD 2/78 Matlab and Simulink for Control Matlab introduction Simulink introduction Control Issues Recall Matlab design
More informationSet-based Simulation for Design and Verification of Simulink Models
Set-based Simulation for Design and Verification of Simulink Models Olivier Bouissou, Samuel Mimram, Baptiste Strazzulla CEA, LIST, Gif-sur-Yvette, France Email: firstname.lastname@cea.fr Alexandre Chapoutot
More informationFrom Control Loops to Software
CNRS-VERIMAG Grenoble, France October 2006 Executive Summary Embedded systems realization of control systems by computers Computers are the major medium for realizing controllers There is a gap between
More informationFrom Hybrid Data-Flow Languages to Hybrid Automata: A Complete Translation
From Hybrid Data-Flow Languages to Hybrid Automata: A Complete Translation Peter Schrammel peter.schrammel@inria.fr (joint work with Bertrand Jeannet) INRIA Grenoble Rhône-Alpes INRIA large-scale initiative
More informationIngo Stürmer, Dietrich Travkin. Automated Transformation of MATLAB Simulink and Stateflow Models
Ingo Stürmer, Dietrich Travkin Automated Transformation of MATLAB Simulink and Stateflow Models Ingo Stürmer Model Engineering Solutions Dietrich Travkin University of Paderborn Object-oriented Modeling
More informationSolving ODEs in Matlab. BP205 M.Tremont 1.30.2009
Solving ODEs in Matlab BP205 M.Tremont 1.30.2009 - Outline - I. Defining an ODE function in an M-file II. III. IV. Solving first-order ODEs Solving systems of first-order ODEs Solving higher order ODEs
More informationSoftware Development with Real- Time Workshop Embedded Coder Nigel Holliday Thales Missile Electronics. Missile Electronics
Software Development with Real- Time Workshop Embedded Coder Nigel Holliday Thales 2 Contents Who are we, where are we, what do we do Why do we want to use Model-Based Design Our Approach to Model-Based
More informationHYBRID SYSTEMS CONTROLLER DESIGN METHODOLOGY
FISITA2010-SC-O-14 HYBRID SYSTEMS CONTROLLER DESIGN METHODOLOGY 1 Pluska Michal*, 1 Sinclair David 1 LERO@DCU i, Dublin City University, School of Computing, Dublin 9, Ireland michal.pluska2@mail.dcu.ie
More informationStatic Program Transformations for Efficient Software Model Checking
Static Program Transformations for Efficient Software Model Checking Shobha Vasudevan Jacob Abraham The University of Texas at Austin Dependable Systems Large and complex systems Software faults are major
More informationRecurrent Neural Networks
Recurrent Neural Networks Neural Computation : Lecture 12 John A. Bullinaria, 2015 1. Recurrent Neural Network Architectures 2. State Space Models and Dynamical Systems 3. Backpropagation Through Time
More informationSYSTEMS, CONTROL AND MECHATRONICS
2015 Master s programme SYSTEMS, CONTROL AND MECHATRONICS INTRODUCTION Technical, be they small consumer or medical devices or large production processes, increasingly employ electronics and computers
More informationStateFlow Hands On Tutorial
StateFlow Hands On Tutorial HS/PDEEC 2010 03 04 José Pinto zepinto@fe.up.pt Session Outline Simulink and Stateflow Numerical Simulation of ODEs Initial Value Problem (Hands on) ODEs with resets (Hands
More informationProfessional Organization Checklist for the Computer Science Curriculum Updates. Association of Computing Machinery Computing Curricula 2008
Professional Organization Checklist for the Computer Science Curriculum Updates Association of Computing Machinery Computing Curricula 2008 The curriculum guidelines can be found in Appendix C of the report
More informationModeling Techniques, Programming Languages, and Design Toolsets for Hybrid Systems
Modeling Techniques, Programming Languages, and Design Toolsets for Hybrid Systems Luca P. Carloni, Maria Domenica DiBenedetto, Roberto Passerone, Alessandro Pinto and Alberto Sangiovanni-Vincentelli Abstract
More informationControl Systems with Actuator Saturation
Control Systems with Actuator Saturation Analysis and Design Tingshu Hu Zongli Lin With 67 Figures Birkhauser Boston Basel Berlin Preface xiii 1 Introduction 1 1.1 Linear Systems with Actuator Saturation
More informationDigital Transmission of Analog Data: PCM and Delta Modulation
Digital Transmission of Analog Data: PCM and Delta Modulation Required reading: Garcia 3.3.2 and 3.3.3 CSE 323, Fall 200 Instructor: N. Vlajic Digital Transmission of Analog Data 2 Digitization process
More informationOutline Servo Control
Outline Servo Control Servo-Motor Drivers Control Modes orque Capability Servo-control Systems Direct/Indirect Control System Control Algorithm Implementation Controller Design by Emulation Discretization
More informationPRESS RELEASE FRAUNHOFER INSTITUTE FOR INTEGRATED CIRCUITS IIS DESIGN AUTOMATION DIVISION EAS. PRESSE RELEASE June 2, 2014 Page 1 5
PRESS RELEASE June 2, 2014 Page 1 5 European Project VERDI provides Universal Verification Methodology (UVM) in SystemC to Accellera Systems Initiative as new industry standard proposal UVM-SystemC language
More informationWhat s New in MATLAB and Simulink
What s New in MATLAB and Simulink Kevin Cohan Product Marketing, MATLAB Michael Carone Product Marketing, Simulink 2015 The MathWorks, Inc. 1 What was new for Simulink in R2012b? 2 What Was New for MATLAB
More informationNumerical Methods in MATLAB
Numerical Methods in MATLAB Center for Interdisciplinary Research and Consulting Department of Mathematics and Statistics University of Maryland, Baltimore County www.umbc.edu/circ Winter 2008 Mission
More informationSGN-1158 Introduction to Signal Processing Test. Solutions
SGN-1158 Introduction to Signal Processing Test. Solutions 1. Convolve the function ( ) with itself and show that the Fourier transform of the result is the square of the Fourier transform of ( ). (Hints:
More informationSCADE Suite in Space Applications
SCADE Suite in Space Applications at EADS David Lesens 09/10/2008 Overview Introduction Historical use of SCADE at EADS Astrium ST Why using SCADE? The Automatic Transfer Vehicle (ATV) M51 and Vega R&T
More informationThe Basics of System Dynamics: Discrete vs. Continuous Modelling of Time 1
The Basics of System Dynamics: Discrete vs. Continuous Modelling of Time 1 Günther Ossimitz 2 Maximilian Mrotzek 3 University of Klagenfurt Department of Mathematics Universitätsstrasse 65 9020 Klagenfurt,
More informationMaking model-based development a reality: The development of NEC Electronics' automotive system development environment in conjunction with MATLAB
The V850 Integrated Development Environment in Conjunction with MAT...iles and More / Web Magazine -Innovation Channel- / NEC Electronics Volume 53 (Feb 22, 2006) The V850 Integrated Development Environment
More informationKalman Filter Applied to a Active Queue Management Problem
IOSR Journal of Electrical and Electronics Engineering (IOSR-JEEE) e-issn: 2278-1676,p-ISSN: 2320-3331, Volume 9, Issue 4 Ver. III (Jul Aug. 2014), PP 23-27 Jyoti Pandey 1 and Prof. Aashih Hiradhar 2 Department
More informationProgrammable Logic Controllers Definition. Programmable Logic Controllers History
Definition A digitally operated electronic apparatus which uses a programmable memory for the internal storage of instructions for implementing specific functions such as logic, sequencing, timing, counting,
More informationFeasibility of a Software Process Modeling Library based on MATLAB / Simulink
Feasibility of a Software Process Modeling Library based on MATLAB / Simulink T. Birkhoelzer University of Applied Sciences Konstanz, Braunegger Str. 55, 7846 Konstanz, Germany, birkhoelzer@fh-kontanz.de
More informationModeling, Computers, and Error Analysis Mathematical Modeling and Engineering Problem-Solving
Next: Roots of Equations Up: Numerical Analysis for Chemical Previous: Contents Subsections Mathematical Modeling and Engineering Problem-Solving A Simple Mathematical Model Computers and Software The
More informationIntroduction to Engineering System Dynamics
CHAPTER 0 Introduction to Engineering System Dynamics 0.1 INTRODUCTION The objective of an engineering analysis of a dynamic system is prediction of its behaviour or performance. Real dynamic systems are
More informationModeling and Verification of Sampled-Data Hybrid Systems
Modeling and Verification of Sampled-Data Hybrid Systems Abstract B. Izaias Silva and Bruce H. Krogh Dept. of Electrical and Computer Engineering, Carnegie Mellon University (Izaias /krogh)@cmu.edu We
More informationDCMS DC MOTOR SYSTEM User Manual
DCMS DC MOTOR SYSTEM User Manual release 1.3 March 3, 2011 Disclaimer The developers of the DC Motor System (hardware and software) have used their best efforts in the development. The developers make
More informationCenter for Hybrid and Embedded Software Systems
Center for Hybrid and Embedded Software Systems College of Engineering, University of California at Berkeley Presented by: Edward A. Lee, EECS, UC Berkeley Citris Founding Corporate Members Meeting, Feb.
More informationCourse overview Processamento de sinais 2009/10 LEA
Course overview Processamento de sinais 2009/10 LEA João Pedro Gomes jpg@isr.ist.utl.pt Instituto Superior Técnico Processamento de sinais MEAer (IST) Course overview 1 / 19 Course overview Motivation:
More informationMODELING, SIMULATION AND DESIGN OF CONTROL CIRCUIT FOR FLEXIBLE ENERGY SYSTEM IN MATLAB&SIMULINK
MODELING, SIMULATION AND DESIGN OF CONTROL CIRCUIT FOR FLEXIBLE ENERGY SYSTEM IN MATLAB&SIMULINK M. Pies, S. Ozana VSB-Technical University of Ostrava Faculty of Electrotechnical Engineering and Computer
More informationSources: On the Web: Slides will be available on:
C programming Introduction The basics of algorithms Structure of a C code, compilation step Constant, variable type, variable scope Expression and operators: assignment, arithmetic operators, comparison,
More informationA Tool for Generating Partition Schedules of Multiprocessor Systems
A Tool for Generating Partition Schedules of Multiprocessor Systems Hans-Joachim Goltz and Norbert Pieth Fraunhofer FIRST, Berlin, Germany {hans-joachim.goltz,nobert.pieth}@first.fraunhofer.de Abstract.
More informationIntroduction. Compiler Design CSE 504. Overview. Programming problems are easier to solve in high-level languages
Introduction Compiler esign CSE 504 1 Overview 2 3 Phases of Translation ast modifled: Mon Jan 28 2013 at 17:19:57 EST Version: 1.5 23:45:54 2013/01/28 Compiled at 11:48 on 2015/01/28 Compiler esign Introduction
More informationAC 2012-4561: MATHEMATICAL MODELING AND SIMULATION US- ING LABVIEW AND LABVIEW MATHSCRIPT
AC 2012-4561: MATHEMATICAL MODELING AND SIMULATION US- ING LABVIEW AND LABVIEW MATHSCRIPT Dr. Nikunja Swain, South Carolina State University Nikunja Swain is a professor in the College of Science, Mathematics,
More informationWireless Communication and RF System Design Using MATLAB and Simulink Giorgia Zucchelli Technical Marketing RF & Mixed-Signal
Wireless Communication and RF System Design Using MATLAB and Simulink Giorgia Zucchelli Technical Marketing RF & Mixed-Signal 2013 The MathWorks, Inc. 1 Outline of Today s Presentation Introduction to
More informationProduct Development Flow Including Model- Based Design and System-Level Functional Verification
Product Development Flow Including Model- Based Design and System-Level Functional Verification 2006 The MathWorks, Inc. Ascension Vizinho-Coutry, avizinho@mathworks.fr Agenda Introduction to Model-Based-Design
More informationEuler s Method and Functions
Chapter 3 Euler s Method and Functions The simplest method for approximately solving a differential equation is Euler s method. One starts with a particular initial value problem of the form dx dt = f(t,
More informationModel Engineering using Multimodeling
Model Engineering using Multimodeling Christopher Brooks (UC Berkeley) Chih-Hong Cheng (UC Berkeley & TU Munich) Thomas Huining Feng (UC Berkeley) Edward A. Lee (UC Berkeley) Reinhard von Hanxleden (Christian-Albrechts-Univ.
More informationNumerical Matrix Analysis
Numerical Matrix Analysis Lecture Notes #10 Conditioning and / Peter Blomgren, blomgren.peter@gmail.com Department of Mathematics and Statistics Dynamical Systems Group Computational Sciences Research
More information6 Systems Represented by Differential and Difference Equations
6 Systems Represented by ifferential and ifference Equations An important class of linear, time-invariant systems consists of systems represented by linear constant-coefficient differential equations in
More informationUndergraduate Major in Computer Science and Engineering
University of California, Irvine 2015-2016 1 Undergraduate Major in Computer Science and Engineering On This Page: Overview Admissions Requirements for the B.S. in Computer Science and Engineering Sample
More informationThe Joint Distribution of Server State and Queue Length of M/M/1/1 Retrial Queue with Abandonment and Feedback
The Joint Distribution of Server State and Queue Length of M/M/1/1 Retrial Queue with Abandonment and Feedback Hamada Alshaer Université Pierre et Marie Curie - Lip 6 7515 Paris, France Hamada.alshaer@lip6.fr
More informationIntroducing Formal Methods. Software Engineering and Formal Methods
Introducing Formal Methods Formal Methods for Software Specification and Analysis: An Overview 1 Software Engineering and Formal Methods Every Software engineering methodology is based on a recommended
More informationPID control - Simple tuning methods
- Simple tuning methods Ulf Holmberg Introduction Lab processes Control System Dynamical System Step response model Self-oscillation model PID structure Step response method (Ziegler-Nichols) Self-oscillation
More informationVerification of hybrid dynamical systems
Verification of hybrid dynamical systems Jüri Vain Tallinn Technical University/Institute of Cybernetics vain@ioc.ee Outline What are Hybrid Systems? Hybrid automata Verification of hybrid systems Verification
More informationSystem Modelingg Models of Computation and their Applications Axel Jantsch Laboratory for Electronics and Computer Systems (LECS) Royal Institute of Technology, Stockholm, Sweden February 4, 2005 System
More informationIntegrating MBD and CBD Workflows for Automotive Control Software
Integrating MBD and CBD Workflows for Automotive Control Software V. B. Singh, Ajinkya Bhave, Dhvinay P V, Dilli Atturu Siemens Industry Software (India) Private Limited., SKCL Central Square - 1, Guindy
More informationFrequency Response of FIR Filters
Frequency Response of FIR Filters Chapter 6 This chapter continues the study of FIR filters from Chapter 5, but the emphasis is frequency response, which relates to how the filter responds to an input
More informationELECTRICAL ENGINEERING
EE ELECTRICAL ENGINEERING See beginning of Section H for abbreviations, course numbers and coding. The * denotes labs which are held on alternate weeks. A minimum grade of C is required for all prerequisite
More informationIEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 56, NO. 10, OCTOBER 2011 2345
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL 56, NO 10, OCTOBER 2011 2345 Compositional Modeling and Analysis of Multi-Hop Control Networks Rajeev Alur, Fellow, IEEE, Alessandro D Innocenzo, Karl H Johansson,
More informationArithmetic Coding: Introduction
Data Compression Arithmetic coding Arithmetic Coding: Introduction Allows using fractional parts of bits!! Used in PPM, JPEG/MPEG (as option), Bzip More time costly than Huffman, but integer implementation
More informationNumerical Methods with Excel/VBA:
Numerical Methods with Excel/VBA: Many problems in Mathematics, Physics, Economics, etc can only be solved in very idealized situations in an exact analytical fashion. Even solvable problems can often
More informationFUZZY CLUSTERING ANALYSIS OF DATA MINING: APPLICATION TO AN ACCIDENT MINING SYSTEM
International Journal of Innovative Computing, Information and Control ICIC International c 0 ISSN 34-48 Volume 8, Number 8, August 0 pp. 4 FUZZY CLUSTERING ANALYSIS OF DATA MINING: APPLICATION TO AN ACCIDENT
More informationNonlinear Algebraic Equations. Lectures INF2320 p. 1/88
Nonlinear Algebraic Equations Lectures INF2320 p. 1/88 Lectures INF2320 p. 2/88 Nonlinear algebraic equations When solving the system u (t) = g(u), u(0) = u 0, (1) with an implicit Euler scheme we have
More informationPráctica 1: PL 1a: Entorno de programación MathWorks: Simulink
Práctica 1: PL 1a: Entorno de programación MathWorks: Simulink 1 Objetivo... 3 Introducción Simulink... 3 Open the Simulink Library Browser... 3 Create a New Simulink Model... 4 Simulink Examples... 4
More informationSoftware Development Principles Applied to Graphical Model Development
Software Development Principles Applied to Graphical Model Development Paul A. Barnard * The MathWorks, Natick, MA 01760, USA The four fundamental principles of good software design communicate clearly,
More informationROBOTICS 01PEEQW. Basilio Bona DAUIN Politecnico di Torino
ROBOTICS 01PEEQW Basilio Bona DAUIN Politecnico di Torino Probabilistic Fundamentals in Robotics Robot Motion Probabilistic models of mobile robots Robot motion Kinematics Velocity motion model Odometry
More informationPoznan University of Technology Faculty of Electrical Engineering
Poznan University of Technology Faculty of Electrical Engineering Contact Person: Pawel Kolwicz Vice-Dean Faculty of Electrical Engineering pawel.kolwicz@put.poznan.pl List of Modules Academic Year: 2015/16
More informationUNIVERSITY OF CALIFORNIA, SAN DIEGO Electrical & Computer Engineering Department ECE 101 - Fall 2009 Linear Systems Fundamentals
UNIVERSITY OF CALIFORNIA, SAN DIEGO Electrical & Computer Engineering Department ECE 101 - Fall 2009 Linear Systems Fundamentals MIDTERM EXAM You are allowed one 2-sided sheet of notes. No books, no other
More informationParameter Identification for State of Discharge Estimation of Li-ion Batteries
Parameter Identification for State of Discharge Estimation of Li-ion Batteries * Suchart Punpaisarn ) and Thanatchai Kulworawanichpong 2) ), 2) Power System Research Unit, School of Electrical Engineering
More informationPricing and calibration in local volatility models via fast quantization
Pricing and calibration in local volatility models via fast quantization Parma, 29 th January 2015. Joint work with Giorgia Callegaro and Martino Grasselli Quantization: a brief history Birth: back to
More informationWhy Adopt Model-Based Design for Embedded Control Software Development?
Why Adopt Model-Based Design for Embedded Control Software Development? As requirements for increased product performance are driving up design complexity, embedded software is increasingly becoming the
More informationData Storage 3.1. Foundations of Computer Science Cengage Learning
3 Data Storage 3.1 Foundations of Computer Science Cengage Learning Objectives After studying this chapter, the student should be able to: List five different data types used in a computer. Describe how
More informationContent. Professur für Steuerung, Regelung und Systemdynamik. Lecture: Vehicle Dynamics Tutor: T. Wey Date: 01.01.08, 20:11:52
1 Content Overview 1. Basics on Signal Analysis 2. System Theory 3. Vehicle Dynamics Modeling 4. Active Chassis Control Systems 5. Signals & Systems 6. Statistical System Analysis 7. Filtering 8. Modeling,
More informationLanguages for Programming Hybrid Discrete/Continuous-Time Systems
Languages for Programming Hybrid Discrete/Continuous-Time Systems Marc Pouzet ENS Paris/UPMC/INRIA Collège de France, March 26, 2014 In collaboration with Albert Benveniste, Timothy Bourke, Benoit Caillaud
More informationSpike-Based Sensing and Processing: What are spikes good for? John G. Harris Electrical and Computer Engineering Dept
Spike-Based Sensing and Processing: What are spikes good for? John G. Harris Electrical and Computer Engineering Dept ONR NEURO-SILICON WORKSHOP, AUG 1-2, 2006 Take Home Messages Introduce integrate-and-fire
More informationNumerical Methods for Differential Equations
Numerical Methods for Differential Equations Course objectives and preliminaries Gustaf Söderlind and Carmen Arévalo Numerical Analysis, Lund University Textbooks: A First Course in the Numerical Analysis
More informationModule 6 Case Studies
Module 6 Case Studies 1 Lecture 6.1 A CFD Code for Turbomachinery Flows 2 Development of a CFD Code The lecture material in the previous Modules help the student to understand the domain knowledge required
More informationImprovements on flow/guard intersection for nonlinear hybrid reachability
Improvements on flow/guard intersection for nonlinear hybrid reachability M. Maïga 1,2, N. Ramdani 1, and L. Travé-Massuyès 2 1 Université d Orléans, PRISME, 18020 Bourges, France 2 CNRS, LAAS, 31400 Toulouse,
More informationAlgorithms are the threads that tie together most of the subfields of computer science.
Algorithms Algorithms 1 Algorithms are the threads that tie together most of the subfields of computer science. Something magically beautiful happens when a sequence of commands and decisions is able to
More informationIntegrating MATLAB into your C/C++ Product Development Workflow Andy Thé Product Marketing Image Processing Applications
Integrating MATLAB into your C/C++ Product Development Workflow Andy Thé Product Marketing Image Processing Applications 2015 The MathWorks, Inc. 1 Typical Development Workflow Translating MATLAB to C/C++
More informationSimulink Getting Started Guide
Simulink Getting Started Guide R05b How to Contact MathWorks Latest news: www.mathworks.com Sales and services: www.mathworks.com/sales_and_services User community: www.mathworks.com/matlabcentral Technical
More informationBreaking The Code. Ryan Lowe. Ryan Lowe is currently a Ball State senior with a double major in Computer Science and Mathematics and
Breaking The Code Ryan Lowe Ryan Lowe is currently a Ball State senior with a double major in Computer Science and Mathematics and a minor in Applied Physics. As a sophomore, he took an independent study
More informationNumerical Methods with Excel/VBA:
Numerical Methods with Excel/VBA: Many problems in Mathematics, Physics, Economics, etc can only be solved in very idealized situations in an exact analytical fashion. Even solvable problems can often
More informationNumerical Methods for Differential Equations
1 Numerical Methods for Differential Equations 1 2 NUMERICAL METHODS FOR DIFFERENTIAL EQUATIONS Introduction Differential equations can describe nearly all systems undergoing change. They are ubiquitous
More informationIntegrated Model-based Software Development and Testing with CSD and MTest
Integrated Model-based Software Development and Testing with CSD and Andreas Rau / Mirko Conrad / Helmut Keller / Ines Fey / Christian Dziobek DaimlerChrysler AG, Germany fa-stz-andreas.rau Mirko.Conrad
More informationKS3 Computing Group 1 Programme of Study 2015 2016 2 hours per week
1 07/09/15 2 14/09/15 3 21/09/15 4 28/09/15 Communication and Networks esafety Obtains content from the World Wide Web using a web browser. Understands the importance of communicating safely and respectfully
More informationPull versus Push Mechanism in Large Distributed Networks: Closed Form Results
Pull versus Push Mechanism in Large Distributed Networks: Closed Form Results Wouter Minnebo, Benny Van Houdt Dept. Mathematics and Computer Science University of Antwerp - iminds Antwerp, Belgium Wouter
More informationOnline Tuning of Artificial Neural Networks for Induction Motor Control
Online Tuning of Artificial Neural Networks for Induction Motor Control A THESIS Submitted by RAMA KRISHNA MAYIRI (M060156EE) In partial fulfillment of the requirements for the award of the Degree of MASTER
More informationAn Introduction to Applied Mathematics: An Iterative Process
An Introduction to Applied Mathematics: An Iterative Process Applied mathematics seeks to make predictions about some topic such as weather prediction, future value of an investment, the speed of a falling
More informationThe continuous and discrete Fourier transforms
FYSA21 Mathematical Tools in Science The continuous and discrete Fourier transforms Lennart Lindegren Lund Observatory (Department of Astronomy, Lund University) 1 The continuous Fourier transform 1.1
More informationCS412/CS413. Introduction to Compilers Tim Teitelbaum. Lecture 20: Stack Frames 7 March 08
CS412/CS413 Introduction to Compilers Tim Teitelbaum Lecture 20: Stack Frames 7 March 08 CS 412/413 Spring 2008 Introduction to Compilers 1 Where We Are Source code if (b == 0) a = b; Low-level IR code
More information