skip to content
Principles of cyber-physical systems Preview this item
ClosePreview this item
Checking...

Principles of cyber-physical systems

Author: Rajeev Alur
Publisher: Cambridge, Massachusetts : The MIT Press, [2015]
Edition/Format:   Print book : EnglishView all editions and formats
Summary:
"A cyber-physical system consist 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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: Rajeev Alur
ISBN: 9780262029117 0262029111
OCLC Number: 893668928
Description: xii, 446 pages : illustrations ; 24 cm
Contents: Machine-generated contents note: 1.1. What Is a Cyber-Physical System? --
1.2. Key Features of Cyber-Physical Systems --
1.3. Overview of Topics --
1.4. Guide to Course Organization --
2.1. Reactive Components --
2.1.1. Variables, Valuations, and Expressions --
2.1.2. Inputs, Outputs, and States --
2.1.3. Initialization --
2.1.4. Update --
2.1.5. Executions --
2.1.6. Extended-State Machines --
2.2. Properties of Components --
2.2.1. Finite-State Components --
2.2.2. Combinational Components --
2.2.3. Event-Triggered Components --
2.2.4. Non-deterministic Components --
2.2.5. Input-Enabled Components --
2.2.6. Task Graphs and Await Dependencies --
2.3. Composing Components --
2.3.1. Block Diagrams --
2.3.2. Input/Output Variable Renaming --
2.3.3. Parallel Composition --
2.3.4. Output Hiding --
2.4. Synchronous Designs --
2.4.1. Synchronous Circuits --
2.4.2. Cruise Control System --
2.4.3. Synchronous Networks --
Bibliographic Notes --
3.1. Safety Specifications --
3.1.1. Invariants of Transition Systems --
3.1.2. Role of Requirements in System Design --
3.1.3. Safety Monitors --
3.2. Verifying Invariants --
3.2.1. Proving Invariants --
3.2.2. Automated Invariant Verification --
3.2.3. Simulation-Based Analysis --
3.3. Enumerative Search --
3.4. Symbolic Search --
3.4.1. Symbolic Transition Systems --
3.4.2. Symbolic Breadth-First Search --
3.4.3. Reduced Ordered Binary Decision Diagrams --
Bibliographic Notes --
4.1. Asynchronous Processes --
4.1.1. States, Inputs, and Outputs --
4.1.2. Input, Output, and Internal Actions --
4.1.3. Executions --
4.1.4. Extended-State Machines --
4.1.5. Operations on Processes --
4.1.6. Safety Requirements --
4.2. Asynchronous Design Primitives --
4.2.1. Blocking vs. Non-blocking Synchronization --
4.2.2. Deadlocks --
4.2.3. Shared Memory --
4.2.4. Fairness Assumptions --
4.3. Asynchronous Coordination Protocols --
4.3.1. Leader Election --
4.3.2. Reliable Transmission --
4.3.3. Wait-Free Consensus --
Bibliographic Notes --
5.1. Temporal Logic --
5.1.1. Linear Temporal Logic --
5.1.2. LTL Specifications --
5.1.3. LTL Specifications for Asynchronous Processes --
5.1.4. Beyond LTL --
5.2. Model Checking --
5.2.1. Büchi Automata --
5.2.2. From LTL to Büchi Automata --
5.2.3. Nested Depth-First Search --
5.2.4. Symbolic Repeatability Checking --
5.3. Proving Liveness --
5.3.1. Eventuality Properties --
5.3.2. Conditional Response Properties --
Bibliographic Notes --
6.1. Continuous-Time Models --
6.1.1. Continuously Evolving Inputs and Outputs --
6.1.2. Models with Disturbance --
6.1.3. Composing Components --
6.1.4. Stability --
6.2. Linear Systems --
6.2.1. Linearity --
6.2.2. Solutions of Linear Differential Equations --
6.2.3. Stability --
6.3. Designing Controllers --
6.3.1. Open-Loop vs. Feedback Controller --
6.3.2. Stabilizing Controller --
6.3.3. PID Controllers --
6.4. Analysis Techniques --
6.4.1. Numerical Simulation --
6.4.2. Barrier Certificates --
Bibliographic Notes --
7.1. Timed Processes --
7.1.1. Timing-Based Light Switch --
7.1.2. Buffer with a Bounded Delay --
7.1.3. Multiple Clocks --
7.1.4. Formal Model --
7.1.5. Timed Process Composition --
7.1.6. Modelling Imperfect Clocks --
7.2. Timing-Based Protocols --
7.2.1. Timing-Based Distributed Coordination --
7.2.2. Audio Control Protocol --
7.2.3. Dual Chamber Implantable Pacemaker --
7.3. Timed Automata --
7.3.1. Model of Timed Automata --
7.3.2. Region Equivalence --
7.3.3. Matrix-Based Representation for Symbolic Analysis --
Bibliographic Notes --
8.1. Scheduling Concepts --
8.1.1. Scheduler Architecture --
8.1.2. Periodic Job Model --
8.1.3. Schedulability --
8.1.4. Alternative Job Models --
8.2. EDF Scheduling --
8.2.1. EDF for Periodic Job Model --
8.2.2. Optimality of EDF --
8.2.3. Utilization-Based Schedulability Test --
8.3. Fixed-Priority Scheduling --
8.3.1. Deadline-Monotonic and Rate-Monotonic Policies --
8.3.2. Optimality of Deadline-Monotonic Policy --
8.3.3. Schedulability Test for Rate-Monotonic Policy --
Bibliographic Notes --
9.1. Hybrid Dynamical Models --
9.1.1. Hybrid Processes --
9.1.2. Process Composition --
9.1.3. Zeno Behaviours --
9.1.4. Stability --
9.2. Designing Hybrid Systems --
9.2.1. Automated Guided Vehicle --
9.2.2. Obstacle. Avoidance with Multi-robot Coordination --
9.2.3. Multi-hop Control Networks --
9.3. Linear Hybrid Automata --
9.3.1. Example Pursuit Game --
9.3.2. Formal Model --
9.3.3. Symbolic Reachability Analysis --
Bibliographic Notes.
Responsibility: Rajeev Alur.

