0 Up votes0 Down votes

44 views44 pagesAlexandria ACM Student Chapter has introduced its seminar about Rigorous Computational Simulation of Dynamical Systems.
Roughly speaking a dynamical system represents the time evolution of any physical or engineered system. A dynamical system is described (specically continuous-time systems) by a system of differential equations where the underlying variables are defined over continuous domains (real and/or complex numbers), whereas the digital computers can only represent and operate on discrete domains such as the integers. Non-rigorous computational simulation of dynamical systems can lead to disasters. In this talk we give an introduction to dynamical systems from the computational and complexity-theoretic behavior, general approaches for rigorous investigation of such systems, and their applications in fields of computer science and control.
The Seminar centered on:
************************************
- Definition of dynamical systems
- Importance and examples of such systems
- Issues of computational simulation of such systems
- Examples of disasters of non-rigorous computational simulation
- Some frameworks for rigorous simulation

Sep 15, 2013

© Attribution Non-Commercial (BY-NC)

PDF, TXT or read online from Scribd

Alexandria ACM Student Chapter has introduced its seminar about Rigorous Computational Simulation of Dynamical Systems.
Roughly speaking a dynamical system represents the time evolution of any physical or engineered system. A dynamical system is described (specically continuous-time systems) by a system of differential equations where the underlying variables are defined over continuous domains (real and/or complex numbers), whereas the digital computers can only represent and operate on discrete domains such as the integers. Non-rigorous computational simulation of dynamical systems can lead to disasters. In this talk we give an introduction to dynamical systems from the computational and complexity-theoretic behavior, general approaches for rigorous investigation of such systems, and their applications in fields of computer science and control.
The Seminar centered on:
************************************
- Definition of dynamical systems
- Importance and examples of such systems
- Issues of computational simulation of such systems
- Examples of disasters of non-rigorous computational simulation
- Some frameworks for rigorous simulation

Attribution Non-Commercial (BY-NC)

44 views

Alexandria ACM Student Chapter has introduced its seminar about Rigorous Computational Simulation of Dynamical Systems.
Roughly speaking a dynamical system represents the time evolution of any physical or engineered system. A dynamical system is described (specically continuous-time systems) by a system of differential equations where the underlying variables are defined over continuous domains (real and/or complex numbers), whereas the digital computers can only represent and operate on discrete domains such as the integers. Non-rigorous computational simulation of dynamical systems can lead to disasters. In this talk we give an introduction to dynamical systems from the computational and complexity-theoretic behavior, general approaches for rigorous investigation of such systems, and their applications in fields of computer science and control.
The Seminar centered on:
************************************
- Definition of dynamical systems
- Importance and examples of such systems
- Issues of computational simulation of such systems
- Examples of disasters of non-rigorous computational simulation
- Some frameworks for rigorous simulation

Attribution Non-Commercial (BY-NC)

- Alexandria ACM SC | Introduction to Genetic Algorithms
- Analysis And Design Of Algorithms (ADA) 2 marks question
- Numeral Systems and Data Structures
- Alexandria ACM SC | Introduction to Natural Language Processing
- Ch12Simulation.ppt
- Alexandria ACM SC | Challenges in Computer Architecture
- 1628922486 Experimental
- A Collection of Wise Sayings
- Alexandria ACM SC | Quantum Computing Lecture.
- Alexandria ACM Student Chapter | Systems Analysis
- 10 Ijaest Volume No 1 Issue No 2 Spatial Ma Thematic Methods for Analysis of Indicators of Mortality
- A Geometrical Theory for Spiral Waves in Excitable Media
- Alexandria ACM SC | Web Engineering Series | Episode #1: Web Development
- ProspectusFST
- Improvement of Simulated Annealing
- Alexandria ACM SC | TECHnew Magazine | April Special Edition
- tmpFE74
- ijccms
- topology-chaos-handout
- 1262

You are on page 1of 44

Walid Gomaa

Walid Gomaa

Outline Introduction Chaos Disaster Arising from Non-Rigorous Simulation Models of Continuous Computation Applications of Dynamical Systems

Outline Introduction Chaos Disaster Arising from Non-Rigorous Simulation Models of Continuous Computation Applications of Dynamical Systems

Walid Gomaa

Outline Introduction Chaos Disaster Arising from Non-Rigorous Simulation Models of Continuous Computation Applications of Dynamical Systems

Walid Gomaa

Dynamical Systems I

Representing the time evolution of any physical or engineered system Examples: digital computer, weather system, pendulum movement, rocket motion, ball bouncing, solar system, trac, stock market Two entities: state and time Dynamics can be determined by, e.g., system of dierential equations, recurrence equations

