Networkedinfocom2014.ieee-infocom.org/panels/John_Baras_slides.pdf · At work: Two ASIMOs working...

29
Networked CPS: Some Fundamental Challenges John S. Baras Institute for Systems Research Department of Electrical and Computer Engineering Fischell Department of Bioengineering Department of Mechanical Engineering Applied Mathematics, Statistics and Scientific Computation Program University of Maryland College Park Panel on “Networking challenges for CPS” 2014 INFOCOM Toronto, Canada, May 1, 2014

Transcript of Networkedinfocom2014.ieee-infocom.org/panels/John_Baras_slides.pdf · At work: Two ASIMOs working...

Page 1: Networkedinfocom2014.ieee-infocom.org/panels/John_Baras_slides.pdf · At work: Two ASIMOs working together in coordination to deliver refreshments Credit: Honda • Component-based

Networked CPS: Some Fundamental Challenges 

John S. BarasInstitute for Systems Research

Department of Electrical and Computer EngineeringFischell Department of BioengineeringDepartment of Mechanical Engineering

Applied Mathematics, Statistics and Scientific Computation ProgramUniversity of Maryland College Park

Panel on “Networking challenges for CPS”2014 INFOCOM

Toronto, Canada, May 1, 2014

Page 2: Networkedinfocom2014.ieee-infocom.org/panels/John_Baras_slides.pdf · At work: Two ASIMOs working together in coordination to deliver refreshments Credit: Honda • Component-based

Wireless and Networked Embedded Systems: Ubiquitous Presence

2

Page 3: Networkedinfocom2014.ieee-infocom.org/panels/John_Baras_slides.pdf · At work: Two ASIMOs working together in coordination to deliver refreshments Credit: Honda • Component-based

A Network Immersed World: Swarms and the Cloud

Courtesy: J. Rabaey3

Page 4: Networkedinfocom2014.ieee-infocom.org/panels/John_Baras_slides.pdf · At work: Two ASIMOs working together in coordination to deliver refreshments Credit: Honda • Component-based

Networked CPS: Wireless Sensor Networks  Everywhere

4

Page 5: Networkedinfocom2014.ieee-infocom.org/panels/John_Baras_slides.pdf · At work: Two ASIMOs working together in coordination to deliver refreshments Credit: Honda • Component-based

Networked CPS: Smart Grids

Courtesy: Rockwell 5

Page 6: Networkedinfocom2014.ieee-infocom.org/panels/John_Baras_slides.pdf · At work: Two ASIMOs working together in coordination to deliver refreshments Credit: Honda • Component-based

Networked CPS: FAA NextGen

6

Page 7: Networkedinfocom2014.ieee-infocom.org/panels/John_Baras_slides.pdf · At work: Two ASIMOs working together in coordination to deliver refreshments Credit: Honda • Component-based

At work: Two ASIMOs working together in coordination to deliver refreshments

Credit: Honda

• Component-based Architectures• Communication vs Performance

Tradeoffs• Distributed asynchronous• Fundamental limits

Networked CPS: Autonomous Swarms

7

Page 8: Networkedinfocom2014.ieee-infocom.org/panels/John_Baras_slides.pdf · At work: Two ASIMOs working together in coordination to deliver refreshments Credit: Honda • Component-based

A Network Immersed World

• A complex collection of sensors, controllers, computing nodes, and actuators that work together to improve our daily lives– From very small: Ubiquitous, Pervasive, Disappearing, perceptive, Ambient

– To very large: Always Connectable, Reliable, Scalable, Adaptive, Flexible

• Emerging Service Models– Building energy management– Automotive safety and control– Management of metropolitan traffic flows– Distributed health monitoring– Smart Grid

8

Page 9: Networkedinfocom2014.ieee-infocom.org/panels/John_Baras_slides.pdf · At work: Two ASIMOs working together in coordination to deliver refreshments Credit: Honda • Component-based

• Multiple Interacting Graphs – Nodes: agents, individuals, groups, 

organizations– Directed graphs– Links: ties, relationships– Weights on links : value (strength, 

significance) of tie– Weights on nodes : importance of node (agent)

• Value directed graphs with weighted nodes

• Real‐life problems: Dynamic, time varying graphs,  relations, weights, policies

Information network

Communication network

Sijw : S

ii w

: Sjj w

Iklw: I

kk w : Ill w

Cmnw: C

mm w : Cnn w

Networked System architecture & operation

