Great work built on weak foundation (science) Hope I can learn and help (shake things up) The problem of Fractal Wrongness.

Slides:



Advertisements
Similar presentations
Connected Health Framework
Advertisements

1 Integrity Service Excellence Complex Information Systems 19 Mar 13 Robert J. Bonneau, Ph.D. AFOSR/RTC.
Universal laws (and architectures): networks, bugs, brains, dance, art, music, literature, fashion John Doyle John G Braun Professor Control and Dynamical.
Layering and physics Rethink “everything” emphasizing layering as the key concept (admittedly procrustean) Connecting layered architectures with “layering”
IAPB 9 th General Assembly Eye Health: Everyone’s Business Hyderabad, India September 17-20, 2012 Scaling up: Perspectives for VISION 2020 Prof. Don de.
Proposed Unified “ility” Definition Framework Andrew Long
Sponsored by the U.S. Department of Defense © 2005 by Carnegie Mellon University 1 Pittsburgh, PA Dennis Smith, David Carney and Ed Morris DEAS.
Topology Generation Suat Mercan. 2 Outline Motivation Topology Characterization Levels of Topology Modeling Techniques Types of Topology Generators.
John Doyle 道陽 Jean-Lou Chameau Professor Control and Dynamical Systems, EE, & BioE tech 1 # Ca Universal laws and architectures: Theory and lessons from.
1 Sensor Networks and Networked Societies of Artifacts Jose Rolim University of Geneva.
ONR MURI: NexGeNetSci Universal Laws and Architectures John Doyle John G Braun Professor Control and Dynamical Systems, BioEng, ElecEng Caltech Third Year.
A 100,000 Ways to Fa Al Geist Computer Science and Mathematics Division Oak Ridge National Laboratory July 9, 2002 Fast-OS Workshop Advanced Scientific.
Observing Self-Organized Criticality - an approach to evolution dynamics By Won-Min Song.
Social Complexity, Public Policy and Subsidiarity Presentation to IES on 21 September 2011 Greg Fisher Managing Director, Synthesis
End-User Programming Dewayne E Perry Bell Laboratories
Robust Tools for Archiving and Preserving Digital Data Joseph JaJa, Mike Smorul, and Mike McGann Institute for Advanced Computer Studies Department of.
Strategic Directions in Real- Time & Embedded Systems Aatash Patel 18 th September, 2001.
1 FM Overview of Adaptation. 2 FM RAPIDware: Component-Based Design of Adaptive and Dependable Middleware Project Investigators: Philip McKinley, Kurt.
Large-scale organization of metabolic networks Jeong et al. CS 466 Saurabh Sinha.
John Doyle 道陽 Jean-Lou Chameau Professor Control and Dynamical Systems, EE, & BioE tech 1 # Ca Universal laws and architectures: Theory and lessons from.
Complexity and Fragility? John Doyle Control and Dynamical Systems BioEngineering Electrical Engineering Caltech with Prajna, Papachristodoulou, and Parrilo.
Distributed Systems 1 CS- 492 Distributed system & Parallel Processing Sunday: 2/4/1435 (8 – 11 ) Lecture (1) Introduction to distributed system and models.
College of Engineering and Computer Science Computer Science Department CSC 131 Computer Software Engineering Fall 2006 Lecture # 1 (Ch. 1, 2, & 3)
Michael Ernst, page 1 Collaborative Learning for Security and Repair in Application Communities Performers: MIT and Determina Michael Ernst MIT Computer.
1 Software Quality CIS 375 Bruce R. Maxim UM-Dearborn.
Software Software is omnipresent in the lives of billions of human beings. Software is an important component of the emerging knowledge based service.
Computer Science Open Research Questions Adversary models –Define/Formalize adversary models Need to incorporate characteristics of new technologies and.
Cluster Reliability Project ISIS Vanderbilt University.
Week12 Technology in the e-Factory The roles that technology is playing in the e-Factory: Sensors Connections Actuation Control Systems Integration Industry.
Object-Oriented Software Engineering Practical Software Development using UML and Java Chapter 1: Software and Software Engineering.
Clustering of protein networks: Graph theory and terminology Scale-free architecture Modularity Robustness Reading: Barabasi and Oltvai 2004, Milo et al.
SOFTWARE SYSTEMS DEVELOPMENT 4: System Design. Simplified view on software product development process 2 Product Planning System Design Project Planning.
Other Quality Attributes Other Important Quality attributes Variability: a special form of modifiability. The ability of a system and its supporting artifacts.
Copyright John C. Knight SOFTWARE ENGINEERING FOR DEPENDABLE SYSTEMS John C. Knight Department of Computer Science University of Virginia.
The roots of innovation Future and Emerging Technologies (FET) Future and Emerging Technologies (FET) The roots of innovation Proactive initiative on:
Architectural Musings on SDN (“and now for something completely different…”) David Meyer CTO and Chief Scientist, Brocade Director, Advanced Technology.
1. Process Gather Input – Today Form Coherent Consensus – Next two months.
© 2012 xtUML.org Bill Chown – Mentor Graphics Model Driven Engineering.
1 Panel on New Air Traffic Control and Management Technology February 23, 2007 The Potential and Realities of Research in Air Traffic Management Harry.
IEEE TRANS ON AUTOMATIC CONTROL, FEBRUARY, 2011 Sandberg, Delvenne, and Doyle today.
John Doyle 道陽 Jean-Lou Chameau Professor Control and Dynamical Systems, EE, & BioE tech 1 # Ca Universal laws and architectures: Theory and lessons from.
Systems Biology ___ Toward System-level Understanding of Biological Systems Hou-Haifeng.
University of Windsor School of Computer Science Topics in Artificial Intelligence Fall 2008 Sept 11, 2008.
NA-MIC National Alliance for Medical Image Computing UCSD: Engineering Core 2 Portal and Grid Infrastructure.
When concepts fail, words arise Faust, Goethe Mephistopheles. …Enter the templed hall of Certainty. Student. Yet in each word some concept there must be.
MODEL-BASED SOFTWARE ARCHITECTURES.  Models of software are used in an increasing number of projects to handle the complexity of application domains.
Cellular Automata BIOL/CMSC 361: Emergence 2/12/08.
SWE 513: Software Engineering
Ch. 1: Introduction: Physics and Measurement. Estimating.
Macroecological questions. What patterns exist, and how are they determined by environment vs. history? How are ecosystems structured, and how is this.
Introduction CSE 1310 – Introduction to Computers and Programming Vassilis Athitsos University of Texas at Arlington 1.
Chapter 1: Introduction. Physics The most basic of all sciences! Physics: The “Parent” of all sciences! Physics: The study of the behavior and the structure.
Network Science K. Borner A.Vespignani S. Wasserman.
TRUST Self-Organizing Systems Emin G ü n Sirer, Cornell University.
Medium Access Control. MAC layer covers three functional areas: reliable data delivery access control security.
CompSci 280 S Introduction to Software Development
Rekayasa Perangkat Lunak Part-10
Rekayasa Perangkat Lunak
SuperComputing 2003 “The Great Academia / Industry Grid Debate” ?
Fat tails, hard limits, thin layers John Doyle, Caltech
Quantum Information and Everything.
Edge and Cloud Computing Breakout Session CSR PI Meeting, June 2, 2017
Model-Driven Analysis Frameworks for Embedded Systems
Rekayasa Perangkat Lunak
CS385T Software Engineering Dr.Doaa Sami
Automated Analysis and Code Generation for Domain-Specific Models
Self-Managed Systems: an Architectural Challenge
Coevolutionary Automated Software Correction
Introduction to Computers
Presentation transcript:

