Principles of Cyber-Physical Systems


Pengarang : Rajev Alur
Lokasi : Resource Centre STMIK AMIKOM
Tahun : 2015


Deskripsi Buku


A foundational text that offers a rigorous introduction to the principles of design, specification, modeling, and analysis of cyber-physical systems.


A cyber-physical system consists of a collection of computing devices communicating with one another and interacting with the physical world via sensors and actuators in a feedback loop. Increasingly, such systems are everywhere, from smart buildings to medical devices to automobiles. This textbook offers a rigorous and comprehensive introduction to the principles of design, specification, modeling, and analysis of cyber-physical systems. The book draws on a diverse set of subdisciplines, including model-based design, concurrency theory, distributed algorithms, formal methods of specification and verification, control theory, real-time systems, and hybrid systems, explaining the core ideas from each that are relevant to system design and analysis.


The book explains how formal models provide mathematical abstractions to manage the complexity of a system design. It covers both synchronous and asynchronous models for concurrent computation, continuous-time models for dynamical systems, and hybrid systems for integrating discrete and continuous evolution. The role of correctness requirements in the design of reliable systems is illustrated with a range of specification formalisms and the associated techniques for formal verification. The topics include safety and liveness requirements, temporal logic, model checking, deductive verification, stability analysis of linear systems, and real-time scheduling algorithms. Principles of modeling, specification, and analysis are illustrated by constructing solutions to representative design problems from distributed algorithms, network protocols, control design, and robotics.


This book provides the rapidly expanding field of cyber-physical systems with a long-needed foundational text by an established authority.

Buku Terkait


Sukarno
1963
Resource Centre STMIK AMIKOM
Debarati Halder, K. Jaishankar
2011
Resource Centre STMIK AMIKOM
Margaret Krohn, David Newton
2014
Resource Centre STMIK AMIKOM
Giles Darkes, Mary Spence MBE
2017
Resource Centre STMIK AMIKOM
Manjubala Bisi, Neeraj Kumar Goyal
2017
Resource Centre STMIK AMIKOM
Emmet Dulaney, Chuck Easttom
2017
Resource Centre STMIK AMIKOM
Amal El Fallah Seghrouchni, Fuyuki Ishikawa, Laurent Herault
2016
Resource Centre STMIK AMIKOM
Jeff Kosseff
2017
Resource Centre STMIK AMIKOM
Mike Chapple, David Seidl
2017
Resource Centre STMIK AMIKOM
Moe Abdula, Ingo Averdunk, Roland Barcia
2018
Resource Centre STMIK AMIKOM
Ming Hsuan Yang, Narendra Ahuja
2001
Resource Centre STMIK AMIKOM
Haowei Liu
2015
Resource Centre STMIK AMIKOM
Nehal Patel, Jaimin Chavda
2015
Resource Centre STMIK AMIKOM
Bradley A. Shellito
2016
Resource Centre STMIK AMIKOM
Max Tegmark
2017
Resource Centre STMIK AMIKOM
Jon Peddie
2017
Resource Centre STMIK AMIKOM
Marvin Minsky, Juliana Lee
1988
Resource Centre STMIK AMIKOM
Dieter schmalstieg, Tobias Hollerer
2016
Resource Centre STMIK AMIKOM
Ray Toal, Rachel Rivera, Alexander Schneider, Eileen Choe
2016
Resource Centre STMIK AMIKOM
Rob Miles
2017
Resource Centre STMIK AMIKOM
Francois Chollet
2017
Resource Centre STMIK AMIKOM
Ricardo Jasinski
2016
Resource Centre STMIK AMIKOM
James Graham
2009
Resource Centre STMIK AMIKOM
Jenifer L. Bayuk, Jason Healey, Paul Rohmeyer, Jeffrey Schmidt, Joseph Weiss
2012
Resource Centre STMIK AMIKOM
Shriram Santhanagopalan, Kandler Smith, Jeremy Neubauer, Gi-Heon-Kim, Matthew Keyser, Ahmad Pesaran
2015
Resource Centre STMIK AMIKOM
Ethem Alpaydin
2014
Resource Centre STMIK AMIKOM
PETHURU RAJ - ANUPAMA C. RAMAN
2017
Resource Centre STMIK AMIKOM
ETHEM ALPAYDIN
2016
Resource Centre STMIK AMIKOM
NAYAN B. RUPARELIA
2016
Resource Centre STMIK AMIKOM
FLAVIO LOMBARDI - ROBERTO DI PIETRO
2015
Resource Centre STMIK AMIKOM
CAMERON HUGHES - TRACEY HUGHES
2016
Resource Centre STMIK AMIKOM
FABIANO DALPIAZ - ELDA PAJA - PAOLO GIORGINI
2018
Resource Centre STMIK AMIKOM
THOMAS W. RONDEAU - CHARLES W. BOSTIAN
2009
Resource Centre STMIK AMIKOM
HANGING WU - LIZ ZHAO
2015
Resource Centre STMIK AMIKOM
BRUCE ROGERS
2011
Resource Centre STMIK AMIKOM
JONATHAN RASMUSSON - SUSANNAH PFALZER
2018
Resource Centre STMIK AMIKOM
NOEL RAPPIN - KATHARINE DVORAK
2017
Resource Centre STMIK AMIKOM
PAVAN BALAJI
2015
Resource Centre STMIK AMIKOM
JOSE CARLOS EIRAS
2013
Resource Centre STMIK AMIKOM
JAMES M. KAPLAN
2015
Resource Centre STMIK AMIKOM
TODD PLAMAR
2016
Resource Centre STMIK AMIKOM
GUENTER SCHAEFER
2014
Resource Centre STMIK AMIKOM
ALLA KHOLMATOVA
2017
Resource Centre STMIK AMIKOM
CALOS PEREZ SANCHEZ - PABLO SOLAR VILARINO
2017
Resource Centre STMIK AMIKOM