Detail Buku

Principles of Cyber-Physical Systems

Pengarang : RAJEEV ALUR
Lokasi : RESOURCE CENTRE UNIVERSITAS AMIKOM YOGYAKARTA
Tahun : 2015

Share this Book Tweet about this

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

Orang Indonesia dan Tanahnya

Cornelis Van Vollenhoven
2013
Perpustakaan STPN

Mahadelta: Manifesto Penguasaan Tanah Terlarang

Dr. P. Seria Lenggono
2015
Perpustakaan STPN

Resonansi Landreform Lokal: Dinamika pengelolaan tanah di desa Karanganyar

Aristiono Nugroho ; Haryo Budhiawan ; Suharno
2013
Perpustakaan STPN

Tanah Hutan Rakyat: Instrumen Kesejahteraan dan Konservasi di Desa Kalimendong

Aristiono Nugroho ; Panjang Suharto
2014
Perpustakaan STPN

Seluk Beluk Masalah Agraria: Reforma Agraria dan Penelitian Agraria

Gunawan Wiradi
2009
Perpustakaan STPN

Pemikiran Agraria Bulaksumur: Telaah Awal Atas Pemikiran Sartono Kartodirdjo,Masri Singaribuan dan M

Ahmad Nashih Luthfi ; Amien Tohari ; Tarli Nugroho
2010
Perpustakaan STPN

Ranah Studi Agraria: Penguasaan Tanah dan Hubungan Agraris

Gunawan Wiradi ; Benjamin White ; William L. Collier ; Soentoro ; Makali ; Chris Manning
2009
Perpustakaan STPN

Land Reform Lokal Ala Ngandagan: Inovasi Sistem Tenurial Adat di Sebuah Desa Jawa, 1947-1964

Mohamad Shohibuddin ; Ahmad Nashih Luthfi
2010
Perpustakaan STPN

Hak Atas Tanah Bagi Orang Asing: Tinjauan Politik Hukum dan Perlindungan Warga Negara Indonesia

FX. Sumarja
2015
Perpustakaan STPN

RaTA: Manual Penilaian Cepat Konflik Pertanahan

Gamma Galudra ; Mertua Sirait ; Gamal Pasya ; Chip Fay ; Suyanto ; Meine Van Noordwijk ; Ujjwal Prad
2013
Perpustakaan STPN

Filosofi, Asas, Ajaran, Teori Hukum Pertanahan dan Agraria

Herman Soesangobeng
2012
Perpustakaan STPN

Dari Tanah Sultan Menuju Tanah Rakyat: Pola Pemilikan, Penguasaan, dan Sengketa Tanah di Kota Yogyak

Nur Aini Setiawati
2011
Perpustakaan STPN

Kembali ke Agraria

Usep Setiawan ; Noer Fauzi ; Dianto Bachriadi
2010
Perpustakaan STPN

Transmisi Nilai-Nilai Pertanahan di Kabupaten Magetan

Aristiono Nugroho ; Suharno
2017
Perpustakaan STPN

Jogja-Ku [Dune Ora] Didol: Manunggaling Penguasa dan Pengusaha Dalam Kebijakan Pembangunan Hotel di

Ardiana Dewi Sesanti
2016
Perpustakaan STPN

Islam dan Agraria: Telaah Normatif dan Historis Perjuangan Islam dalam Merombak Ketidakadilan Agrari

Gita Anggraini
2016
Perpustakaan STPN

Relasi Kuasa Dalam Strategi Pertanahan di Desa Prigelan

Aristiono Nugroho ; Suharno
2016
Perpustakaan STPN

Pengembangan Kebijakan Agraria: Untuk Keadilan Sosial, Kesejahteraan Masyarakat, dan Keberlanjutan E

Tim Riset Sistematis 2010 ; Editor: Laksmi A. Savitri ; Valentina Arminah ; Ahmad Nashih Luthfi ; Am
2010
Perpustakaan STPN

Memahami dan Menemukan Jalan Keluar Dari Problem Agraria dan Krisis Sosial Ekologi

Laksmi Adriani Savitri ; Mohamad Shohibuddin ; Surya Saluang
2009
Perpustakaan STPN

Pengantar Hukum Tata Negara

Dian Aries Mujiburohman
2017
Perpustakaan STPN

Ecotourism Lereng Merapi Pasca Konsolidasi Tanah

Aristiono Nugroho ; Sutaryono
2015
Perpustakaan STPN

Potret Perjuangan Bapak Hukum Agraria Prof. Boedi Harsono

Oloan Sitorus ; Taufik Nur Huda
2011
Perpustakaan STPN

Tanah Bagi yang Tak Bertanah: Landreform Pada Masa Demokrasi Terpimpin 1960-1965

Andi Achdian
2008
Perpustakaan STPN

Land Reform Dari Masa Ke Masa: Perjalanan Kebijakan Pertanahan 1945-2009

Noer Fauzi Rachman
2012
Perpustakaan STPN

Perjuangan Landreform Masyarakat Perkebunan Partisipasi Politik, Klaim, dan Konlik Agraria di Jember

Tri Chandra Aprianto
2016
Perpustakaan STPN

Land Grabbing: Bibliografi Beranotasi

Dwi Wulan Pujiriyani ; Vegitya Ramadhani Putri ; Muhammad Yusuf ; Muhammad Bahtiar Ariin
2014
Perpustakaan STPN

Konflik Agraria di Urutsewu: Pendekatan Ekologi Politik

Devy Dhian Cahyati
2014
Perpustakaan STPN

Konsolidasi Tanah, Tata Ruang, dan Ketahanan Nasional