Great work built on weak foundation (science) Hope I can learn and help (shake things up) The problem of Fractal Wrongness

Fractal wrongness Emergence Risk

Fractal wrongness Much (most?) of what many (most?) believe is obviously false. Emergence Risk Sustainability Autocatalysis Global !#%&!?!? Evolution Technology Markets, finance, … … Robustness Efficiency Scale Dynamics Nonlinearity Nonequlibrium Open Feedback Adaptation Intractability …

Wrongness everywhere, every scale, “truthiness” Involving anything “complex”… Wild success: religion, politics, consumerism, … Debates focused away from real issues… Even if erased, sustainability challenges remain Hopeless if it persists I’ll set aside all of this for now, and “zoom in” on the world of PhD research/academic scientists BTW, excellent case study in infectious hijacking Fractal wrongness

Fractal wrongness (PhDs only) Much (most?) of what many (most?) believe is obviously false. Emergence Risk Sustainability Autocatalysis Global !#%&!?!? Evolution Technology Markets, finance, … … Robustness Efficiency Scale Dynamics Nonlinearity Nonequlibrium Open Feedback Adaptation Intractability …

…Extinction simulations have already been performed in a variety of network contexts, including the World Wide Web (WWW) [2], metabolic networks [26], protein networks [25],… [2] R. Albert, H. Jeong, and A.-L. Barabasi. Error and attack tolerance of complex networks. Nature, 406:378{382, [25] H. Jeong, S. P. Mason, A.-L. Barabasi, and Z. N. Oltvai. Lethality and centrality in protein networks. Nature, 411:41, [26] H. Jeong, B. Tombor, R. Albert, Z. N. Oltvai, and A.-L. Barabasi. The large-scale organization of metabolic networks. Nature, 407:651{654, 2000.

“Wrongness” everywhere, every scale Involving “complexity” Wild success: high impact journals, funding agencies, popular science, policy… Debates shifted away from real issues… Even if erased, huge challenges remain Hopeless if it persists? BTW, excellent case study in infectious hijacking Fractal wrongness (PhDs only)

“Wrongness” everywhere, every scale Involving “complexity” Wild success: high impact journals, funding agencies, popular science, policy… Debates shifted away from real issues… Even if erased, huge challenges remain Hopeless if it persists? I’ll set this aside for now, and “zoom in” to a small spot (within science) with a solid foundation (but a huge spot in math and engineering) Fractal wrongness (PhDs only)

Rigorous foundations Emergence Risk Autocatalysis Global !#%&!?!? Evolution Technology Markets, finance, … … Robustness Efficiency Scale Dynamics Nonlinearity Nonequlibrium Open Feedback Adaptation Intractability …

A source of fractal wrongness we need to remove Large, thin, nonconvex

Software Hardware Digital Analog “solution sets” (a la Marder, Prinze, etc) large, thin, nonconvex All systems Functional

Meaning Syntax Words Letters Layered language? large, thin, nonconvex

Letters and words 9 letters: adeginorz 9!= 362,880 sequences of 9 letters Only “organized” is a word 1<< (# words) << (# non-words) large thin Meaning Syntax Words Letters

Language? Almost all grammatical sentences are meaningless sequences of words are ungrammatical sequences of letters are not words collections of symbols are not letters Meaning Syntax Words Letters

large, thin, nonconvex # of order parameters   with  tuning, Watson beat humans at Jeopardy What are the protocols and architecture? Meaning Syntax Words Letters Almost all grammatical sentences are meaningless sequences of words are ungrammatical sequences of letters are not words collections of symbols are not letters

large thin 1 << # toys << # piles toys pile

large thin 1 << # toys << # piles pile “order for free?” emergence edge of chaos self-organized criticality scale-free ??? statistical physics random ensembles minimally tuned phase transitions bifurcations

large thin 1 << # toys << # piles toys pile “order for free?” nonconvex

Computer programs Almost any computer language Large # of working programs  larger # of non-programs “Nonconvex” = simple mashups of working programs don’t work Need architecture to organize working programs 1<< (# programs) << (# non-programs) large thin Software Hardware Digital Analog

Computer programs Software is not an emergent property of hardware morphodynamics and “top-down causality” ? teleodynamics? Software Hardware Digital Analog

Meaning Syntax Words Letters Software Hardware Digital Analog digital All “code” functional software large, thin, nonconvex

This paper aims to bridge progress in neuroscience involving sophisticated quantitative analysis of behavior, including the use of robust control, with other relevant conceptual and theoretical frameworks from systems engineering, systems biology, and mathematics. Doyle, Csete, Proc Nat Acad Sci USA, JULY Trivial examples

Universal “laws” (constraints) Some constraints on bio & tech rise “bottom up” from physics/chemistry –Gravity –Speed of light –Energy –Carbon –Other small moieties (e.g. redox, …)… more later? Emergence?

Components Physical laws as constraints on components Gravity Speed of light Energy Carbon Other small moieties (e.g. redox, …)… more later

Components Emergent phenomena? Biology & technology not emergent in any useful sense Dissipation, friction Liquids, gases, fluid dynamics Phase transitions, homogeneous turbulence, etc etc Huge gap

Components Emergent phenomena? Biology & technology not emergent in any useful sense Huge gap Dissipation, friction Liquids, gases, fluid dynamics Phase transitions etc Risk not emergent in any useful sense? Gap?

Components Emergent phenomena? Biology & technology not emergent in any useful sense Huge gap Dissipation, friction Liquids, gases, fluid dynamics Phase transitions etc Risk not emergent in any useful sense? Gap?

Components Emergent phenomena? Big gap HUGE gap Top down causality (Juarrero) Morphodynamics (Deacon) Teleodynamics (Deacon)

wasteful fragile Laminar Turbulent efficient robust Laminar Turbulent ? Needs active Active Passive Classical Quantum Lumped Distribute Passive Lossless  coherent story here, but haven’t figured out best way to explain… working on it…

Emergence?

“New sciences” of “complexity” and “networks”? worse Edge of chaos Self-organized criticality Scale-free “networks” Creation “science” Intelligent design Financial engineering Risk management “Merchants of doubt” … Science as Pure fashion Ideology Political Evangelical Nontech trumps tech

simple enzyme Fragility Enzyme amount complex enzyme Theorem! z and p functions of enzyme complexity and amount Savageaumics

Fragility hard limits simple Overhead, waste complex General Rigorous First principle Domain specific Ad hoc Phenomenological Plugging in domain details ?

ControlComms Physics Wiener Bode Kalman Heisenberg Carnot Boltzmann robust control Fundamental multiscale physics Foundations, origins of – noise – dissipation – amplification – catalysis General Rigorous First principle ? Shannon

What I’m not going to talk much about It’s true that most “really smart scientists” think almost everything in these talks is nonsense Why they think this Why they are wrong Time (not space) is our problem, as usual Don’t have enough time for what is true, so have to limit discussion of what isn’t No one ever changes a made up mind (almost) But here’s the overall landscape

Stat physics Complex networks Physics Heisenberg Carnot Boltzmann ControlComms Compute “New sciences” of complexity and networks edge of chaos, self-organized criticality, scale-free,… Wildly “successful”

D. Alderson, NPS37 Popular but wrong

Complex systems? Fragile Scale Dynamics Nonlinearity Nonequlibrium Open Feedback Adaptation Intractability Emergence … Even small amounts can create bewildering complexity

Complex systems? Fragile Scale Dynamics Nonlinearity Nonequlibrium Open Feedback Adaptation Intractability Emergence … Scale Dynamics Nonlinearity Nonequlibrium Open Feedback Adaptation Intractability Emergence … Robust

Complex systems? Resources Controlled Organized Structured Extreme Architected … Robust complexity Scale Dynamics Nonlinearity Nonequlibrium Open Feedback Adaptation Intractability Emergence …

These words have lost much of their original meaning, and have become essentially meaningless synonyms e.g. nonlinear ≠ not linear Can we recover these words? Idea: make up a new word to mean “I’m confused but don’t want to say that” Then hopefully we can take these words back (e.g. nonlinear = not linear) Scale Dynamics Nonlinearity Nonequlibrium Open Feedback Adaptation Intractability Emergence … Fragile complexity

New words Fragile complexity Emergulent Emergulence at the edge of chaocritiplexity Scale Dynamics Nonlinearity Nonequlibrium Open Feedback Adaptation Intractability Emergence …

doesn’t work Stat physics Complex networks Alderson & Doyle, Contrasting Views of Complexity and Their Implications for Network-Centric Infrastructure, IEEE TRANS ON SMC, JULY 2010 “New sciences” of complexity and networks edge of chaos, self-organized criticality, scale-free,…

Stat physics Complex networks Physics Heisenberg Carnot Boltzmann ControlComms Compute Complex systems? Jean Carlson, UCSB Physics

Stat physics Complex networks Physics Heisenberg Carnot Boltzmann Control Alderson &Doyle, Contrasting Views of Complexity and Their Implications for Network-Centric Infrastructure, IEEE TRANS ON SMC, JULY 2010 Sandberg, Delvenne, & Doyle, On Lossless Approximations, the Fluctuation- Dissipation Theorem, and Limitations of Measurement, IEEE TRANS ON AC, FEBRUARY, 2011

Stat physics, Complex networks Physics Heisenberg Carnot Boltzmann fluids, QM “orthophysics” From prediction to mechanism to control Fundamentals! Sandberg, Delvenne, & Doyle, On Lossless Approximations, the Fluctuation- Dissipation Theorem, and Limitations of Measurement, IEEE TRANS ON AC, FEBRUARY, 2011 “The last 70 years of the 20 th century will be viewed as the dark ages of theoretical physics.” (Carver Mead)

accessible accountable accurate adaptable administrable auditable autonomy available compatible composable configurable correctness customizable debugable determinable demonstrable dependable deployable discoverable distributable durable effective evolvable extensible failure transparent fault-tolerant fidelity flexible inspectable installable Integrity interchangeable interoperable learnable maintainable manageable mobile modifiable modular nomadic operable portable precision predictable producible recoverable relevant reliable repeatable reproducible resilient responsive safety scalable serviceable supportable securable stable survivable tailorable testable timely traceable upgradable Lumping requirements into simple groups robust A system can be efficient using a resource or producing waste A system can be efficient using a resource or producing waste But can be inefficient for different resources or waste But can be inefficient for different resources or waste

Efficiency tradeoffs efficient with resource 1 wasteful with resource 1 efficient with resource 2 wasteful with resource 2 Ideally Achievable Not

Efficiency tradeoffs efficient wasteful efficient wasteful Not? Distance running digesting raw vegs humans cattle chimps pronghorn?

accessible accountable accurate adaptable administrable auditable autonomy available compatible composable configurable correctness customizable debugable determinable demonstrable dependable deployable discoverable distributable durable effective evolvable extensible failure transparent fault-tolerant fidelity flexible inspectable installable Integrity interchangeable interoperable learnable maintainable manageable mobile modifiable modular nomadic operable portable precision predictable producible recoverable relevant reliable repeatable reproducible resilient responsive safety scalable serviceable supportable securable stable survivable tailorable testable timely traceable upgradable Lumping requirements into simple groups robust A system can be robust for a property and a perturbation A system can be robust for a property and a perturbation But can be fragile for a different property or perturbation But can be fragile for a different property or perturbation

Robustness tradeoffs robust to  1 fragile to  1 robust to  2 fragile to  2 Ideally Achievable Not

Robustness tradeoffs robust fragile fast slow Not Sprinting Tree climbing humans chimps cheetahs leopards

Robustness/efficiency tradeoffs robust fragile efficient Inefficient Not Distance running Tree climbing humans chimps kangeroos

Robustness tradeoffs robust to  1 fragile to  1 robust to  2 fragile to  2 Ideally Achievable Not