Local Error/flow control Relay/MUX Global E/F control Relay/MUX Physical Application E/F control...
-
date post
20-Dec-2015 -
Category
Documents
-
view
221 -
download
2
Transcript of Local Error/flow control Relay/MUX Global E/F control Relay/MUX Physical Application E/F control...
Local
Error/flow control
Relay/MUX
Global
E/F control
Relay/MUX
Physical
Application
E/F control
Relay/MUX
Complex Network Architecture
Flow
Reactions
Protein level
Flow
Reactions
RNA level
Flow
Reactions
DNA level
John Doyle
John G Braun Professor
Control and Dynamical SystemsBioEngineering, Electrical Engineering
Caltech
Theory DataAnalysis
Numerical Experiments
LabExperiments
FieldExercises
Real-WorldOperations
• First principles• Rigorous math• Algorithms• Proofs
• Correct statistics
• Only as good as underlying data
• Simulation• Synthetic,
clean data
• Stylized• Controlled• Clean,
real-world data
• Semi-Controlled
• Messy, real-world data
• Unpredictable• After action
reports in lieu of data
DoyleArchitecture of complex networks
The ConversationThe Conversation
““APPLICATIONAPPLICATIONLAYER”LAYER”
SPECIALIZED - Collaboration - Sit Awareness - Command/Control - Integration/Fusion
SPECIALIZED - Collaboration - Sit Awareness - Command/Control - Integration/Fusion
““NETWORKNETWORKLAYER”LAYER”
““PHYSICALPHYSICALLAYER”LAYER”
VIDEO/IMAGERY - VTC - GIS - Layered Maps
VIDEO/IMAGERY - VTC - GIS - Layered Maps
VOICE - Push-to-talk - Cellular - VoIP - Sat Phone - Land Line
VOICE - Push-to-talk - Cellular - VoIP - Sat Phone - Land Line
TEXT - email - chat - SMS
TEXT - email - chat - SMS
WIRED - DSL - Cable
WIRED - DSL - Cable
WIRELESS LOCAL - WiFi - PAN - MAN
WIRELESS LOCAL - WiFi - PAN - MAN
WIRELESS LONG HAUL
- WiMAX - Microwave - HF over IP
WIRELESS LONG HAUL
- WiMAX - Microwave - HF over IP
REACHBACK - Satellite Broadband - VSAT - BGAN
REACHBACK - Satellite Broadband - VSAT - BGAN
POWER - Fossil Fuel - Renewable
POWER - Fossil Fuel - Renewable
HUMAN NEEDS - Shelter - Water - Fuel - Food
HUMAN NEEDS - Shelter - Water - Fuel - Food
PHYSICAL SECURITY - Force Protection - Access Authorization
PHYSICAL SECURITY - Force Protection - Access Authorization
OPERATIONS CENTER
- NetSec - Command/Control - Leadership
OPERATIONS CENTER
- NetSec - Command/Control - Leadership
HUMAN / COGNITIVE LAYERHUMAN / COGNITIVE LAYERSocial/CulturalSocial/Cultural OrganizationalOrganizational PoliticalPolitical EconomicEconomic
A Layered View of HFN Architecture
Layering?
Robust yet fragile?
Constraints that
deconstrain?
Infrastructure networks?
• Water• Waste• Food• Power• Transportation• Healthcare• Finance
All examples of “bad” architectures:• Unsustainable• Hard to fix
Where do we look for “good” examples?
Robust yet fragile
Constraints that
deconstrain
Essential ideas: Architecture
Question Answer
Simplest case studies
Internet Bacteria
Simplest case studies
• Successful architectures• Robust, evolvable• Universal, foundational• Accessible, familiar• Unresolved challenges• New theoretical frameworks• Boringly retro?
Internet Bacteria
Two lines of research:1. Patch the existing Internet architecture
so it handles its new roles
Techno-sphere
Internet
• Real time• Control over (not just of)
networks • Action in the physical world• Human collaborators and
adversaries• Net-centric everything
Techno-sphere
Internet
• Real time• Control over (not just of)
networks • Action in the physical world• Human collaborators and
adversaries• Net-centric everything
Two lines of research:1. Patch the existing Internet architecture2. Fundamentally rethink network architecture
Two lines of research:1. Patch the existing Internet architecture2. Fundamentally rethink network architecture
Techno-sphere
Internet Bacteria
Bio-sphere
Case studies
Cat
abol
ism
Genes
Co-factorsFatty acidsSugars
Nucleotides
Amino Acids Proteins
Pre
curs
ors
DNA replication
Trans*
Carriers
Components and materials:Energy, moieties
Systems requirements: functional, efficient,
robust, evolvable
Hard constraints:Thermo (Carnot)Info (Shannon)Control (Bode)Compute (Turing)
Protocols
Constraints
Diverse
Diverse
UniversalControl
Assume different architectures a priori.
No networks
New unifications are encouraging, but not yet accessible
Hard limits.
Hard constraints:Thermo (Carnot)Info (Shannon)Control (Bode)Compute (Turing)
Physical
• Thermodynamics • Communications • Control• Computation
Cyber
• Thermodynamics • Communications• Control• Computation
Internet Bacteria
Case studies
[a system] can have[a property] robust for [a set of perturbations]
Robust
Fragile
Robust Yet Fragile (RYF)
Yet be fragile for[a different property] Or [a different perturbation]
Proposition : The RYF tradeoff is a hard limit that cannot be overcome.
Robust
Fragile
Theorems : RYF tradeoffs are hard limits
PhysicalPhysical
• Thermodynamics • Communications • Control• Computation
Cyber
• Thermodynamics • Communications• Control• Computation
Robust yet fragile
Biology and advanced tech nets show extremes
• Robust Yet Fragile
• Simplicity and complexity
• Unity and diversity
• Evolvable and frozen
What makes this possible and/ or inevitable?
Architecture (= constraints)
Let’s dig deeper.
Constraints that
deconstrain*
Essential ideas: Architecture
Answer
Bad architecture: Things are broken and you can’t fix it
Good architecture: Things work and you don’t even notice
Components and materials:Energy, moieties
Systems requirements: functional, efficient,
robust, evolvable
ProtocolsAre there universal
architectures?
Pathways (Bell)
Layers (Net)Ancient network
architecture: “Bell-heads versus
Net-heads”
Operating
systems
Phone systems
HTTP
TCPIP
mycomputer Wireless
routerOptical router
Physical
webserver
MACSwitch
MAC MACPt to Pt Pt to Pt
Layering?
Wirelessrouter
Optical router
Physical
HTTP
mycomputer
webserver
Applications
Diverse Resources
Diverse Applications
Share?
ResourcesDeconstrained
ApplicationsDeconstrained
Constraints that deconstrain
Gerhart and
Kirschner
Xx
pcRx
xUi
iix
)( tosubj
)( max0
mycomputer Wireless
router
Physical
MACSwitch
TCPIP
Error/flow control
Relaying/Multiplexing
Error/flow control
Relaying/MultiplexingLocal
Global
Differ in • Details• Scope
Wirelessrouter
Optical router
Physical
webserver
MACPt to Pt
Error/flow control
Relay/MUXLocal
TCPIP
Error/flow control
Relay/MUXGlobal
HTTP
TCPIP
mycomputer Wireless
routerOptical router
Physical
webserver
MACSwitch
MAC MACPt to Pt Pt to Pt
Local
Error/flow control
Relay/MUXGlobal
E/F control
Relay/MUX
Physical
Application
E/F control
Relay/MUX
Recursive control structure
Recu
rsion
Physical
IP
TCP
ApplicationArchitecture is not graph topology.
Architecture facilitates arbitrary graphs.
ResourcesDeconstrained
ApplicationsDeconstrained
Constraints that deconstrain
Generalizations• Optimization• Optimal control• Robust control• Game theory• Network coding
2 2min
arg max , ,
arg max ,s sv
R R dt
L R
x L v
x
v
x c x c
x v p p x c
p
• Each layer is abstracted as an optimization problem
• Operation of a layer is a distributed solution• Results of one problem (layer) are parameters of
others• Operate at different timescales
Xx
pcRx
xUi
iix
)( tosubj
)( max0
Layering as optimization decomposition
application
transport
network
link
physical
Application: utility
IP: routing Link: scheduling
Phy: power
Each layer is abstracted as an optimization problem Operation of a layer is a distributed solution Results of one problem (layer) are parameters of
others Operate at different timescales
Minimize response time, …
Maximize utility
Minimize path cost
Maximize throughput, …
Minimize SINR, maximize capacities, …
Layering and optimization*
IP
TCP/AQM
Physical
Application
Link/MAC
*Review from Lijun Chen and Javad Lavaei
Protocol decomposition: TCP/AQM
TCP/AQM as distributed primal-dual algorithm over the network to maximize aggregate utility (Kelly ’98 , Low ’99, ’03)
router
TCP AQM
my PC
source algorithm (TCP)
iterates on rates
link algorithm (AQM) iterates on prices
cRx
xUs
ssx
s.t.
)( max0
ll
ls l
llssssxp
cppRxxUs
)( max min00
Primal: Dual
horizontal decomposition
Generalized utility maximization
Objective function: user application needs and network cost
Constraints: restrictions on resource allocation (could be physical or economic)
Variables: Under the control of this design Constants: Beyond the control of this design
)(
tosubj
)( max,,,
pXc
cRx
RxλxU T
iii
pcRx
Application utility
IP: routing Link: scheduling
Phy: power
Network cost
Layering as optimization decomposition
Network generalized NUM Layers sub-problems Interface functions of primal/dual
variables Layering decomposition methods
• Vertical decomposition: into functional modules of different layers
• Horizontal decomposition: into distributed computation and control
IP
TCP/AQM
Physical
Application
Link/MAC
Case study I: Cross-layer congestion/routing/scheduling design
)}(max))()(( max{min
),()( .. )( max
0
,
:Dual
:Primal
fApxHpxU
ffAxHtsxU
T
f
T
sss
xp
sss
fx
Rate control Scheduling Routing
Rate constraint Schedulability constraint
Cross-layer implementation
Rate control:
Routing: solved with rate control or scheduling Scheduling:
)()()(maxarg))(()( xHtpxUtpxtx T
sss
x
)()(maxarg))(()( fAtptpftf T
f
Network
Transport
Physical
Application
Link/MAC
A Wi-Fi implementation by Warrier, Le and Rhee shows significantly better performance than the current system.
0min{max ( ) ( )) max ( )} (Dual: T T
s sp x f
s
U x p H x p A f
Rate control Scheduling Routing
Case study II: Integrating network coding
jim
mji
mji
mdji
mi
Lijj
mdij
Ljij
mdji
m
mm
fgx
cffg
dixgg
xU
,,,,
),(:,
),(:,
,,
,
, s.t.
)( max
Optimization based model for rate control: back-pressure based scheme
(1,1,1)
S
d2d1
(1,1,1) (1,1,1)
(1,0,1)
(1,0,1) (1,1,0)
(1,1,0) (1,0,1)
(1,1,0)
),,( 21,,,dji
djiji ggf
coding subgraph
information flow
physical flow
Constraint from NC
Case study II: Integrating network coding
Optimization based model for rate control: back-pressure based scheme
)(1'
m
mDd
mdsm
m pUx
mDd
mdj
mdi
mji ppm ][maxarg,
)]([ ,,j
mdij
j
mdji
mdi
mdi
mdi ggxpp
otherwise
0& if
0,,
,
mdj
mdijijimd
ji
ppmmcg
Rate control
Session scheduling
Congestion price update
Backpressure in congestion
S1
2
d2
b1
b1+b2
S2
2
d1
b2
b1+b2
b1+b2
b1
b2
a new optimization approach to inter-session network coding
three sessions: (s1;d1), (s2;d2), (s1,s2;d1,d2)
1 2
A
B3
A
B
B
A+B
1 2
A3
forwarding
network coding
physical network coding
correlated data gathering in senor networks
LZ coder
input datacoded data coding matrix
0.9
0.5
0.2 compression/link aware opportunistic routing
distributed source coding (LZ+NC)
throughput-optimal scheduling
dual scheduling algorithm
wireless scheduling
)s(p1
)'s(Usx
)(sp t
s(t)=arg max{ps(t)cs(t)}
BS MS
(t)fpf(t) T
Πf maxarg
Other case studies
Dual dynamics: TCP/AQM
router
TCP AQM
my PC
source algorithm (TCP)
iterates on rates
link algorithm (AQM) iterates on prices
cRx
xUs
ssx
s.t.
)( max0
ll
ls l
llssssxp
cppRxxUs
)( max min00
Primal: Dual
horizontal decomposition
Dual dynamics
( , ) ( )
( )
T
T T
L U R
U R
x p x p x c
x p x p cVector notation
arg max ,
l ls s ls
s sv
p R x c
x L v
p
• Controller is fully decentralized• Globally stable to optimal equilibrium• Generalizations to delays, other controllers
arg max ( , )
R
L
v
p x c
x v p
What else is this good for?
arg max ( , )
R
L
v
p x c
x v p
• Controller is fully decentralized• Globally stable to optimal equilibrium• Generalizations to delays, other controllers• Views TCP as solving an optimization problem• Clarifies tradeoff at equilibrium• Generalizes to other strategies, other layers• Framework for cross layering
But are the dynamics optimal?
arg max ( , )
R
L
v
p x c
x v p
• Controller is fully decentralized• Globally stable to optimal equilibrium• Generalizations to delays, other controllers
• Optimal controller?• Dynamic tradeoffs?• Routing, other layers?• Framework for cross layering?
2 2min
xkp x dt p x
x kp
State weigh
t
Control
weight
dynamics
p x
x kp
Inverse optimality toy example
What is this controller optimal for?
dynamicscontroller
Optimal control
2 2min
xkp x dt p x
x kp
State weigh
t
Control
weight
dynamics
Inverse optimality review
Optimal control
What is this controller optimal for?• Integral quadratic penalty• Deviation from equilibrium• Balance state versus control penalty• Well-known and “ancient” literature
2 2min
xkp x dt p x
x kp
State weigh
t
Control
weight
dynamics
2 2min
xp c x c dt p x c
x p
Simple changep x
x kp
p x c
x p
Optimal control
2 2min
xp c x c dt p x c
x p
What is this controller optimal for?• IQ penalty on deviation from equilibrium• Balance state versus control penalty
2 2min
xp c x c dt p x c
x p
p x c
x p Simple change
arg max ,v
p x c
x L v p
22
min arg max ,
arg max ,
x v
v
L v p c x c dt p x c
x L v p
Optimal
control
Optimal
control
22
min arg max ,
arg max ,
x v
v
L v p c x c dt p x c
x L v p
State weigh
t
Control
weight
dynamics
What is this controller optimal for?• IQ penalty on deviation from equilibrium• Balance state versus control penalty
Optimal
control
22
min arg max ,
arg max ,
x v
v
L v p c x c dt p x c
x L v p
2 2
min
arg max , ,
arg max ,
ls s l ls s lx
l s s
s s l ls s lv
s
s sv
R x c R x c dt
x L v p R x c
x L v
p
p
Network
2 2min
arg max , ,
arg max ,s sv
R R dt
L R
x L v
x
v
x c x c
x v p p x c
p
Vector notation
2 2
min
arg max , ,
arg max ,
ls s l ls s lx
l s s
s s l ls s lv
s
s sv
R x c R x c dt
x L v p R x c
x L v
p
p
State weigh
t
Control
weight
dynamics
What is this controller optimal for?• IQ penalty on deviation from equilibrium• Balance state versus control penalty• Optimal controller is decentralized
2 2min
arg max , ,
arg max ,s sv
R R dt
L R
x L v
x
v
x c x c
x v p p x c
p
What else is this result good for?• Elegant proofs of stability• Clarifies the tradeoff in dynamics• Insights about joint congestion control and routing• Can derive more general control laws
2 2min
arg max , ,
arg max ,s sv
R R dt
L R
x L v
x
v
x c x c
x v p p x c
p
• Finite horizon version• Terminal cost is lagrangian
2 2
0
min arg max ,
arg max , ,
arg max ,
T
s sv
R R dt L T
L R
x L v
x v
v
x c x c v p( )
x v p p x c
p
74
An additional constraint: energy aware design
Energy has become a key issue in systems design
Tradeoff between energy usage and traditional performance metrics such as throughput and delay
Challenges: How to leverage existing energy aware technologies
such as speed scaling What are fundamental limits on various tradeoffs The impact of energy aware design on the system
architecture
Our current focus is on wireless networks
75
Case study: wireless downlink scheduling
“natural” speed scaling)1ln( ii phc
EwTwi
iki 0 min
weighted sum of response time and energy
}/ ii min{w}max{w1
Developed an online algorithm with a competitive ratio of
Extending to other scenarios such as time-varying channels and finite energy budget, etc.
1
N
1n
Nn
1p
Np
B
76
Generalization to game theory
Developed to study strategic interactions Provides a series of equilibrium solution concepts Considers informational constraints explicitly
Equilibria arise as a result of adaptation and learning, subject to informational constraint
Provides a basis for designing systems to achieve the given desired goals (e.g., mechanism design)
ii
iii
Cx
xxP
subject to
);( maximize
Player i payoff function
Player i strategy
Player i strategy space
Game theory: Engineering perspective
Network agents are willing to cooperate, but only have limited information about the network state E.g., may not have access to the
information/signaling required by an optimization-based design
The best is to optimize some local or private objective and adjust its action based on limited information about the network state
Non-cooperative game can be used to model such a situation Let network agents behave 'selfishly' according to
the game that is designed to guide individual agents to seek an equilibrium achieving the systemwide objective
77
78
Game theory based decomposition
system-wide performance objective
design agent utility and define game
look for distributed converging algorithm
protocol design: protocols as distributed updatealgorithms to achieve equilibira
must respect informational constraints
Eco vs. Eng Economic (traditional perspective): incentive is a hard
constraint that must be taken into account in the design The agent utility is given Some possibility results exist
• Mechanism design• Cooperative game
Engineering: the focus is on the implementation in practical systems Respect informational constraint of the system The challenge: to what extend we can program network
agents to achieve desired systemwide objectives Tradeoff among computational, informational, and
incentive issues
79
80
Case study: Throughput optimal channel access scheme
to achieve maximum throughput under weighted fairness constraint
utility
distributed converging algorithm
.,1 , LmlT
T
m
l
m
l
)1ln()1
1()1()(*
*
ll
ll
ll pepe
pU
isiiiiii tpqtpUttptp )))](())(()(()([)1( '
can be seen as an axiomatic approach
Biology versus the Internet
Similarities• Evolvable architecture• Robust yet fragile• Layering, modularity• Hourglass with bowties • Dynamics• Feedback• Distributed/decentralized
• Not scale-free, edge-of-chaos, self-organized criticality, etc
Differences• Metabolism• Materials and energy • Autocatalytic feedback• Feedback complexity• Development and
regeneration• >3B years of evolution
>4B
Biology versus the Internet
Similarities• Evolvable architecture• Robust yet fragile• Layering, modularity• Hourglass with bowties • Dynamics• Feedback• Distributed/decentralized
• Not scale-free, edge-of-chaos, self-organized criticality, etc
Differences• Metabolism• Materials and energy • Autocatalytic feedback• Feedback complexity• Development and
regeneration• >3B years of evolution
source receiver
control
energy
materials
signalinggene expression
metabolismlineage
More complex
feedback
source receiver
control
energy
materials
signalinggene expression
metabolismlineage
More complex
feedback
What theory is relevant to these more complex feedback systems?
Catabolism
Pre
curs
ors
Carriers
Co-factors
Fatty acids
Sugars
NucleotidesAmino Acids
Metabolism
energymaterials
Catabolism
Pre
curs
ors
Carriers
Co-factors
Fatty acids
Sugars
NucleotidesAmino Acids
Core metabolism
Inside every cell (1030)
Genes
Co-factorsFatty acidsSugars
Nucleotides
Amino Acids
Proteins
Pre
curs
ors
Autocatalytic feedback
Nut
rien
ts
Core metabolism
DNA replication
Trans*
Cat
abol
ism
Carriers
EnvironmentEnvironment EnvironmentEnvironment
Huge Variety
Huge Variety
Bacterial cell
Co-factors
Fatty acids
Sugars
NucleotidesAmino Acids
Catabolism
Pre
curs
ors
Taxis and transport
Nut
rien
ts
Carriers
Core metabolism
Huge Variety
Same 12
in all cells
Same 8
in all cells
100
same
in all
organism
s
Genes
Co-factorsFatty acidsSugars
Nucleotides
Amino Acids
Polymerization and complex
assemblyP
roteinsP
recu
rsor
s
Autocatalytic feedback
Taxis and transport
Nut
rien
ts
Core metabolism
DNA replication
Trans*
Cat
abol
ism
Carriers
100 104 to ∞in one
organisms
Huge Variety
12
8
Polymerization and complex
assembly
Autocatalytic feedback
Genes
ProteinsDNA
replication
Trans*
104 to ∞in one
organismsHuge
VarietyFew polym
erases
Highly conserved
Co-factors
Fatty acids
Sugars
NucleotidesAmino Acids
Catabolism
Polymerization and complex
assemblyProteins
Pre
curs
ors
Autocatalytic feedback Taxis and transport
Nut
rien
ts
Regulation & control
Carriers
Core metabolism
Genes
DNA replicationRegulation & control
Trans*
The bowtie architecture of the cell.
Flow/error
Reactions
Proteins
Flow/error
Reactions
RNA level
Flow/error
Reactions
DNA level
Translation
Transcription
Carriers
The hourglass architecture of the cell.
Need a more coherent cartoon to visualize how these fit together.
Enzymatically catalyzed reactions
TCA
Gly
G1P
G6P
F6P
F1-6BP
PEP Pyr
Gly3p
13BPG
3PG
2PG
Oxa
Cit
ACA
TCAPyr
Oxa
Cit
ACA
Gly
G1P
G6P
F6P
F1-6BP
PEP
Gly3p
13BPG
3PG
2PG
ATP
Autocatalytic
NADH
Pre
curs
ors
Carriers
TCAPyr
Oxa
Cit
ACA
Gly
G1P
G6P
F6P
F1-6BP
PEP
Gly3p
13BPG
3PG
2PG
ATP
Autocatalytic
NADH
produced
consumedRest of cell
Carriers
TCAPyr
Oxa
Cit
ACA
Gly
G1P
G6P
F6P
F1-6BP
PEP
Gly3p
13BPG
3PG
2PG
ATP
NADH
Reactions
Proteins
Control?
TCA
Gly
G1P
G6P
F6P
F1-6BP
PEP Pyr
Gly3p
13BPG
3PG
2PG
ATP
NADH
Oxa
Cit
ACA
If we drew the feedback loops the diagram would be unreadable.
TCA
Gly
G1P
G6P
F6P
F1-6BP
PEP Pyr
Gly3p
13BPG
3PG
2PG
ATP
NADH
Oxa
Cit
ACA
( )
Mass &Reaction
Energyflux
Balance
dxSv x
dt
Stoichiometry matrix
S
Regulation of enzyme levels by transcription/translation/degradation
TCA
Gly
G1P
G6P
F6P
F1-6BP
PEP Pyr
Gly3p
13BPG
3PG
2PG
Oxa
Cit
ACA
( )
Mass &Reaction
Energyflux
Balance
dxSv x
dt
level
TCA
Gly
G1P
G6P
F6P
F1-6BP
PEP Pyr
Gly3p
13BPG
3PG
2PG
ATP
NADH
Oxa
Cit
ACA
( )
Mass &Reaction
Energyflux
Balance
dxSv x
dt
Allosteric regulation of enzymes
Error/flow
TCA
Gly
G1P
G6P
F6P
F1-6BP
PEP Pyr
Gly3p
13BPG
3PG
2PG
ATP
NADH
Oxa
Cit
ACA
Mass &Reaction
( ) Energyflux
Balance
dxSv x
dt
Level
Error/flow
Reaction
TCA
Gly
G1P
G6P
F6P
F1-6BP
PEP Pyr
Gly3p
13BPG
3PG
2PG
ATP
NADH
Oxa
Cit
ACA
Flow/error
Reactions
Protein level
TCA
Gly
G1P
G6P
F6P
F1-6BP
PEP Pyr
Gly3p
13BPG
3PG
2PG
ATP
NADH
Oxa
Cit
ACA
Flow/error
Reactions
Protein level
Fast response
Slow
Layered architecture
Flow/error
Reactions
Protein level
Flow/error
Reactions
RNA level
Flow/error
Reactions
DNA level
Protein
RNA
DNA
Translation
Transcription
Flow/error
Reactions
Protein level
Flow/error
Translation
RNA level
Flow/error
Transcription
DNA level
Recursion
Diverse Reactions
DNADNADNA
Diverse Genomes
Flow/error
Protein level
Flow/error
Reactions
RNA level
Flow/error
Reactions
Translation
Transcription
Conserved core
control
Flow/error
Protein level
Flow/error
Reactions
RNA level
Flow/error
Reactions
Translation
Transcription
Flow/error
Reactions
Protein level
TCAPyr
Oxa
Cit
ACA
Gly
G1P
G6P
F6P
F1-6BP
PEP
Gly3p
13BPG
3PG
2PG
ATP
NADH
Flow/error
Reactions
Protein level
TCAPyr
Oxa
Cit
ACA
Gly
G1P
G6P
F6P
F1-6BP
PEP
Gly3p
13BPG
3PG
2PG
ATP
NADH
Layering revisited
Flow/error
Reactions
ProteinsCarriers
More complete picture
Flow/errorProtein level
Catabolism
Pre
curs
ors
Carriers
Co-factors
Fatty acids
Sugars
NucleotidesAmino Acids
RNADNA
RNA level/ Transcription rate
DNA level
Biosynthesis
RNA
Gene
Transc.xRNA
RNAp
Pre
curs
ors
Co-factors
Fatty acidsSugars
Nucleotides
Amino Acids
Cat
abol
ism
AA
tRNA Ribosome
RNA
RNAp
transl. EnzymesPre
curs
ors
Nucl.
AA
Gene
Transc.xRNA
mRNAncRNA
Cat
abol
ism
AA
tRNA Ribosome
RNA
RNAp
Autocatalysis everywhere
transl. Proteins
xRNAtransc.
Pre
curs
ors
Nucl.
AA
All the enzymes are made from (mostly) proteins and (some) RNA.
Pyr
G6P
F6P
F1-6BP
PEP
Gly3p
13BPG
3PG
2PG
ATP
charging
consumption= discharging
Rest of cell
This is just charging and discharging
Flow/errorProtein level
RNADNA
AMP level
Pyr
F1-6BP
PEP
Gly3p
3PG2PG
ATP
G6PF6P
13BPG
Rest of cell
A*P
ATP supplies energy to all layers
trans.EnzymesAA
mRNAncRNA
tRNA
Ribosome
RNA level/ Transcription rate
RNA form/activity
RNA
Gene
Transc.xRNA
RNAp
S reactionsP
Enz1 reaction3
Enzyme level/Translation rate
Enzyme form/activity
Reaction rate
Enz2
Local
Error/flow control
Relay/MUX
Global
E/F control
Relay/MUX
Physical
Application
E/F control
Relay/MUX
Recursive control structure
Flow
Reactions
Protein level
Flow
Reactions
RNA level
Flow
Reactions
DNA level
Flow
Reactions
Protein level
Flow
Reactions
RNA level
Flow
Reactions
DNA level
Fragility example: Viruses
Viruses exploit the universal bowtie/hourglass structure to hijack the cell machinery.
Viralgenes
Viralproteins
Flow/error
Reactions
Protein level
TCAPyr
Oxa
Cit
ACA
Gly
G1P
G6P
F6P
F1-6BP
PEP
Gly3p
13BPG
3PG
2PG
ATP
NADH
Layering revisited
Flow/error
Reactions
ProteinsCarriers
More complete picture ?
Flow/error
Reactions
ProteinsCarriers
Flow/error
Reactions
RNA level
Flow/error
Reactions
DNA level
Translation
Transcription
“Power supply”
This is a “database” of instructions
applicationTCPIP
mycomputer
router
Physical
server
MACSwitch
MACPt to Pt
Applications
Hardware
OperatingSystem
Physical
CircuitCircuitCircuit
LogicalInstructions
?
?
?
Flow/error
Reactions
Proteins
Flow/error
Reactions
RNA level
Flow/error
Reactions
DNA level
Translation
Transcription• Where is the power supply?• Where are the designs and processes that produce the chips, PCs, routers, etc?
What are the additional layers?
Carriers
Diversefunction
Diversecomponents
UniversalControl
fan-in of diverse
inputs
fan-out of diverse
outputs
universal carriers
Bowties: flows within layers
Robust yet fragile
Constraints that
deconstrain
Essential ideas
Diversefunction
Diversecomponents
fan-in of diverse
inputs
fan-out of diverse
outputs
Robust yet fragile
Constraints that deconstrain
Highly robust • Diverse• Evolvable• Deconstrained
Robust yet fragile
Constraints that deconstrain
Highly fragile • Universal• Frozen• Constrained
UniversalControl
universal carriers
Diversefunction
Diversecomponents
UniversalControl
fan-in of diverse
inputs
fan-out of diverse
outputs
universal carriers
Bowties: flows within layers
Robust yet fragile
Constraints that
deconstrain
Essential ideas
source receiver
control
energymaterials
More complex
feedback
What theory is relevant to these more complex feedback systems?
signalinggene expression
metabolismlineage
2 20
1ln ln
z z pS j d
z z p
[a system] can have[a property] robust for [a set of perturbations]
Yet be fragile for
Or [a different perturbation]
[a different property] Robust
Fragile
Robust yet fragile = fragile robustness
[a system] can have[a property] robust for [a set of perturbations]
Robust yet fragile = fragile robustness
[ property] = robust for [one set of perturbations] fragile for
[another property] or[another set of perturbations]
[a property]
[a perturbation]
Apply recursively
[a system] can have[a property] robust for [a set of perturbations]
Robust
Fragile
• But if robustness/fragility are conserved, what does it mean for a system to be robust or fragile?
• Some fragilities are inevitable in robust complex systems.
Robust
Fragile
• Robust systems systematically manage this tradeoff.• Fragile systems waste robustness.
• Some fragilities are inevitable in robust complex systems.
Emergent
• But if robustness/fragility are conserved, what does it mean for a system to be robust or fragile?
TCA
Gly
G1P
G6P
F6P
F1-6BP
PEP Pyr
Gly3p
13BPG
3PG
2PG
ATP
NADH
Oxa
Cit
ACA
F6P
F1-6BP
Gly3p
13BPG
3PG
ATP
1 1(1 )
1 1 01
q
h
x q qVxky
y x
1(1 )
0
1 1
q
h
q Vx
x
1
1 y
qk y
y
x
Control
Autocatalytic
Autocatalytic
Control
11
0
1 1
q
h
q Vx
x
1
1 y
qk y
y
x
input
output=x
Control theory cartoon
Caution: mixed cartoon
Controller
+
u
xS j
u
output=x
+
u
X jS j
U j
ln ln
ln ln
X jS j d d
U j
X j d U j d
Entropy rates
CP
lant
0
1ln 0S j d
Hard limits
0 5 10 15 200.8
0.85
0.9
0.95
1
1.05
Time (minutes)
[AT
P]
h >>1
h = 1
Time response)
Fourier
Transform
of error
h hS x = F(
0 2 4 6 8 10-0.8
-0.6
-0.4
-0.2
0
0.2
0.4
0.6
0.8
Frequency
Lo
g(|
Sn
/S0|
)
h >>1
h = 1
Spectrum
1log loghS S
Ideal
0 5 10 15 200.8
0.85
0.9
0.95
1
1.05
Time (minutes)
[AT
P]
h >> 1
h = 1
0 2 4 6 8 10-0.8
-0.6
-0.4
-0.2
0
0.2
0.4
0.6
0.8
Frequency
Lo
g(S
n/S
0)
h >>1
h = 1
Spectrum
Time response
Robust
Yet fragile
0ln lnhS j S j
0 2 4 6 8 10-0.8
-0.6
-0.4
-0.2
0
0.2
0.4
0.6
0.8
Frequency
Lo
g(S
n/S
0)
h = 3
h = 0 Robust
Yet fragile
0
ln 0S j d
[a system] can have[a property] robust for [a set of perturbations]
Yet be fragile for
Or [a different perturbation]
[a different property] Robust
Fragile
Robust yet fragile = fragile robustness
output=x
+
u
X jS j
U j
ln ln
ln ln
X jS j d d
U j
X j d U j d
Entropy rates
CP
lant
0
1ln 0S j d
Hard limits
Note: Nature doesn’t
care much about
entropy rates.
0 5 10 15 200.8
0.85
0.9
0.95
1
1.05
Time (minutes)
[AT
P]
h >> 1
h = 1
0 2 4 6 8 10-0.8
-0.6
-0.4
-0.2
0
0.2
0.4
0.6
0.8
Frequency
Lo
g(S
n/S
0)
h >>1
h = 1
Spectrum
Time response
Robust
Yet fragile
0ln lnhS j S j
Note: Nature cares more
about this tradeoff.
Plant
output=x
+
u
X jS j
U j
C
2 20
1ln ln
z z pS j d
z z p
0
1ln 0S j d
The plant can make this tradeoff worse.
Plant
output=x
+
u
X jS j
U j
C
2 20
1ln ln
z z pS j d
z z p
0
1ln 0S j d
2kz p RHPzero s q k s k
q
All controllers:
Biological cells: =
Plant
output=x
+
u
X jS j
U j
C
2 20
1ln ln
z z pS j d
z z p
0
1ln 0S j d
2kz p RHPzero s q k s k
q
Small z is bad.
kz
q
Small z is bad (oscillations and crashes)
Small z =• small k and/or• large q
Efficiency =• small k and/or• large q
Correctly predicts conditions with “glycolytic oscillations”
2 20
1ln ln
z z pS j d
z z p
output=x
+
u
X jS j
U j
ln ln
ln ln
X jS j d d
U j
X j d U j d
Entropy rates
CP
lant
0
1ln 0S j d
Hard limits
• Taxonomy covers standard usages• Unified picture• Can make the definitions more precise• Have “hand crafted” theorems in every major complexity
class (but lack a unified theory)
Small Large
Robust Simple Organized
FragileChaocritical
Irreducible
Apps
Tools/tech
Apps
Tools/tech
Apps
Tools/tech
Apps
Tools/tech
Apps
Tools/tech
EE, CS, ME, MS, APh, ChE, Bio, Geo, Eco, …
Academic stovepipes
Apps
Tools/tech
Apps
Tools/tech
Apps
Tools/tech
Apps
Tools/tech
Apps
Tools/tech
“Multidisciplinary cross-sterilization”
Funding twine
Diverse applications
Diverse applications
Apps
Tools/tech
Apps
Tools/tech
Apps
Tools/tech
Apps
Tools/tech
Apps
Tools/tech
?????Layering academia?
Diverse resources
1 1(1 )
1 1 01
q
h
x q qVxky
y x
1(1 )
0
1 1
q
h
q Vx
x
1
1 y
qk y
y
x
Control
Autocatalytic
Autocatalytic
Control
1( )k x y
xAutocatalytic
Control
1( )k x
x
level
form/activity
rate
Layered control
Fast response
Slow