Walid Gomaa Rigorous Computational Simulation of Dynamical Systems

Dynamical Systems II

Four types of dynamical systems:

discrete-time discrete-space discrete-time continuous-space continuous-time discrete-space continuous-time continuous-space

Walid Gomaa

Traditional discrete computing: domain of computable space can either be taken to be either of:

the natural numbers: N = {0 1 }

Walid Gomaa

In continuous computation an object in the computation space does not have a nite representation Examples: real numbers ( 2 ), the complex numbers, the class of continuous functions over R

Walid Gomaa

Walid Gomaa

Chaos

Walid Gomaa Rigorous Computational Simulation of Dynamical Systems

Chaos

Figure : Although the exact physics may be known, tiny errors compound and trajectories that start similarly end dierently. Chaos!

Walid Gomaa Rigorous Computational Simulation of Dynamical Systems

Logistic Map I

xn+1 = rxn (1 xn ) (1)

0 xn 1 and parameter 0 < r 4 Discrete-time continuous space system Typically used to model population growth Linear term: population increases Quadratic term: population decreases

Walid Gomaa Rigorous Computational Simulation of Dynamical Systems

Logistic Map II

Walid Gomaa

Walid Gomaa

Logistic Map IV

Walid Gomaa

Logistic Map V

0<r <1: 1<r <3: xn 0 regardless of x0 xn converges to one point

r 1 r ,

regardless of x0

3 < r < 3 57 : xn oscillates between several values; same values regardless of x0 3 57 < r : chaotic regime

Walid Gomaa

Logistic Map VI

Walid Gomaa

Lorenz Attractor I

Lorenz equations: mathematical model for atmospheric convection Thermal convection: hot air rises and cold air sinks dx = (y x ) dt dy = x y xz dt dz = xy z dt

Walid Gomaa Rigorous Computational Simulation of Dynamical Systems

(2)

Lorenz Attractor II

x : convective overturning on the plane, y : horizontal temperature variation, z : horizontal temperature variation

Walid Gomaa

dx = (y x ) dt dy = x y xz dt dz = xy z dt : model parameters (physical quantities) Best representation of earths atmosphere (Lorenz): = 10, = 28, = 8 3 and initial condition: (x0 y0 z0 ) = (0 1 0)

Walid Gomaa Rigorous Computational Simulation of Dynamical Systems

(3)

Lorenz Attractor IV

Walid Gomaa

Lorenz Attractor V

Walid Gomaa

Walid Gomaa

Disasters I

Patriot missile failure

The Gulf War in 1991, on February 25th. Patriot missile failed to intercept Iraqi Scud missile.

Walid Gomaa

Disasters II

Patriot missile failure

Walid Gomaa

Disasters III

Patriot missile failure

1 10

An error of 0 34 seconds enough for scud to travel half a kilometer and so outside the range of Patriot

Walid Gomaa

Disasters I

Explosion of Ariane 5

Walid Gomaa

Disasters II

Explosion of Ariane 5

Explosion after 40 seconds Cost: (1) rocket and cargo: $500M and (2) development: $7Billion

Walid Gomaa

Disasters III

Explosion of Ariane 5

64-bit oating point number representing the horizontal velocity converted to 16-bit integer Result larger than 32767, so conversion failed

Walid Gomaa Rigorous Computational Simulation of Dynamical Systems

Walid Gomaa

Unlike the discrete setting: no equivalence of the Church-Turing thesis exists Several dierent kinds of models to dene the notions of computability, complexity, and numerical algorithms

Walid Gomaa

Computable Analysis

The most physically realizable model Extending standard Turing machine to either oracle TM or Type II TM Consider f : [0 1] R Given: increasingly accurate representation of x Output: increasingly accurate representation of y = f (x ) More formally: Given: r Q s.t. |r x | < Output: s Q s.t. |s f (x )| < Complexity theory is extension of discrete complexity (time and space resources)

Walid Gomaa Rigorous Computational Simulation of Dynamical Systems

Computable Analysis

The most physically realizable model Extending standard Turing machine to either oracle TM or Type II TM Consider f : [0 1] R Given: increasingly accurate representation of x Output: increasingly accurate representation of y = f (x ) More formally: Given: r Q s.t. |r x | < Output: s Q s.t. |s f (x )| < Complexity theory is extension of discrete complexity (time and space resources)

Walid Gomaa Rigorous Computational Simulation of Dynamical Systems

Computable Analysis

