Cyber-Physical Systems

164 Cyber-Physical Systems: From Theory to Practice

Suppose that V is the speed and d is the distance.

ρ(climb(Car_A, Car_B ), clock(Dec)) ≤ d

AB

/V

A

ρ(clock(Dec), clock(Acc)) ≤ d

AB

/V

A

ρ(clock(Acc), clock(Turn)) ≤ d

AB

/V

A

ρ(clock(Turn), climb(Car_B, Car_C)) ≤ d

BC

/V

B

ρ(climb(Car_B, Car_C), clock(Dec)) ≤ d

BC

/V

B

ρ(clock(Dec), clock(Acc)) ≤ d

BC

/V

B

ρ(clock(Acc), drop(Car_C, Car_B)) ≤ d

BC

/V

C

ρ(drop(Car_C, Car_B), clock(Turn)) ≤ d

BC

/V

C

6.7 CONCLUSION

The design methods for big data driven CPS not only meet multiple V’s characteristics, but also

must meet special characteristics of CPS such as spatiotemporal requirements and real-time commu-

nication requirements. In this chapter, we propose a multi-view, multi-domain, and multi-paradigm

approach for specification ...