Abstract:

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

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/893668928> # Principles of cyber-physical systems
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "893668928" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/2209211439#Topic/system_design> ; # System design
    schema:about <http://dewey.info/class/006.22/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/2209211439#Topic/mathematisches_modell> ; # Mathematisches Modell
    schema:about <http://experiment.worldcat.org/entity/work/data/2209211439#Topic/automatic_control> ; # Automatic control
    schema:about <http://experiment.worldcat.org/entity/work/data/2209211439#Topic/sensor> ; # Sensor
    schema:about <http://experiment.worldcat.org/entity/work/data/2209211439#Topic/formal_methods_computer_science> ; # Formal methods (Computer science)
    schema:about <http://experiment.worldcat.org/entity/work/data/2209211439#Topic/formale_methode> ; # Formale Methode
    schema:about <http://experiment.worldcat.org/entity/work/data/2209211439#Topic/embedded_internet_devices> ; # Embedded Internet devices
    schema:about <http://experiment.worldcat.org/entity/work/data/2209211439#Topic/systementwicklung> ; # Systementwicklung
    schema:about <http://experiment.worldcat.org/entity/work/data/2209211439#Topic/internet_der_dinge> ; # Internet der Dinge
    schema:about <http://experiment.worldcat.org/entity/work/data/2209211439#Topic/eingebettetes_system> ; # Eingebettetes System
    schema:about <http://experiment.worldcat.org/entity/work/data/2209211439#Topic/internet_of_things> ; # Internet of things
    schema:bookFormat bgn:PrintBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/2209211439#Person/alur_rajeev_1966> ; # Rajeev Alur
    schema:datePublished "2015" ;
    schema:description ""A cyber-physical system consist 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 specifications 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."--Provided by publisher."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/2209211439> ;
    schema:inLanguage "en" ;
    schema:name "Principles of cyber-physical systems"@en ;
    schema:productID "893668928" ;
    schema:workExample <http://worldcat.org/isbn/9780262029117> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/893668928> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/2209211439#Person/alur_rajeev_1966> # Rajeev Alur
    a schema:Person ;
    schema:birthDate "1966" ;
    schema:familyName "Alur" ;
    schema:givenName "Rajeev" ;
    schema:name "Rajeev Alur" ;
    .

<http://experiment.worldcat.org/entity/work/data/2209211439#Topic/automatic_control> # Automatic control
    a schema:Intangible ;
    schema:name "Automatic control"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2209211439#Topic/eingebettetes_system> # Eingebettetes System
    a schema:Intangible ;
    schema:name "Eingebettetes System"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2209211439#Topic/embedded_internet_devices> # Embedded Internet devices
    a schema:Intangible ;
    schema:name "Embedded Internet devices"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2209211439#Topic/formal_methods_computer_science> # Formal methods (Computer science)
    a schema:Intangible ;
    schema:name "Formal methods (Computer science)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2209211439#Topic/internet_der_dinge> # Internet der Dinge
    a schema:Intangible ;
    schema:name "Internet der Dinge"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2209211439#Topic/internet_of_things> # Internet of things
    a schema:Intangible ;
    schema:name "Internet of things"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2209211439#Topic/mathematisches_modell> # Mathematisches Modell
    a schema:Intangible ;
    schema:name "Mathematisches Modell"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2209211439#Topic/systementwicklung> # Systementwicklung
    a schema:Intangible ;
    schema:name "Systementwicklung"@en ;
    .

<http://worldcat.org/isbn/9780262029117>
    a schema:ProductModel ;
    schema:isbn "0262029111" ;
    schema:isbn "9780262029117" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.