The most physically realizable model Extending standard Turing machine to either oracle TM or Type II TM Consider f : [0 1] R Given: increasingly accurate representation of x Output: increasingly accurate representation of y = f (x ) More formally: Given: r Q s.t. |r x | < Output: s Q s.t. |s f (x )| < Complexity theory is extension of discrete complexity (time and space resources)

Walid Gomaa Rigorous Computational Simulation of Dynamical Systems

The most physically realizable model Extending standard Turing machine to either oracle TM or Type II TM Consider f : [0 1] R Given: increasingly accurate representation of x Output: increasingly accurate representation of y = f (x ) More formally: Given: r Q s.t. |r x | < Output: s Q s.t. |s f (x )| < Complexity theory is extension of discrete complexity (time and space resources)

Walid Gomaa Rigorous Computational Simulation of Dynamical Systems

The most physically realizable model Extending standard Turing machine to either oracle TM or Type II TM Consider f : [0 1] R Given: increasingly accurate representation of x Output: increasingly accurate representation of y = f (x ) More formally: Given: r Q s.t. |r x | < Output: s Q s.t. |s f (x )| < Complexity theory is extension of discrete complexity (time and space resources)

Walid Gomaa Rigorous Computational Simulation of Dynamical Systems

Algebraic Models

A real number is represented as atomic entity (an alphabet letter) Started with the BSS (Blum-Shub-Smale) model in 1989 Good for studying algebraic complexity rather than machine complexity

Walid Gomaa

Algebraic Models

A real number is represented as atomic entity (an alphabet letter) Started with the BSS (Blum-Shub-Smale) model in 1989 Good for studying algebraic complexity rather than machine complexity

Walid Gomaa

Algebraic Models

A real number is represented as atomic entity (an alphabet letter) Started with the BSS (Blum-Shub-Smale) model in 1989 Good for studying algebraic complexity rather than machine complexity

Walid Gomaa

GPAC: General Purpose Analog Computer Introduced by C. Shannon in 1941 as a mathematical model of the dierential analyzer DA used from 1930s to 1960s to solve dierential equations, e.g., in ballistics problems

Walid Gomaa

Components of GPAC:

Walid Gomaa

Example of GPAC:

Walid Gomaa

Walid Gomaa

Reachability Problems

Given a set of initial states X0 Apply dynamics rule Set of reachable states as time goes to innity Can be used for verication of certain properties of programs or design of control systems

Walid Gomaa

Walid Gomaa

- Alexandria ACM SC | Introduction to Genetic AlgorithmsUploaded byAlex ACM SC Library
- Analysis And Design Of Algorithms (ADA) 2 marks questionUploaded byAdarsh Gumashta
- Numeral Systems and Data StructuresUploaded byAlex ACM SC Library
- Alexandria ACM SC | Introduction to Natural Language ProcessingUploaded byAlex ACM SC Library
- Ch12Simulation.pptUploaded byscribdnewid
- Alexandria ACM SC | Challenges in Computer ArchitectureUploaded byAlex ACM SC Library
- 1628922486 ExperimentalUploaded byJosué Nuñez G.
- A Collection of Wise SayingsUploaded byManishGupta
- Alexandria ACM SC | Quantum Computing Lecture.Uploaded byAlex ACM SC Library
- Alexandria ACM Student Chapter | Systems AnalysisUploaded byAlex ACM SC Library
- 10 Ijaest Volume No 1 Issue No 2 Spatial Ma Thematic Methods for Analysis of Indicators of MortalityUploaded byiserp
- A Geometrical Theory for Spiral Waves in Excitable MediaUploaded byJakob Löber
- Alexandria ACM SC | Web Engineering Series | Episode #1: Web DevelopmentUploaded byAlex ACM SC Library
- ProspectusFSTUploaded bycelcius8dec
- Improvement of Simulated AnnealingUploaded bydieinhellscribd
- Alexandria ACM SC | TECHnew Magazine | April Special EditionUploaded byAlex ACM SC Library
- tmpFE74Uploaded byFrontiers
- ijccmsUploaded byijccms
- topology-chaos-handoutUploaded byapi-225169993
- 1262Uploaded by王和盛
- IJCCMSUploaded byijccms
- Alexnadria ACM SC | TECHnews Magazine IVUploaded byAlex ACM SC Library
- C061Uploaded bykellymota_protz
- Delayed Feedback Control of Nonlinear Phenomena in Indirect Field Oriented Control of Induction MotorUploaded byInternational Journal of Research in Engineering and Technology
- Zahra & Ryan - Complexity in Tourism Structures - the Embedded System of New Zealand's Regional Tourism Organisation.pdfUploaded byGerson Godoy Riquelme
- An Introduction to Simulation Using SIMSCRIPT II.5Uploaded byMichalis Michail
- Representation of Integer Positive Number as A Sum of Natural SummandsUploaded byAnonymous 7VPPkWS8O
- Simple Exponential Observer Design for the Generalized Liu Chaotic SystemUploaded byEditor IJTSRD
- Alt 09 ExtendedUploaded byKevin Mondragon
- ThesisUploaded byCharles Rayjan Degucena

