SØG - mellem flere end 8 millioner bøger:
Viser: Cyber-Physical Systems
Cyber-Physical Systems Vital Source e-bog
Raj Rajkumar, Dionisio de Niz og Mark Klein
(2016)
Pearson International
231,00 kr.
Leveres umiddelbart efter køb
Cyber-Physical Systems Vital Source e-bog
Raj Rajkumar, Dionisio de Niz og Mark Klein
(2016)
Pearson International
280,00 kr.
Leveres umiddelbart efter køb
Cyber-Physical Systems Vital Source e-bog
Raj Rajkumar, Dionisio de Niz og Mark Klein
(2016)
Pearson International
330,00 kr.
Leveres umiddelbart efter køb
Cyber-Physical Systems
Raj Rajkumar, Dionisio de Niz og Mark Klein
(2016)
Sprog: Engelsk
Addison Wesley Professional
666,00 kr.
Denne titel er udgået og kan derfor ikke bestilles. Vi beklager.
Detaljer om varen
- 1. Udgave
- Vital Source 90 day rentals (dynamic pages)
- Udgiver: Pearson International (December 2016)
- Forfattere: Raj Rajkumar, Dionisio de Niz og Mark Klein
- ISBN: 9780133416152R90
Learn the State of the Art in Embedded Systems and Embrace the Internet of Things The next generation of mission-critical and embedded systems will be “cyber physical”: They will demand the precisely synchronized and seamless integration of complex sets of computational algorithms and physical components. Cyber-Physical Systems is the definitive guide to building cyber-physical systems (CPS) for a wide spectrum of engineering and computing applications. Three pioneering experts have brought together the field’s most significant work in one volume that will be indispensable for all practitioners, researchers, and advanced students. This guide addresses CPS from multiple perspectives, drawing on extensive contributions from leading researchers. The authors and contributors review key CPS challenges and innovations in multiple application domains. Next, they describe the technical foundations underlying modern CPS solutions—both what we know and what we still need to learn. Throughout, the authors offer guiding principles for every facet of CPS development, from design and analysis to planning future innovations. Comprehensive coverage includes Understanding CPS drivers, challenges, foundations, and emerging directions Building life-critical, context-aware, networked systems of medical devices Creating energy grid systems that reduce costs and fully integrate renewable energy sources Modeling complex interactions across cyber and physical domains Synthesizing algorithms to enforce CPS control Addressing space, time, energy, and reliability issues in CPS sensor networks Applying advanced approaches to real-time scheduling Securing CPS: preventing “man-in-the-middle” and other attacks Ensuring logical correctness and simplifying verification Enforcing synchronized communication between distributed agents Using model-integration languages to define formal semantics for CPS models Register your product at informit.com/register for convenient access to downloads, updates, and corrections as they become available.
Licens varighed:
Bookshelf online: 90 dage fra købsdato.
Bookshelf appen: 90 dage fra købsdato.
Udgiveren oplyser at følgende begrænsninger er gældende for dette produkt:
Print: 2 sider kan printes ad gangen
Copy: højest 2 sider i alt kan kopieres (copy/paste)
Bookshelf online: 90 dage fra købsdato.
Bookshelf appen: 90 dage fra købsdato.
Udgiveren oplyser at følgende begrænsninger er gældende for dette produkt:
Print: 2 sider kan printes ad gangen
Copy: højest 2 sider i alt kan kopieres (copy/paste)
Detaljer om varen
- 1. Udgave
- Vital Source 180 day rentals (dynamic pages)
- Udgiver: Pearson International (December 2016)
- Forfattere: Raj Rajkumar, Dionisio de Niz og Mark Klein
- ISBN: 9780133416152R180
Learn the State of the Art in Embedded Systems and Embrace the Internet of Things The next generation of mission-critical and embedded systems will be “cyber physical”: They will demand the precisely synchronized and seamless integration of complex sets of computational algorithms and physical components. Cyber-Physical Systems is the definitive guide to building cyber-physical systems (CPS) for a wide spectrum of engineering and computing applications. Three pioneering experts have brought together the field’s most significant work in one volume that will be indispensable for all practitioners, researchers, and advanced students. This guide addresses CPS from multiple perspectives, drawing on extensive contributions from leading researchers. The authors and contributors review key CPS challenges and innovations in multiple application domains. Next, they describe the technical foundations underlying modern CPS solutions—both what we know and what we still need to learn. Throughout, the authors offer guiding principles for every facet of CPS development, from design and analysis to planning future innovations. Comprehensive coverage includes Understanding CPS drivers, challenges, foundations, and emerging directions Building life-critical, context-aware, networked systems of medical devices Creating energy grid systems that reduce costs and fully integrate renewable energy sources Modeling complex interactions across cyber and physical domains Synthesizing algorithms to enforce CPS control Addressing space, time, energy, and reliability issues in CPS sensor networks Applying advanced approaches to real-time scheduling Securing CPS: preventing “man-in-the-middle” and other attacks Ensuring logical correctness and simplifying verification Enforcing synchronized communication between distributed agents Using model-integration languages to define formal semantics for CPS models Register your product at informit.com/register for convenient access to downloads, updates, and corrections as they become available.
Licens varighed:
Bookshelf online: 180 dage fra købsdato.
Bookshelf appen: 180 dage fra købsdato.
Udgiveren oplyser at følgende begrænsninger er gældende for dette produkt:
Print: 2 sider kan printes ad gangen
Copy: højest 2 sider i alt kan kopieres (copy/paste)
Bookshelf online: 180 dage fra købsdato.
Bookshelf appen: 180 dage fra købsdato.
Udgiveren oplyser at følgende begrænsninger er gældende for dette produkt:
Print: 2 sider kan printes ad gangen
Copy: højest 2 sider i alt kan kopieres (copy/paste)
Detaljer om varen
- 1. Udgave
- Vital Source 365 day rentals (dynamic pages)
- Udgiver: Pearson International (December 2016)
- Forfattere: Raj Rajkumar, Dionisio de Niz og Mark Klein
- ISBN: 9780133416152R365
Learn the State of the Art in Embedded Systems and Embrace the Internet of Things The next generation of mission-critical and embedded systems will be “cyber physical”: They will demand the precisely synchronized and seamless integration of complex sets of computational algorithms and physical components. Cyber-Physical Systems is the definitive guide to building cyber-physical systems (CPS) for a wide spectrum of engineering and computing applications. Three pioneering experts have brought together the field’s most significant work in one volume that will be indispensable for all practitioners, researchers, and advanced students. This guide addresses CPS from multiple perspectives, drawing on extensive contributions from leading researchers. The authors and contributors review key CPS challenges and innovations in multiple application domains. Next, they describe the technical foundations underlying modern CPS solutions—both what we know and what we still need to learn. Throughout, the authors offer guiding principles for every facet of CPS development, from design and analysis to planning future innovations. Comprehensive coverage includes Understanding CPS drivers, challenges, foundations, and emerging directions Building life-critical, context-aware, networked systems of medical devices Creating energy grid systems that reduce costs and fully integrate renewable energy sources Modeling complex interactions across cyber and physical domains Synthesizing algorithms to enforce CPS control Addressing space, time, energy, and reliability issues in CPS sensor networks Applying advanced approaches to real-time scheduling Securing CPS: preventing “man-in-the-middle” and other attacks Ensuring logical correctness and simplifying verification Enforcing synchronized communication between distributed agents Using model-integration languages to define formal semantics for CPS models Register your product at informit.com/register for convenient access to downloads, updates, and corrections as they become available.
Licens varighed:
Bookshelf online: 5 år fra købsdato.
Bookshelf appen: 5 år fra købsdato.
Udgiveren oplyser at følgende begrænsninger er gældende for dette produkt:
Print: 2 sider kan printes ad gangen
Copy: højest 2 sider i alt kan kopieres (copy/paste)
Bookshelf online: 5 år fra købsdato.
Bookshelf appen: 5 år fra købsdato.
Udgiveren oplyser at følgende begrænsninger er gældende for dette produkt:
Print: 2 sider kan printes ad gangen
Copy: højest 2 sider i alt kan kopieres (copy/paste)
Detaljer om varen
- Hardback: 416 sider
- Udgiver: Addison Wesley Professional (December 2016)
- Forfattere: Raj Rajkumar, Dionisio de Niz og Mark Klein
- ISBN: 9780321926968
Learn the State of the Art in Embedded Systems and Embrace the Internet of Things
The next generation of mission-critical and embedded systems will be "cyber physical": They will demand the precisely synchronized and seamless integration of complex sets of computational algorithms and physical components. Cyber-Physical Systems is the definitive guide to building cyber-physical systems (CPS) for a wide spectrum of engineering and computing applications.
Three pioneering experts have brought together the field's most significant work in one volume that will be indispensable for all practitioners, researchers, and advanced students. This guide addresses CPS from multiple perspectives, drawing on extensive contributions from leading researchers.
The authors and contributors review key CPS challenges and innovations in multiple application domains. Next, they describe the technical foundations underlying modern CPS solutions--both what we know and what we still need to learn. Throughout, the authors offer guiding principles for every facet of CPS development, from design and analysis to planning future innovations.
Comprehensive coverage includes
- Understanding CPS drivers, challenges, foundations, and emerging directions
- Building life-critical, context-aware, networked systems of medical devices
- Creating energy grid systems that reduce costs and fully integrate renewable energy sources
- Modeling complex interactions across cyber and physical domains
- Synthesizing algorithms to enforce CPS control
- Addressing space, time, energy, and reliability issues in CPS sensor networks
- Applying advanced approaches to real-time scheduling
- Securing CPS: preventing "man-in-the-middle" and other attacks
- Ensuring logical correctness and simplifying verification
- Enforcing synchronized communication between distributed agents
- Using model-integration languages to define formal semantics for CPS models
Register your product at informit.com/register for convenient access to downloads, updates, and corrections as they become available.
Introduction xiii
Part I: Cyber-Physical System Application Domains 1
Chapter 1: Medical Cyber-Physical Systems 3
1.1 Introduction and Motivation 4
1.2 System Description and Operational Scenarios 5
1.3 Key Design Drivers and Quality Attributes 9
1.4 Practitioners'' Implications 48
1.5 Summary and Open Challenges 52 References 53
Chapter 2: Energy Cyber-Physical Systems 61
2.1 Introduction and Motivation 62
2.2 System Description and Operational Scenarios 63
2.3 Key Design Drivers and Quality Attributes 65
2.4 Cyber Paradigm for Sustainable SEES 79
2.5 Practitioners'' Implications 96
2.6 Summary and Open Challenges 97 References 100
Chapter 3: Cyber-Physical Systems Built on Wireless Sensor Networks 103
3.1 Introduction and Motivation 104
3.2 System Description and Operational Scenarios 105
3.3 Key Design Drivers and Quality Attributes 115
3.4 Practitioners'' Implications 122
3.5 Summary and Open Challenges 124 References 125
Part II: Foundations 131
Chapter 4: Symbolic Synthesis for Cyber-Physical Systems 133
4.1 Introduction and Motivation 134
4.2 Basic Techniques 135
4.3 Advanced Techniques 152
4.4 Summary and Open Challenges 158 References 159
Chapter 5: Software and Platform Issues in Feedback Control Systems 165
5.1 Introduction and Motivation 166
5.2 Basic Techniques 167
5.3 Advanced Techniques 171
5.4 Summary and Open Challenges 192 References 193
Chapter 6: Logical Correctness for Hybrid Systems 197
6.1 Introduction and Motivation 198
6.2 Basic Techniques 200
6.3 Advanced Techniques 221
6.4 Summary and Open Challenges 231 References 232
Chapter 7: Security of Cyber-Physical Systems 237
7.1 Introduction and Motivation 238
7.2 Basic Techniques 239
7.3 Advanced Techniques 248
7.4 Summary and Open Challenges 256 References 256
Chapter 8: Synchronization in Distributed Cyber-Physical Systems 259
8.1 Introduction and Motivation 259
8.2 Basic Techniques 262
8.3 Advanced Techniques 270
8.4 Summary and Open Challenges 282 References 283
Chapter 9: Real-Time Scheduling for Cyber-Physical Systems 289
9.1 Introduction and Motivation 290
9.2 Basic Techniques 291
9.3 Advanced Techniques 301
9.4 Summary and Open Challenges 325 References 325
Chapter 10: Model Integration in Cyber-Physical Systems 331
10.1 Introduction and Motivation 332
10.2 Basic Techniques 333
10.3 Advanced Techniques 338
10.4 Summary and Open Challenges 356 References 357 About the Authors 361 About the Contributing Authors 363 Index 371
Part I: Cyber-Physical System Application Domains 1
Chapter 1: Medical Cyber-Physical Systems 3
1.1 Introduction and Motivation 4
1.2 System Description and Operational Scenarios 5
1.3 Key Design Drivers and Quality Attributes 9
1.4 Practitioners'' Implications 48
1.5 Summary and Open Challenges 52 References 53
Chapter 2: Energy Cyber-Physical Systems 61
2.1 Introduction and Motivation 62
2.2 System Description and Operational Scenarios 63
2.3 Key Design Drivers and Quality Attributes 65
2.4 Cyber Paradigm for Sustainable SEES 79
2.5 Practitioners'' Implications 96
2.6 Summary and Open Challenges 97 References 100
Chapter 3: Cyber-Physical Systems Built on Wireless Sensor Networks 103
3.1 Introduction and Motivation 104
3.2 System Description and Operational Scenarios 105
3.3 Key Design Drivers and Quality Attributes 115
3.4 Practitioners'' Implications 122
3.5 Summary and Open Challenges 124 References 125
Part II: Foundations 131
Chapter 4: Symbolic Synthesis for Cyber-Physical Systems 133
4.1 Introduction and Motivation 134
4.2 Basic Techniques 135
4.3 Advanced Techniques 152
4.4 Summary and Open Challenges 158 References 159
Chapter 5: Software and Platform Issues in Feedback Control Systems 165
5.1 Introduction and Motivation 166
5.2 Basic Techniques 167
5.3 Advanced Techniques 171
5.4 Summary and Open Challenges 192 References 193
Chapter 6: Logical Correctness for Hybrid Systems 197
6.1 Introduction and Motivation 198
6.2 Basic Techniques 200
6.3 Advanced Techniques 221
6.4 Summary and Open Challenges 231 References 232
Chapter 7: Security of Cyber-Physical Systems 237
7.1 Introduction and Motivation 238
7.2 Basic Techniques 239
7.3 Advanced Techniques 248
7.4 Summary and Open Challenges 256 References 256
Chapter 8: Synchronization in Distributed Cyber-Physical Systems 259
8.1 Introduction and Motivation 259
8.2 Basic Techniques 262
8.3 Advanced Techniques 270
8.4 Summary and Open Challenges 282 References 283
Chapter 9: Real-Time Scheduling for Cyber-Physical Systems 289
9.1 Introduction and Motivation 290
9.2 Basic Techniques 291
9.3 Advanced Techniques 301
9.4 Summary and Open Challenges 325 References 325
Chapter 10: Model Integration in Cyber-Physical Systems 331
10.1 Introduction and Motivation 332
10.2 Basic Techniques 333
10.3 Advanced Techniques 338
10.4 Summary and Open Challenges 356 References 357 About the Authors 361 About the Contributing Authors 363 Index 371
De oplyste priser er inkl. moms
Butikker og åbningstid
Handler du som firma
Forretningsbetingelser
Porto og forsendelse
Data & cookiepolitik
Handler du som firma
Forretningsbetingelser
Porto og forsendelse
Data & cookiepolitik
Polyteknisk Boghandel og Forlag A/S - Anker Engelundsvej 1 - 2800 Lyngby
Tlf 77 42 43 44 - email poly@polyteknisk.dk - CVR 34072655 - Sydbank Reg: 6748 Konto 0001107927
Tlf 77 42 43 44 - email poly@polyteknisk.dk - CVR 34072655 - Sydbank Reg: 6748 Konto 0001107927