![Page 1: Modeling and Control of Information Flow Sinem Coleri Ergen Xuanming Dong Ram Rajagopal Pravin Varaiya University of California Berkeley](https://reader036.vdocuments.net/reader036/viewer/2022062516/56649d385503460f94a123ea/html5/thumbnails/1.jpg)
Modeling and Control of Information Flow
Sinem Coleri Ergen
Xuanming Dong
Ram Rajagopal
Pravin Varaiya
University of California Berkeley
![Page 2: Modeling and Control of Information Flow Sinem Coleri Ergen Xuanming Dong Ram Rajagopal Pravin Varaiya University of California Berkeley](https://reader036.vdocuments.net/reader036/viewer/2022062516/56649d385503460f94a123ea/html5/thumbnails/2.jpg)
Outline
• Modeling of information flow– Distributed sampling in dense sensor
networks– Event detection schemes (Ephremides)
• Control of information flow– Introducing redundancy for energy efficiency– TCP/UDP performance in mobile high-speed
networks– Determining faults based on correlations
![Page 3: Modeling and Control of Information Flow Sinem Coleri Ergen Xuanming Dong Ram Rajagopal Pravin Varaiya University of California Berkeley](https://reader036.vdocuments.net/reader036/viewer/2022062516/56649d385503460f94a123ea/html5/thumbnails/3.jpg)
Outline
• Modeling of information flow– Distributed sampling in dense sensor
networks– Event detection schemes (Ephremides)
• Control of information flow– Introducing redundancy for energy efficiency– TCP/UDP performance in mobile high-speed
networks– Determining faults based on correlations
![Page 4: Modeling and Control of Information Flow Sinem Coleri Ergen Xuanming Dong Ram Rajagopal Pravin Varaiya University of California Berkeley](https://reader036.vdocuments.net/reader036/viewer/2022062516/56649d385503460f94a123ea/html5/thumbnails/4.jpg)
Distributed Sampling: System Model
Snapshot of spatially bandlimited 1-D sensor field
Goal: Reconstruct the sensor field, despite quantization and noise errors
Approach: Use dither-based sampling
![Page 5: Modeling and Control of Information Flow Sinem Coleri Ergen Xuanming Dong Ram Rajagopal Pravin Varaiya University of California Berkeley](https://reader036.vdocuments.net/reader036/viewer/2022062516/56649d385503460f94a123ea/html5/thumbnails/5.jpg)
1-bit dither-based sampling
f(x)+db(x)
![Page 6: Modeling and Control of Information Flow Sinem Coleri Ergen Xuanming Dong Ram Rajagopal Pravin Varaiya University of California Berkeley](https://reader036.vdocuments.net/reader036/viewer/2022062516/56649d385503460f94a123ea/html5/thumbnails/6.jpg)
Quantization error with ideal ADC
Reconstruction error reaches a non-zero floor level instead of
PCM-Style Samplingf(x) Dither-based Samplingf(x)+d(x)
Reconstruction error decreases as 2:
![Page 7: Modeling and Control of Information Flow Sinem Coleri Ergen Xuanming Dong Ram Rajagopal Pravin Varaiya University of California Berkeley](https://reader036.vdocuments.net/reader036/viewer/2022062516/56649d385503460f94a123ea/html5/thumbnails/7.jpg)
Dither-based Samplingf(x)+d(x)
Non-ideal ADC
• Circuit noise– Device noise,
conducted noise, radiated noise
• Aperture uncertainty– Not able to sample at
the exact location and time
• Comparator ambuigity– Limited ability to
resolve an input voltage in a certain amount of time quantization
errorrandom error
crosscorrelation
bottleneck
There may be no zero crossing
![Page 8: Modeling and Control of Information Flow Sinem Coleri Ergen Xuanming Dong Ram Rajagopal Pravin Varaiya University of California Berkeley](https://reader036.vdocuments.net/reader036/viewer/2022062516/56649d385503460f94a123ea/html5/thumbnails/8.jpg)
Guaranteeing Zero-crossing
Fact The probability of a non-crossing goes to zero exponentially in the number of nodes r in the n-th interval
![Page 9: Modeling and Control of Information Flow Sinem Coleri Ergen Xuanming Dong Ram Rajagopal Pravin Varaiya University of California Berkeley](https://reader036.vdocuments.net/reader036/viewer/2022062516/56649d385503460f94a123ea/html5/thumbnails/9.jpg)
Diversity Averaging
+1
0
-1
+1
0
-1
f(x)+d(x)
r1=1,r
2=16
r1=2,r2=8
f(x)+d(x)
r=r1r2
f1(x)f2(x)
averaging
• Guarantee zero crossing inside each Nyquist interval by high enough r2
• Distribute density for quantization and non-ideal ADC
![Page 10: Modeling and Control of Information Flow Sinem Coleri Ergen Xuanming Dong Ram Rajagopal Pravin Varaiya University of California Berkeley](https://reader036.vdocuments.net/reader036/viewer/2022062516/56649d385503460f94a123ea/html5/thumbnails/10.jpg)
Distributing Density
quantization error
random error
crosscorrelation
Mean-squareerror:
Worst case pernode energyconsumption:
distributingdensity
Fault Tolerance:
Robust to node failures
Every alternate node failing halving node density
Introduce randomness?
![Page 11: Modeling and Control of Information Flow Sinem Coleri Ergen Xuanming Dong Ram Rajagopal Pravin Varaiya University of California Berkeley](https://reader036.vdocuments.net/reader036/viewer/2022062516/56649d385503460f94a123ea/html5/thumbnails/11.jpg)
Future Work
• Decrease energy consumption by introducing randomness
• Accuracy-energy trade-off in– Finding a relevant function of sensor field
• Maximum, mean
– Specific tasks• Detection, classification, localization
![Page 12: Modeling and Control of Information Flow Sinem Coleri Ergen Xuanming Dong Ram Rajagopal Pravin Varaiya University of California Berkeley](https://reader036.vdocuments.net/reader036/viewer/2022062516/56649d385503460f94a123ea/html5/thumbnails/12.jpg)
Outline
• Modeling of information flow– Distributed sampling in dense sensor
networks– Analysis of event detection schemes
• Control of information flow– Introducing redundancy for energy efficiency– TCP/UDP performance in mobile high-speed
networks– Determining faults based on correlations
![Page 13: Modeling and Control of Information Flow Sinem Coleri Ergen Xuanming Dong Ram Rajagopal Pravin Varaiya University of California Berkeley](https://reader036.vdocuments.net/reader036/viewer/2022062516/56649d385503460f94a123ea/html5/thumbnails/13.jpg)
Motivation
Sensor Placement•Minimize the cost while providing high coverage and resilience
to failures
Energy Management•MAC Layer: eliminating collisions, idle listening, overhearing
•Routing Layer: balancing energy consumption•Application Layer: data compression
RELAY NODES
![Page 14: Modeling and Control of Information Flow Sinem Coleri Ergen Xuanming Dong Ram Rajagopal Pravin Varaiya University of California Berkeley](https://reader036.vdocuments.net/reader036/viewer/2022062516/56649d385503460f94a123ea/html5/thumbnails/14.jpg)
Relay Nodes
• High sensing coverage may bring some geometric deficiencies– Don’t limit energy provisioning to the existing sensor
nodes relay nodes
Relay nodes may decreaseenergy consumption
![Page 15: Modeling and Control of Information Flow Sinem Coleri Ergen Xuanming Dong Ram Rajagopal Pravin Varaiya University of California Berkeley](https://reader036.vdocuments.net/reader036/viewer/2022062516/56649d385503460f94a123ea/html5/thumbnails/15.jpg)
Previous Work
• Relay nodes to maintain connectivity– Minimum number of relay nodes to maintain
connectivity with a limited range– Formulated as a Steiner Minimum Tree with min. # of
Steiner points (SMT-MSP) problem– Only decreasing transmission range may not achieve
energy efficiency
• Relay nodes to maximize lifetime– Formulated as a mixed-integer non-linear
programming problem– Heuristic algorithms with no performance guarantee
![Page 16: Modeling and Control of Information Flow Sinem Coleri Ergen Xuanming Dong Ram Rajagopal Pravin Varaiya University of California Berkeley](https://reader036.vdocuments.net/reader036/viewer/2022062516/56649d385503460f94a123ea/html5/thumbnails/16.jpg)
Relay Nodes in Predetermined Locations
Sensor node
Relay node
fixed if i and j are fixed
LINEAR PROGRAMMING PROBLEM
![Page 17: Modeling and Control of Information Flow Sinem Coleri Ergen Xuanming Dong Ram Rajagopal Pravin Varaiya University of California Berkeley](https://reader036.vdocuments.net/reader036/viewer/2022062516/56649d385503460f94a123ea/html5/thumbnails/17.jpg)
Relay Nodes in Any Location
Sensor node
Relay node
Variable if either i or j or both are relay locations
NOT A CONVEX OPTIMIZATION PROBLEM
![Page 18: Modeling and Control of Information Flow Sinem Coleri Ergen Xuanming Dong Ram Rajagopal Pravin Varaiya University of California Berkeley](https://reader036.vdocuments.net/reader036/viewer/2022062516/56649d385503460f94a123ea/html5/thumbnails/18.jpg)
Relay Nodes in Any Location
Approximation constant:
![Page 19: Modeling and Control of Information Flow Sinem Coleri Ergen Xuanming Dong Ram Rajagopal Pravin Varaiya University of California Berkeley](https://reader036.vdocuments.net/reader036/viewer/2022062516/56649d385503460f94a123ea/html5/thumbnails/19.jpg)
Simulations
Configuration of sensor nodes in parking lot
Grid size = 20ft
![Page 20: Modeling and Control of Information Flow Sinem Coleri Ergen Xuanming Dong Ram Rajagopal Pravin Varaiya University of California Berkeley](https://reader036.vdocuments.net/reader036/viewer/2022062516/56649d385503460f94a123ea/html5/thumbnails/20.jpg)
Outline
• Modeling of information flow– Distributed sampling in dense sensor
networks– Event detection schemes (Ephremides)
• Control of information flow– Introducing redundancy for energy efficiency– TCP/UDP performance in mobile high-speed
networks– Determining faults based on correlations
![Page 21: Modeling and Control of Information Flow Sinem Coleri Ergen Xuanming Dong Ram Rajagopal Pravin Varaiya University of California Berkeley](https://reader036.vdocuments.net/reader036/viewer/2022062516/56649d385503460f94a123ea/html5/thumbnails/21.jpg)
TCP/UDP performance in mobile high-speed networks: single user
routerInternet
ContentProvider
Access Point
router
PSTN
Base Station
GSM
IEEE 802.11WLAN
![Page 22: Modeling and Control of Information Flow Sinem Coleri Ergen Xuanming Dong Ram Rajagopal Pravin Varaiya University of California Berkeley](https://reader036.vdocuments.net/reader036/viewer/2022062516/56649d385503460f94a123ea/html5/thumbnails/22.jpg)
System and Channel Model
Rayleigh Fading:
![Page 23: Modeling and Control of Information Flow Sinem Coleri Ergen Xuanming Dong Ram Rajagopal Pravin Varaiya University of California Berkeley](https://reader036.vdocuments.net/reader036/viewer/2022062516/56649d385503460f94a123ea/html5/thumbnails/23.jpg)
Threshold-based Adaptive Modulation
A0 A1 A2 A3 A4
S1 S2 S3 S4
![Page 24: Modeling and Control of Information Flow Sinem Coleri Ergen Xuanming Dong Ram Rajagopal Pravin Varaiya University of California Berkeley](https://reader036.vdocuments.net/reader036/viewer/2022062516/56649d385503460f94a123ea/html5/thumbnails/24.jpg)
Channel Model: Finite State Markov Chain
![Page 25: Modeling and Control of Information Flow Sinem Coleri Ergen Xuanming Dong Ram Rajagopal Pravin Varaiya University of California Berkeley](https://reader036.vdocuments.net/reader036/viewer/2022062516/56649d385503460f94a123ea/html5/thumbnails/25.jpg)
Semi-Markov TCP Cong. Control Model
TCP State Space:
Slow Start
cwnd
Time
Timeout
Timeout
Fast Retransmitand Recovery
AIMD (Additive Increase/Multiplicative Decrease)
Size of TCP States:
![Page 26: Modeling and Control of Information Flow Sinem Coleri Ergen Xuanming Dong Ram Rajagopal Pravin Varaiya University of California Berkeley](https://reader036.vdocuments.net/reader036/viewer/2022062516/56649d385503460f94a123ea/html5/thumbnails/26.jpg)
TCP Throughput Calculation
Define
Delay
Throughput:
![Page 27: Modeling and Control of Information Flow Sinem Coleri Ergen Xuanming Dong Ram Rajagopal Pravin Varaiya University of California Berkeley](https://reader036.vdocuments.net/reader036/viewer/2022062516/56649d385503460f94a123ea/html5/thumbnails/27.jpg)
Analytical vs ns2 simulation
![Page 28: Modeling and Control of Information Flow Sinem Coleri Ergen Xuanming Dong Ram Rajagopal Pravin Varaiya University of California Berkeley](https://reader036.vdocuments.net/reader036/viewer/2022062516/56649d385503460f94a123ea/html5/thumbnails/28.jpg)
Cross-Layer Design
TCP
LLC
PHY
MAC
To
Airl
ink
IPMIB
Data PlaneManagement Plane
UDP
Adaptive TCP Configuration
Rate
Doppler Spread
Rate
Doppler Spread
SNR
SNR
![Page 29: Modeling and Control of Information Flow Sinem Coleri Ergen Xuanming Dong Ram Rajagopal Pravin Varaiya University of California Berkeley](https://reader036.vdocuments.net/reader036/viewer/2022062516/56649d385503460f94a123ea/html5/thumbnails/29.jpg)
Future Work
• Empirically measure mobile channel using 802.11p (DSRC) to validate model
![Page 30: Modeling and Control of Information Flow Sinem Coleri Ergen Xuanming Dong Ram Rajagopal Pravin Varaiya University of California Berkeley](https://reader036.vdocuments.net/reader036/viewer/2022062516/56649d385503460f94a123ea/html5/thumbnails/30.jpg)
Outline
• Modeling of information flow– Distributed sampling in dense sensor
networks– Event detection schemes (Ephremides)
• Control of information flow– Introducing redundancy for energy efficiency– TCP/UDP performance in mobile high-speed
networks– Determining faults based on correlations
![Page 31: Modeling and Control of Information Flow Sinem Coleri Ergen Xuanming Dong Ram Rajagopal Pravin Varaiya University of California Berkeley](https://reader036.vdocuments.net/reader036/viewer/2022062516/56649d385503460f94a123ea/html5/thumbnails/31.jpg)
Determining Faults based on Correlations
• One Sensor: Failure detection based on the detection of abrupt changes
i
The output of transformation experiences an abrupt change in the case of failure. This is a classical statistical problem
![Page 32: Modeling and Control of Information Flow Sinem Coleri Ergen Xuanming Dong Ram Rajagopal Pravin Varaiya University of California Berkeley](https://reader036.vdocuments.net/reader036/viewer/2022062516/56649d385503460f94a123ea/html5/thumbnails/32.jpg)
Determining Faults based on Correlations
• Multiple Sensors: Failure detection based on abrupt changes in the correlation
i
j
The output of transformation experiences an abrupt change in the case of the failure of at least one node.
![Page 33: Modeling and Control of Information Flow Sinem Coleri Ergen Xuanming Dong Ram Rajagopal Pravin Varaiya University of California Berkeley](https://reader036.vdocuments.net/reader036/viewer/2022062516/56649d385503460f94a123ea/html5/thumbnails/33.jpg)
Future Work
• A network of nodes– Detection of faulty sensors based on the
detection of abrupt changes in correlations– Analysis of the trade-off between delay,
accuracy and density– Testing of the algorithms on the traffic data