Principles of Cyber-Physical Systems | preigu

Cover: 9780262548922 | Principles of Cyber-Physical Systems | Rajeev Alur | Taschenbuch

Rückseite: 9780262548922 | Principles of Cyber-Physical Systems | Rajeev Alur | Taschenbuch

Cover: 9780262548922 | Principles of Cyber-Physical Systems | Rajeev Alur | Taschenbuch

Rückseite: 9780262548922 | Principles of Cyber-Physical Systems | Rajeev Alur | Taschenbuch

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

77,95 €

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:

Beschreibung

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

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

Über den Autor

Rajeev Alur is Zisman Family Professor of Computer and Information Science and Director of the Embedded Systems Masters program at the University of Pennsylvania.

Inhaltsverzeichnis

Preface xi
1 Introduction 1
2 Synchronous Model 13
3 Safety Requirements 65
4 Asynchronous Model 125
5 Liveness Requirements 181
6 Dynamical Systems 231
7 Timed Model 289
8 Real-Time Scheduling 339
9 Hybrid Systems 379
Bibliography 431
Index 439

Details

Erscheinungsjahr:	2023
Genre:	Importe , Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Inhalt:	Einband - flex.(Paperback)
ISBN-13:	9780262548922
ISBN-10:	0262548925
Sprache:	Englisch
Einband:	Kartoniert / Broschiert
Autor:	Alur, Rajeev
Hersteller:	MIT Press
Verantwortliche Person für die EU:	Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße:	229 x 178 x 25 mm
Von/Mit:	Rajeev Alur
Erscheinungsdatum:	15.08.2023
Gewicht:	0,774 kg

Artikel-ID: 130527570

Ähnliche Produkte

Taschenbuch

Cover: 9781785883491 | Building Virtual Pentesting Labs for Advanced Penetration Testing,...

Building Virtual Pentesting Labs for Advanced Penetration Testing, Second Edition

EAN: 9781785883491

Sprache: Englisch

Von/Mit: Kevin Cardwell

79,10 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9781119804062 | Threat Hunting in the Cloud | Chris Peiris (u. a.) | Taschenbuch

Threat Hunting in the Cloud

Defending Aws, Azure and Other Cloud Platforms Against Cyberattacks

EAN: 9781119804062

Sprache: Englisch

Von/Mit: Chris Peiris (u. a.)

46,65 €*

Lieferzeit 1-2 Wochen

Taschenbuch

-16 %

Cover: 9781484279595 | The Salesforce Consultant's Guide | Heather Negley | Taschenbuch | xv

The Salesforce Consultant's Guide

Tools to Implement or Improve Your Client's Salesforce Solution

EAN: 9781484279595

Sprache: Englisch

Von/Mit: Heather Negley

40,20 €* UVP 48,14 €

Lieferzeit 2-4 Werktage

Taschenbuch

Cover: 9789090360423 | Bitcoin | Technical innovations from the trenches | Sjors Provoost

Technical innovations from the trenches

EAN: 9789090360423

Sprache: Englisch

Von/Mit: Sjors Provoost

28,25 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9781098136277 | Digitalization of Financial Services in the Age of Cloud | Taschenbuch

Digitalization of Financial Services in the Age of Cloud

Considerations for Your Organization's Cloud Strategy

EAN: 9781098136277

Sprache: Englisch

Von/Mit: Jamil Mina (u. a.)

45,65 €*

Lieferzeit 1-2 Wochen

Buch

-17 %

Cover: 9789811977831 | Reinforcement Learning for Sequential Decision and Optimal Control

Reinforcement Learning for Sequential Decision and Optimal Control

EAN: 9789811977831

Sprache: Englisch

Von/Mit: Shengbo Eben Li

97,60 €* UVP 117,69 €

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9781803231112 | The Insider's Guide to Arm Cortex-M Development | Lasiuk (u. a.)

The Insider's Guide to Arm Cortex-M Development

Leverage embedded software development tools and examples to become an efficient Cortex-M developer

EAN: 9781803231112

Sprache: Englisch

Von/Mit: Zachary Lasiuk (u. a.)

71,40 €*

Lieferzeit 1-2 Wochen

Buch

Cover: 9781032298887 | Grid-Forming Power Inverters | Control and Applications | Buch | 2023

Grid-Forming Power Inverters

Control and Applications

EAN: 9781032298887

Sprache: Englisch

Von/Mit: Nabil Mohammed (u. a.)

120,95 €*

Lieferzeit 1-2 Wochen

Buch

Cover: 9783031345067 | Computer Vision: Three-dimensional Reconstruction Techniques | Buch

Computer Vision: Three-dimensional Reconstruction Techniques

EAN: 9783031345067

Sprache: Englisch

Von/Mit: Andrea Fusiello

85,80 €*

Lieferzeit 1-2 Wochen

Taschenbuch

-21 %

Cover: 9783895765612 | Getting Started With Java Using Eclipse | Bernhard Steppan | Buch

Getting Started With Java Using Eclipse

Mastering the Language and the Development Platform

EAN: 9783895765612

Sprache: Englisch

Von/Mit: Bernhard Steppan

35,45 €* UVP 44,95 €

Lieferzeit 1-2 Werktage

Buch

Cover: 9781420093629 | Flexible, Reliable Software | Using Patterns and Agile Development

Flexible, Reliable Software

Using Patterns and Agile Development

EAN: 9781420093629

Sprache: Englisch

Von/Mit: Henrik B. Christensen

119,95 €*

Lieferzeit 1-2 Wochen