Text

Cyber physical systems

---

Contents:

Part I Medical-physical system application domains
Chapter 1 Medical cyber-physical systems
1.1 Introduction and motivation
1.2 System description and operational scenarios
1.3 Key design drivers and quality attributes
1.4 Practitioner implications
1.5 Summary and open challenges
References

Chapter 2 Energy cyber-physical systems
1.1 Introduction and motivation
1.2 System description and operational scenarios
1.3 Key design drivers and quality attributes
1.4 Cyber paradigm for sustainable SEES
1.5 Practitioner implications
1.6 Summary and open challenges
References

Chapter 3 Cyber-physical systems built on wireless sensor network
3.1 Introduction and motivation
3.2 System description and operational scenarios
3.3 Key design drivers and quality attributes
3.4 Practitioner implications
3.5 Summary and open challenges
References

Part II Foundations
Chapter 4 Symbolic synthesis for cyber-physical systems
4.1 Introduction and motivation
4.2 Basic techniques
4.3 Advanced techniques
4.4 Summary and open challenges
References

Chapter 5 Software and platform issues in feedback control systems
5.1 and motivation
5.2 Basic techniques
5.3 Advanced techniques
5.4 Summary and open challenges
References

Chapter 6 Logical correctness for hybrid systems
6.1 Introduction and motivation
6.2 Basic techniques
6.3 Advanced techniques
6.4 Summary and open challenges
References

Chapter 7 Security of cyber-physical systems
7.1 Introduction and motivation
7.2 Basic techniques
7.3 Advanced techniques
7.4 Summary and open challenges
References

Chapter 8 Synchronization in distributed cyber-physical systems
8.1 Introduction and motivation
8.2 Basic techniques
8.3 Advanced techniques
8.4 Summary and open challenges
References

Chapter 9 Real-time scheduling for cyber-physical systems
9.1 Introduction and motivation
9.2 Basic techniques
9.3 Advanced techniques
9.4 Summary and open challenges
References

Chapter 10 Model integration in cyber-physical systems
10.1 Introduction and motivation
10.2 Basic techniques
10.3 Advanced techniques
10.4 Summary and open challenges
References
Index

---

Availability

Detail Information

Series Title

--

Call Number

629.8 RAJ c

Publisher

Boston : Addison-Wesley., 2017

Collation

xix, 396 hal.; ilus.; 24 cm

Language

English

ISBN/ISSN

9780321926968

Classification

629.8

Content Type

-

Media Type

-

Carrier Type

-

Edition

--

Subject(s)

Automatic Control
Kontrol Otomatis
Cooperating objects (Computer systems)

Specific Detail Info

--

Statement of Responsibility

Raj Rajkumar, Dionisio de Niz dan Mark Klein

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment