Download - Challenges of Cyberphysical systems
![Page 1: Challenges of Cyberphysical systems](https://reader030.vdocument.in/reader030/viewer/2022012802/61bd18ac61276e740b0f4fba/html5/thumbnails/1.jpg)
1/30!
© July 13, 2010 , P. R. Kumar !
Challenges of Cyberphysical systems!!P. R. Kumar!
with Girish Baliga, Vivek Borkar, Derek Caveney, Scott Graham, Arvind Giridhar, I-Hong Hou, Kun Huang, Kyoung-Dae Kim, Craig Robinson,Hans Schuetz!
!!Dept. of Electrical and Computer Engineering!Texas A&M University!
Email: [email protected] Web: http://cesg.tamu.edu/faculty/p-r-kumar/
Spong Festschrift!University of Texas, Dallas!Nov 5, 2012!
This work is licensed under a Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 Unported License.!See http://creativecommons.org/licenses/by-nc-nd/3.0/!
![Page 2: Challenges of Cyberphysical systems](https://reader030.vdocument.in/reader030/viewer/2022012802/61bd18ac61276e740b0f4fba/html5/thumbnails/2.jpg)
2/30!
© July 13, 2010 , P. R. Kumar !
Happy 60th Birthday, Mark!!
Happy Birthday from Jaya, Ashwin and Shilpa and ME (not I)!!
![Page 3: Challenges of Cyberphysical systems](https://reader030.vdocument.in/reader030/viewer/2022012802/61bd18ac61276e740b0f4fba/html5/thumbnails/3.jpg)
3/30!
© July 13, 2010 , P. R. Kumar !
Happy 60th Birthday, Mark!!
It has been a pleasure to know you and Lila for several decades! !
!
Happy Birthday from Jaya, Ashwin and Shilpa and ME (not I)!!
![Page 4: Challenges of Cyberphysical systems](https://reader030.vdocument.in/reader030/viewer/2022012802/61bd18ac61276e740b0f4fba/html5/thumbnails/4.jpg)
4/30!
© July 13, 2010 , P. R. Kumar !
What are cyberphysical systems?!
![Page 5: Challenges of Cyberphysical systems](https://reader030.vdocument.in/reader030/viewer/2022012802/61bd18ac61276e740b0f4fba/html5/thumbnails/5.jpg)
5/30!
© July 13, 2010 , P. R. Kumar !
Re-convergence of control, communications and computing!
1950 — 2000 and continuing!– Computation: ENIAC (1946), von Neumann (1944), Turing,..!– Sensing and inference: Fisher, Wiener (1949),…!– Actuation/Control: Bode, Kalman (1960),…!– Communication: Shannon (1948), Nyquist,…!– Signal Processing: FFT, Cooley-Tukey (1965),…!
2000 — onwards: Age of system building!- Nodes that can communicate, control, compute!- Larger grand re-unification of control, communication and computation!- Pedagogical challenges: Knowledge of all these fields may be important!- Undergraduate education?!- Postgraduate education?!
“…the era of cyberspace and the Internet, with its emphasis on the computer as a communications device and as a vehicle for human interaction connects to a longer history of control systems that generated computers as networked communications devices.”− D. Mindell in “Feedback, Control and Computing before Cybernetics,” 2002!
![Page 6: Challenges of Cyberphysical systems](https://reader030.vdocument.in/reader030/viewer/2022012802/61bd18ac61276e740b0f4fba/html5/thumbnails/6.jpg)
6/30!
© July 13, 2010 , P. R. Kumar !
From real-time and hybrid systems!
Computers were developed for computation (1949)!
Real-time computation (1973)! Hybrid systems (1990s)!
Around 2006!“Instigators”: Gill, Krogh, K, Lee, Midkiff, Mok, Rajkumar, Sastry, Sha, Shin, Stankovic,
Sztipanovits, …!
Cyberphysical systems!
![Page 7: Challenges of Cyberphysical systems](https://reader030.vdocument.in/reader030/viewer/2022012802/61bd18ac61276e740b0f4fba/html5/thumbnails/7.jpg)
7/30!
© July 13, 2010 , P. R. Kumar !
From communicating to sensing to acting!
Wireless networks
Networked Embedded
Control
Sensor Networks
Convergence ofcommunication,
computation and control!
Cellular systems!
![Page 8: Challenges of Cyberphysical systems](https://reader030.vdocument.in/reader030/viewer/2022012802/61bd18ac61276e740b0f4fba/html5/thumbnails/8.jpg)
8/30!
© July 13, 2010 , P. R. Kumar !
The third generation of control systems! First generation: Analog Control!
– Technology: Feedback amplifiers!– Theory: Frequency domain analysis
Bode, Evans, Nyquist!
Second generation: Digital Control!– Technology: Digital computers!– Theory: State-space design!– Real-Time Scheduling!
Third generation: Networked Control!• Embedded computers!• Wireless and wireline networks!• Software!
Platform revolution: Mechanisms and Policies!u Just in time for the resource-aware system building era of the 21st century
!
Foundation of system theory!• Linear systems!• Nonlinear systems!• Estimation!• Optimal control!• System identification!• Adaptive control!• Robust control!• Discrete event systems!• Hybrid systems!
• Bouquet of books!
![Page 9: Challenges of Cyberphysical systems](https://reader030.vdocument.in/reader030/viewer/2022012802/61bd18ac61276e740b0f4fba/html5/thumbnails/9.jpg)
9/30!
© July 13, 2010 , P. R. Kumar !
May 2012: Special 13th issue!
![Page 10: Challenges of Cyberphysical systems](https://reader030.vdocument.in/reader030/viewer/2022012802/61bd18ac61276e740b0f4fba/html5/thumbnails/10.jpg)
10/30!
© July 13, 2010 , P. R. Kumar !
Mechanisms and policies! Platform revolution! Mechanisms!
– How to implement?! Policies!
– What to implement?!!
u Policies!– Control law issues due to sensing and actuating over a network!– Holistic cross-domain theory!
Mechanisms!– Architecture and Abstractions!– Theories to support mechanisms!
![Page 11: Challenges of Cyberphysical systems](https://reader030.vdocument.in/reader030/viewer/2022012802/61bd18ac61276e740b0f4fba/html5/thumbnails/11.jpg)
11/30!
© July 13, 2010 , P. R. Kumar !
Several issues in cyberphysical systems!
!!!
!!!
!!!!
InformationProcessing!
Real-time communication!
Middleware!
Performance!
Capacity!
Networking!Control!
InformationTheory!
Sensor Networks!
Computer Science!
FormalMethods!
!Software!
Engineering!
CPS!
![Page 12: Challenges of Cyberphysical systems](https://reader030.vdocument.in/reader030/viewer/2022012802/61bd18ac61276e740b0f4fba/html5/thumbnails/12.jpg)
12/30!
© July 13, 2010 , P. R. Kumar !
With I-Hong Hou
and Vivek Borkar!
!!!! Real-time
comm! Networking!
How can we deliver packets on time in a shared wireless network?
!
![Page 13: Challenges of Cyberphysical systems](https://reader030.vdocument.in/reader030/viewer/2022012802/61bd18ac61276e740b0f4fba/html5/thumbnails/13.jpg)
13/30!
© July 13, 2010 , P. R. Kumar !
Importance of providing latency guarantees: Wireless Tomorrow
Current Internet! No guarantees – “Best effort”! At best – Throughput !
Increasing traffic with delay constraints!− VoIP!− Interactive Video!− Cyberphysical systems !
How to support delayguarantees over an unreliable medium like wireless?!
In-‐Vehicle Networks
Wire harnesses are:!Costly (>$1000.00)!Complex (>4,000 parts)!Heavy (>40kg)!Warranty issues (>65 IPTV)!
Replace wires by an access point
![Page 14: Challenges of Cyberphysical systems](https://reader030.vdocument.in/reader030/viewer/2022012802/61bd18ac61276e740b0f4fba/html5/thumbnails/14.jpg)
14/30!
© July 13, 2010 , P. R. Kumar !
Real-time scheduling:(Liu and Layland `73)!
N tasks!– Jobs of Task n arrive with period τn – Deadline is end of period!– Worst case execution time cn
Rate monotone scheduling: Priority to smallest period task!
All deadlines met if (→ ln 2 = 0.69 as N→∞)
If any priority policy can meet all deadlines, then this policy can!
τn τn τn
completed! completed!
deadline miss!
cn! cn!
cnτ nn=1
N
∑ ≤ N (21/N −1)
![Page 15: Challenges of Cyberphysical systems](https://reader030.vdocument.in/reader030/viewer/2022012802/61bd18ac61276e740b0f4fba/html5/thumbnails/15.jpg)
15/30!
© July 13, 2010 , P. R. Kumar !
Formulation of real-time communication! Access Point serving N clients!
τ τ τ
delivered! delivered!
dropped!
AP!1!
2!
3!
N! 4!
p1!p2!
p3!pN! p4!
Slotted!
Require timely throughput of qn packets per period!
Unreliable channels!
Are the requirements {(qn, pn, τ), 1≤n≤N} feasible?!!
![Page 16: Challenges of Cyberphysical systems](https://reader030.vdocument.in/reader030/viewer/2022012802/61bd18ac61276e740b0f4fba/html5/thumbnails/16.jpg)
16/30!
© July 13, 2010 , P. R. Kumar !
Necessary condition for feasibility of QoS requirements! Necessary condition from classical queueing theory! !! But not sufficient!
Reason: Unavoidable idle time!– No queueing: At most one packet!
AP!
1! 2!
S! Idle!S! Idle!
Forced to be idle!
wn
n=1
N
∑ ≤ 1 wn =
qn
pnτwhere!
![Page 17: Challenges of Cyberphysical systems](https://reader030.vdocument.in/reader030/viewer/2022012802/61bd18ac61276e740b0f4fba/html5/thumbnails/17.jpg)
17/30!
© July 13, 2010 , P. R. Kumar !
Stronger necessary condition !
where I(1, 2,…, N) = Unavoidable idle time after serving {1, 2,, N}
! Sufficient?!
Still not sufficient!!
Stronger necessary condition!
wn
n=1
N
∑ + I (1,2,..., N ) ≤1
I (1,2,...,N ) = 1
τE τ − γ n
n=1
N
∑%
&'(
)*
++
,--
.
/00
where γ n Geom(pn )
![Page 18: Challenges of Cyberphysical systems](https://reader030.vdocument.in/reader030/viewer/2022012802/61bd18ac61276e740b0f4fba/html5/thumbnails/18.jpg)
18/30!
© July 13, 2010 , P. R. Kumar !
Counterexample! Period τ = 3!! Client 1!
– p1 = 0.5 – q1 = 0.876 – w1+I1=3.002/3 > 1
Client 2!– p2 = 0.5 – q2 = 0.45
Clients {1,2}!– w1+w2+I{1,2}=2.902/3 < 1
w1 =q1
p1τ
=1.752
3
I1=
2 p1+ (1− p
1) p
1( )3
=1.25
3
w{1,2} = w1 + w2
=2.652
3
w2 =q2
p2τ
=0.93
I{1,2} =
p1 p2
3=
0.253✓!
✕!
![Page 19: Challenges of Cyberphysical systems](https://reader030.vdocument.in/reader030/viewer/2022012802/61bd18ac61276e740b0f4fba/html5/thumbnails/19.jpg)
19/30!
© July 13, 2010 , P. R. Kumar !
Even stronger necessary condition! Every subset of clients should also be feasible!!! Stronger necessary condition: !
Not enough to just evaluate for the whole set {1, 2, …, N}! Theorem (Hou, Borkar & K ’09): Admission Control!
Condition is necessary and sufficient for a set of clientsto be feasible!
wn
n∈S∑ + I(S) ≤ 1, ∀S ⊆ {1,2,..., N}
S ⊆ {1,2,..., N}
with S
with S
![Page 20: Challenges of Cyberphysical systems](https://reader030.vdocument.in/reader030/viewer/2022012802/61bd18ac61276e740b0f4fba/html5/thumbnails/20.jpg)
20/30!
© July 13, 2010 , P. R. Kumar !
What are the appropriate abstractions and architecture for CPS?!
!!!
!!!!
Middleware!
Software!Engineerin
g!
Girish Baliga, Scott Graham and Kyoung-Dae Kim!
![Page 21: Challenges of Cyberphysical systems](https://reader030.vdocument.in/reader030/viewer/2022012802/61bd18ac61276e740b0f4fba/html5/thumbnails/21.jpg)
21/30!
© July 13, 2010 , P. R. Kumar !
Challenge of abstractions!
Session Layer Session Layer
Presentation Layer Presentation Layer
Application Layer Application Layer
Transport Layer Transport Layer
Network Layer Network Layer
Data Link Layer Data Link Layer
Physical Layer Physical Layer
Internet! Digital Communication!
Source!Coding!
Channel!Coding!
What are the abstractions for convergence of control with communication and computing?!
Hardware! Software!
Serial computation!
von Neumann Bridge!
(Valiant `90)!
Goal is to enable rapid design and deployment!– Critical Resource: Control Designer’s Time!
Standardized abstractions!– Minimal reconfiguration and reprogramming!
Hopefully leading to proliferation!
![Page 22: Challenges of Cyberphysical systems](https://reader030.vdocument.in/reader030/viewer/2022012802/61bd18ac61276e740b0f4fba/html5/thumbnails/22.jpg)
22/30!
© July 13, 2010 , P. R. Kumar !
22/47!
Convergence Lab:The Systems! Vision Sensors!
Automatic Control!
Wireless Ad Hoc Network!
Planning and Scheduling!
(Baliga,Graham,Huang & K ‘02)!
![Page 23: Challenges of Cyberphysical systems](https://reader030.vdocument.in/reader030/viewer/2022012802/61bd18ac61276e740b0f4fba/html5/thumbnails/23.jpg)
23/30!
© July 13, 2010 , P. R. Kumar !
Application Layer!
Abstraction layers!
Trajectory Planner!Kalman
Filter!Deadlock Avoidance! Set Point
Generator!Discrete
EventScheduler!
ImageProcessing!
Network Layer!
Transport Layer!
System Layer!
PHY/MAC Layer!
(Baliga, Graham & K ‘04)!
Middleware manages the Components!
Discrete Event
Scheduler!
Kalman !filter!
Trajectory Planner!
Car!
controller!
Model Predictive Controller!
Set PointGeneration!
ImageProcessing!
Control LawOptimization!
Components!Real-time Middleware!TCP!
DBF!
Modulation!
Se
rv
ice
2!
Se
rv
ice
3!
Clo
ck!
(Graham, Baliga & K ‘09)! (Kim & K ‘08)!
KERNEL!!!!!!!!!
MESSENGER! SCHEDULER!
JOB PLACEMENT RULE!SERVICE!
SHELL!
FAULT MANAGER!
SEMANTIC!FAULT!
DETECTOR!FAULT!
HANDLERS!REPLICA!
COMPONENT! COMPONENT!
APPLICATION!SERVICES!STATE ESTIMATOR!
TEMPORAL FAULT !MANAGER SERVICE!
NETWORK! TIME!
SERVICE!
NETWORK !MESSENGER!
SERVICE!
PROFILE !REGISTRY!SERVICE!
INTERACTION FAULT!DETECTOR SERVICE!
EXPEDITED STATE UPDATE!SCHEDULING SERVICE!
CPU RESOURCE MANAGER!SERVICE!
NOTIFIER!
![Page 24: Challenges of Cyberphysical systems](https://reader030.vdocument.in/reader030/viewer/2022012802/61bd18ac61276e740b0f4fba/html5/thumbnails/24.jpg)
24/30!
© July 13, 2010 , P. R. Kumar !
Collision avoidance!
http://decision.csl.uiuc.edu/~testbed/videos/CollisionAvoidance.mpg
(Schuetz, Robinson & K ’05)!
![Page 25: Challenges of Cyberphysical systems](https://reader030.vdocument.in/reader030/viewer/2022012802/61bd18ac61276e740b0f4fba/html5/thumbnails/25.jpg)
25/30!
© July 13, 2010 , P. R. Kumar !
Example of capabilities:Component migration!
Communicate pixels?!
Excessive delay!
Or compute!position?!
Migrate Kalman
Filter!
Kalman !filter!
Computer 2!
Car!controller!
Computer 1!
(Baliga, Graham & K ‘04)!
![Page 26: Challenges of Cyberphysical systems](https://reader030.vdocument.in/reader030/viewer/2022012802/61bd18ac61276e740b0f4fba/html5/thumbnails/26.jpg)
26/30!
© July 13, 2010 , P. R. Kumar !
Example of capabilities:Component migration!
(Kim & K ’09)!
Communicate pixels?!
Excessive delay!
Or compute!position?!
Real-time middleware!
Migrate Kalman
Filter!
Kalman !filter!
Computer 2!
Car!controller!
Computer 1!
![Page 27: Challenges of Cyberphysical systems](https://reader030.vdocument.in/reader030/viewer/2022012802/61bd18ac61276e740b0f4fba/html5/thumbnails/27.jpg)
27/30!
© July 13, 2010 , P. R. Kumar !
How can we prove that
systems behave correctly and are
safe?!
!!!
!!!!
Correctness!FormalMethods!
![Page 28: Challenges of Cyberphysical systems](https://reader030.vdocument.in/reader030/viewer/2022012802/61bd18ac61276e740b0f4fba/html5/thumbnails/28.jpg)
28/30!
© July 13, 2010 , P. R. Kumar !
Provably correct behavior! Theorem!
– Directed graph model of road network!• Each bin has in-degree 1 or out-degree 1 • System has no occupied cycles initially!
– Road width:!• Initial condition:!• Intersection angles , and road lengths: !• Multiple cars with appropriate spacing!
– Car control model: Kinematic model with turn radii R and R
– Real time renewal tasks: HST scheduling with !
– Then cars can be operated!• Without collisions (Safety) or!• Gridlocks (Deadlock)
!
!http://decision.csl.uiuc.edu/~testbed/videos/city_7cars.mpg
1 2 3 4 5 6 7
9 10 11 12
82 81
83
80
86 85
22 21
66 92
91
71 84 72 73
74 75
79 78
76 77
53 29
53 24
28 53
53 53
70 69
87 88
68 67
89 90
65 93
64 53
63 95
53 96
61 97
60 98
41 53
53 36
53 53
42 53
45 46
53 53
31 20 53
35
54
19
53 53
18 8
17
52
53
≤ γ
W = R(1− cosβ(2 cosα − 1)(d,θ ) : d + R(1 − cosθ ) < W
L = (2γ RR ) (R − R )
CiD
i≤ 1∑
(Baliga & K ’05)!
![Page 29: Challenges of Cyberphysical systems](https://reader030.vdocument.in/reader030/viewer/2022012802/61bd18ac61276e740b0f4fba/html5/thumbnails/29.jpg)
29/30!
© July 13, 2010 , P. R. Kumar !
A larger problem!
Human beings seem to have decided to dedicate one hour per day for travel!
So should we we actually make it easier for people to travel greater distances in the same time?!
So what is the right problem to solve?! From Frank Kelly’s talk at StochNet 2006!
Intelligentintersections!
! Cars negotiate via packet exchanges!
– Lower fuel consumption!– Lower traffic delays!– Greater safety!
![Page 30: Challenges of Cyberphysical systems](https://reader030.vdocument.in/reader030/viewer/2022012802/61bd18ac61276e740b0f4fba/html5/thumbnails/30.jpg)
30/30!
© July 13, 2010 , P. R. Kumar !
Happy Birthday, Mark! �