Networked CPS Architecture: Multiple Interacting Multigraphs

9

Page 10: Networkedinfocom2014.ieee-infocom.org/panels/John_Baras_slides.pdf · At work: Two ASIMOs working together in coordination to deliver refreshments Credit: Honda • Component-based

Networks: The Fundamental Trade‐off

• The nodes gain from collaborating• But collaboration has costs (e.g. communications)• Trade‐off: gain from collaboration vs cost of  

collaborationVector metrics involved typicallyConstrained Coalitional Games

10

Example 1: Network Formation  ‐‐ Effects on Topology Example 2: Collaborative robotics, communications Example 3: Web‐based social networks and services

● ● ●

Example 4: Groups of cancer tumor or virus cells

Page 11: Networkedinfocom2014.ieee-infocom.org/panels/John_Baras_slides.pdf · At work: Two ASIMOs working together in coordination to deliver refreshments Credit: Honda • Component-based

11

Simple Lattice C(n,k) Small world: Slight variation adding 

Efficient Communication Graphs:Small World Graphs

nk

Adding a small portion of well‐chosen links → significant increase in convergence rate

Page 12: Networkedinfocom2014.ieee-infocom.org/panels/John_Baras_slides.pdf · At work: Two ASIMOs working together in coordination to deliver refreshments Credit: Honda • Component-based

Efficient Communication Graphs: Expander Graphs

• Fast synchronization of a network of oscillators • Network where any node is “nearby” any other • Fast ‘diffusion’ of information in a network• Fast convergence of consensus  • Decide connectivity with smallest memory • Random walks converge rapidly• Easy to construct, even in a distributed way (ZigZag graph product)

• Graph G,  Cheeger constant h(G)– All partitions of G to S and Sc , 