Oloan Sitorus
2015
Perpustakaan STPN

Tinjauan Kritis Regulasi dan Implementasi Kebijakan P3MB

Jarot Widya Muliawan
2014
Perpustakaan STPN

Mereka yang Dikalahkan: Perampasan Tanah dan Resistensi Masyarakat Pulau Padang

M. Nazir Salim
2017
Perpustakaan STPN

Pengakuan dan Perlindungan Hak Atas Tanah Masyarakat Hukum Adat di Kawasan Hutan

Dyah Ayu Widowati ; Ahmad Nashih Luthfi ; I Gusti Nyoman Guntur
2014
Perpustakaan STPN

Konstitusionalisme Agraria

Yance Arizona
2014
Perpustakaan STPN

MP3EI: Master Plan Percepatan dan Perluasan Krisis Sosial-Ekologis Indonesia

Dian Yanuardy ; Swanvri ; Muntaza ; Didi Novrian ; Bambang T. Dahana ; Abu Mufakhir ; Syarif Arifin
2014
Perpustakaan STPN

Pembentukan Kebijakan Reforma Agraria 2006-2007 - Bunga Rampai Perdebatan

Mohamad Shohibuddin ; M. Nazir Salim
2013
Perpustakaan STPN

Melacak Sejarah Pemikiran Agraria: Sumbangan Pemikiran Mazhab Bogor

Ahmad Nashih Luthfi
2011
Perpustakaan STPN

Kronik Agraria Indonesia: Memperluas Imajinasi Lintas Zaman, Sektor dan Aktor

Ahmad Nashih Luthfi ; M. Fauzi ; Razif
2010
Perpustakaan STPN

Gerakan-Gerakan Agraria Transnasional

Saturnino M Borras Jr ; Marc Edelman ; Christobal Kay
2010
Perpustakaan STPN

Masalah Agraria Sebagai Masalah Penghidupan dan Kemakmuran Rakyat Indonesia

Mochammad Tauchid
2009
Perpustakaan STPN

Keistimewaan Yogyakarta: Yang Diingat dan Yang Dilupakan

Ahmad Nashih Luthfi ; M. Nazir S ; Amin Tohari ; Dian Andika Winda ; Diar Candra Tristiawan
2009
Perpustakaan STPN

Asas-asas Keagrariaan: Merunut Kembali Riwayat Kelembagaan Agraria, Dasar Keilmuan Agraria, dan Asas

Tim Peneliti STPN 2014 ; Penyunting: Ahmad Nashih Luthfi
2014
Perpustakaan STPN

Jalan Penyelesaian Persoalan Agraria: Tanah Bekas Hak, Pengakuan Hukum Adat, Penataan Tanah Batam, P

Tim Peneliti Sistematis STPN 2016 ; Penyunting: M. Nazir Salim
2016
Perpustakaan STPN

Reforma Kelembagaan dan Kebijakan Agraria (Hasil Penelitian Strategis STPN 2015)

Tim Peneliti Srategis STPN 2015 ; Penyunting: Widhiana H. Puri
2015
Perpustakaan STPN

Penanganan Sengketa dan Konflik Pertanahan: Hasil Penelitian Strategis STPN 2013

Tim Peneliti STPN ; Editor: Dwi Wulan Pujiriyani ; Widhiana Hestining Puri
2013
Perpustakaan STPN

Penataan dan Pengelolaan Pertanahan yang Mensejahterakan Masyarakat: Hasil Penelitian Strategis PPPM

Tim Peneliti STPN ; Editor: Dwi Wulan Pujiriyani ; Widhiana Hestining Puri
2015
Perpustakaan STPN

Sejarah/Geografi Agraria Indonesia

Razif ; M. Fauzi ; Noer Fauzi Rachman ; Hilmar Farid
2017
Perpustakaan STPN

Integrasi Agraria-Pertanahan dan Tata Ruang: Menyatukan Status Tanah dan Fungsi Ruang

Sofi Puspasari ; Sutaryono
2017
Perpustakaan STPN

Regulasi Pertanahan dan Semangat Keadilan Agraria

Prof. Dr. Maria SW Sumardjono., S.H., MCL., MPA.
2018
Perpustakaan STPN

Model Spasial Penggunaan Lahan Pertanian Berkelanjutan di Kecamatan Kledung Kabupaten Temanggung

Valentina Arminah
2012
Perpustakaan STPN

Tanah Negara (Edisi Revisi)

Julius Sembiring, S.H., MPA.
2016
Perpustakaan STPN

Kondisi dan Perubahan Agraria Desa Ngandagan di Jawa Tengah Dulu dan Sekarang

Ahmad Nashih Luthfi ; Razif ; Bayu Eka Yulian ; Aristiono Nugroho ; Endah Cahya Immawati ; Tyas Retn
2013
Perpustakaan STPN

Arah Baru Pendidikan Tinggi Agraria: Ruang Belajar STPN Menapaki Pengembangan Kader Birokrasi Pertan

Endriatmo Soetarto ; Dwi Wulan Pujiriyani ; Sutaryono
2013
Perpustakaan STPN

Pendaftaran Tanah Sistematis Lengkap: Proses dan Evaluasi Program Prioritas (Hasil Penelitian Sistem

I Gusti Nyoman Guntur ; Wahyuni ; Nuraini Aisiyah
2017
Perpustakaan STPN

Ngandagan Kontemporer: Implikasi Sosial Landreform Lokal

Aristiono Nugroho ; Haryo Budhiawan
2011
Perpustakaan STPN

Seputar Hak Pengelolaan

Arie Sukanti Hutagalung ; Oloan Sitorus
2011
Perpustakaan STPN