- Alexandria ACM SC | TECHnews (III)Uploaded byAlex ACM SC Library
- Alexnadria ACM SC | TECHnews Magazine IVUploaded byAlex ACM SC Library
- Alexandria ACM Student Chapter | Systems AnalysisUploaded byAlex ACM SC Library
- Alexandria ACM SC | Web Engineering Series | Episode #1: Web DevelopmentUploaded byAlex ACM SC Library
- Alexandria ACM SC | Quantum Computing Lecture.Uploaded byAlex ACM SC Library
- Alexandria ACM SC | Challenges in Computer ArchitectureUploaded byAlex ACM SC Library
- Alexandria ACM Mentorship Program | Guidelines for Successful MentorshipUploaded byAlex ACM SC Library
- Alexandria ACM Student Chapter | Research in Egypt | Changing Culture & Building HopeUploaded byAlex ACM SC Library
- Alexandria ACM SC | Graduation Projects: Choice& WorkUploaded byAlex ACM SC Library
- Alex ACM SC Machine Learning Day [Materials] | Machine Learning& Artificial Intelligence ... Our Ultimate Dream. By Eng. Mohamad Abdelaziz GowayedUploaded byAlex ACM SC Library
- Alex ACM SC Machine Learning Day [Materials] | Introduction to Machine Learning By Eng. Ibrahim SabekUploaded byAlex ACM SC Library
- Alexandria ACM SC | W8 Phone Applications TrainingUploaded byAlex ACM SC Library
- Alexandria ACM SC | Cloud Computing TrainignUploaded byAlex ACM SC Library
- Cloud Computing ... The Art of StorageUploaded byAlex ACM SC Library
- Webalo Alex Internship OpportunityUploaded byAlex ACM SC Library
- Alexandria ACM SC | TECHnew Magazine | April Special EditionUploaded byAlex ACM SC Library
- Alexandria ACM SC | TechNews | April: Half-Month EditionUploaded byAlex ACM SC Library

- Nufors Cr EnUploaded byThane Masureik
- Measurment in ResearchUploaded byTasaddaq Qureshi
- B48BB Topic 1 Student Slides v3Uploaded byFaris Ahmad Fadzil
- Analysis of Lightning Surge Condition Effect on Surge Arrester in Electrical Power System by Using ATPEMTP ProgramUploaded bykra_am
- chemiluminescenceUploaded byErinaldo Carvalho
- ReportUploaded byAbdulbaset Slama
- 21y_e.pdfUploaded byAbu Bakr M. Saeed
- Battery NotesUploaded byShrikant Kajale
- F1 ApparatusUploaded byazlinibrahim
- Panasonic-CX-491-P-datasheet.pdfUploaded byGanesh Mandpe
- 4660WEB-Aug2007-BKMARKUploaded byMohamed Rashed
- 9783540751700-c2.pdfUploaded bymabderhakim1075
- Learning-Science-PartI.pdfUploaded byNguyen Duc Hiep
- Chemical Bonding Theory_EUploaded bythinkiit
- 817cn - Detector VoltUploaded byagus2k
- Chapter 8 - Queueing TheoryUploaded byKamrun Nahar
- Defining-ESP.pdfUploaded bypiglit
- The Properties of Cost and Profit FunctionsUploaded byrussell2030
- Exam EssayUploaded byPotlako
- ELX 218 Lab 1 Feb2012 LabmanualUploaded byTeEbhan ChAnthira SeEkaran
- 2007 KS2 SCIENCE Mark SchemeUploaded bypmhzsilu
- ParsingUploaded byHaris Mutap
- DT12FDRUploaded byChristine Sani
- AM080FXV_AC-00014E_2_130709.pdfUploaded byMa Di
- Lattice Diagram for ReflectionUploaded byagkacdm1163
- Chapter 14 Biocatalysis Hour2Uploaded byzeemboyz
- ThermometryUploaded byPrince Singh
- THz measurement of skinUploaded byNational Physical Laboratory
- (1) Heat ExchangersUploaded byMervin Perez
- Fiber Characteriztion Measurements and TestingUploaded byKent Binkerd

## Much more than documents.

Discover everything Scribd has to offer, including books and audiobooks from major publishers.

Cancel anytime.