h(G)=min (#edges connecting S and Sc )  / (#nodes in smallest of S and Sc )

• (k , N, e) expander : h(G) > e ; sparse but locally well connected  (1‐SLEM(G) increases as h(G)2)

12

Page 13: Networkedinfocom2014.ieee-infocom.org/panels/John_Baras_slides.pdf · At work: Two ASIMOs working together in coordination to deliver refreshments Credit: Honda • Component-based

Expander Graphs – Ramanujan Graphs

13

Page 14: Networkedinfocom2014.ieee-infocom.org/panels/John_Baras_slides.pdf · At work: Two ASIMOs working together in coordination to deliver refreshments Credit: Honda • Component-based

14

Examples of resulting topologies

Construction of Efficient Communication Graphs by Computational Optimization

Page 15: Networkedinfocom2014.ieee-infocom.org/panels/John_Baras_slides.pdf · At work: Two ASIMOs working together in coordination to deliver refreshments Credit: Honda • Component-based

15

Distributed self ‐ organization

Goal: design a scheme that gives each node a vector of compact global information

Page 16: Networkedinfocom2014.ieee-infocom.org/panels/John_Baras_slides.pdf · At work: Two ASIMOs working together in coordination to deliver refreshments Credit: Honda • Component-based

• Component Based Networking : Leads to a compositional approach to the synthesis and operation of networks. Fits very well MANET, WNAN (and WAND), beyond.

• Does away with classical layers and with classical cross‐layer

• Compositionality, and Compositional Synthesis

• Cross linked executable, formal and performance models is addressing this challenging problem directly.

Component Based Networking and Security

16

Interacting Control, Information and Communication Graphs

Page 17: Networkedinfocom2014.ieee-infocom.org/panels/John_Baras_slides.pdf · At work: Two ASIMOs working together in coordination to deliver refreshments Credit: Honda • Component-based

Component‐base Networks and Composable Security 

Executable Models

Performance Models

Formal Models

Universally ComposableSecurity of Network Protocols:• Network with many agents running

autonomously. • Agents execute in mostly asynchronous

manner, concurrenty several protocols many times. Protocols may or may have not been jointly designed, may or not be all secure or secure to same degree.

Key question addressed : • Under what conditions can the

composition of these protocols be provably secure?

• Investigate time and resource requirements for achieving this

Studying compositionality is necessary!

Compositional Security is critical for all CPS!

17

Page 18: Networkedinfocom2014.ieee-infocom.org/panels/John_Baras_slides.pdf · At work: Two ASIMOs working together in coordination to deliver refreshments Credit: Honda • Component-based

18

Trust and Collaborative Control/Operation

Two linked dynamics • Trust / Reputation propagation      

and collaborative control evolution

• Beyond linear algebra and weights, semirings of constraints, constraint programming, soft constraints semirings, policies, agents

• Learning on graphs and network dynamic games: behavior, adversaries• Adversarial models, attacks, constrained shortest paths, …

• Integrating network utility maximization (NUM) with constraint based reasoning and coalitional games

Interacting Control, Information and Communication Graphs

Page 19: Networkedinfocom2014.ieee-infocom.org/panels/John_Baras_slides.pdf · At work: Two ASIMOs working together in coordination to deliver refreshments Credit: Honda • Component-based

Biological Network Types

19

Examples of biological networks: [A] Yeast transcription factor‐binding network; [B] Yeast protein‐protein interaction network; [C] Yeast phosphorylation network ; [D] E. Coli metabolic network ; [E] Yeast genetic network ;  Nodes colored according to their YPD cellular roles [Zhu et al, 2007]

Page 20: Networkedinfocom2014.ieee-infocom.org/panels/John_Baras_slides.pdf · At work: Two ASIMOs working together in coordination to deliver refreshments Credit: Honda • Component-based

How Biology Does IT?

20

Page 21: Networkedinfocom2014.ieee-infocom.org/panels/John_Baras_slides.pdf · At work: Two ASIMOs working together in coordination to deliver refreshments Credit: Honda • Component-based

Modularity vs Performance

• Optimize only on performance – poor adaptivity• Add cost of communications – improved adaptivity• Communication motifs• Evolvable modularity for some networked CPS??

21

Page 22: Networkedinfocom2014.ieee-infocom.org/panels/John_Baras_slides.pdf · At work: Two ASIMOs working together in coordination to deliver refreshments Credit: Honda • Component-based

Neural Network Evolution:from programmed structure to function 

feedback on structure

22

Page 23: Networkedinfocom2014.ieee-infocom.org/panels/John_Baras_slides.pdf · At work: Two ASIMOs working together in coordination to deliver refreshments Credit: Honda • Component-based

Social Networks as Networked CPS

• We are much more “social” than ever before– Online social networks (SNS) permeate our lives– Such new Life style gives birth to new markets

• Monetize the value of social network– Advertising - major source of income for SNS– Joining fee, donation etc.– …

• Need to know the common featuresof social networks

23

Page 24: Networkedinfocom2014.ieee-infocom.org/panels/John_Baras_slides.pdf · At work: Two ASIMOs working together in coordination to deliver refreshments Credit: Honda • Component-based

Challenges in Social Networks

24

Can we integrate? Context‐based distribution Include user and product similarity Combine with user‐user similarity Exploit both user preferences and network structure  Maximize relevance and potential profit  Ensure message delivery to all interested nodes Increase recommendation accuracy and diversity

Can hyperbolic embedding help? 

Is it real?

Page 25: Networkedinfocom2014.ieee-infocom.org/panels/John_Baras_slides.pdf · At work: Two ASIMOs working together in coordination to deliver refreshments Credit: Honda • Component-based

Key Idea: Virtual Geometry

• Of the network graph • Of an auxiliary space underlying the graph

25

Page 26: Networkedinfocom2014.ieee-infocom.org/panels/John_Baras_slides.pdf · At work: Two ASIMOs working together in coordination to deliver refreshments Credit: Honda • Component-based

Possible Underlying Hyperbolic Geometry?

26

Page 27: Networkedinfocom2014.ieee-infocom.org/panels/John_Baras_slides.pdf · At work: Two ASIMOs working together in coordination to deliver refreshments Credit: Honda • Component-based

27

Navigation Efficiency and Robustness

• Percentage of successful greedy paths 99.99%

• Percentage of shortest greedy paths 100%

• Percentage of successful greedy paths after removal of x% of links or nodes– x =10% 99%– x =30% 95%

Page 28: Networkedinfocom2014.ieee-infocom.org/panels/John_Baras_slides.pdf · At work: Two ASIMOs working together in coordination to deliver refreshments Credit: Honda • Component-based

Taxonomy for Large‐Scale Networks based on Curvature

Courtesy: Iraj Saniee, Bell Labs 28

1987 – Gromov: d ‐ hyperbolicity

Page 29: Networkedinfocom2014.ieee-infocom.org/panels/John_Baras_slides.pdf · At work: Two ASIMOs working together in coordination to deliver refreshments Credit: Honda • Component-based

Thank you!

[email protected]‐405‐6606

http://www.isr.umd.edu/~baras

Questions?