skip to content
Introduction to embedded systems : a cyber-physical systems approach Preview this item
ClosePreview this item
Checking...

Introduction to embedded systems : a cyber-physical systems approach

Author: Edward A Lee; Sanjit A Seshia
Publisher: Cambridge, Massachuetts : MIT Press, [2017]
Edition/Format:   Print book : English : Second editionView all editions and formats
Summary:

An introduction to the engineering principles of embedded systems, with a focus on modeling, design, and analysis of cyber-physical systems.

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: Edward A Lee; Sanjit A Seshia
ISBN: 9780262533812 0262533812
OCLC Number: 959263343
Description: xxii, 537 pages ; 24 cm
Contents: Introduction --
I. Modeling Dynamic Behaviors --
Continuous Dynamics --
Discrete Dynamics --
Hybrid Systems --
Composition of State Machines --
Concurrent Models of Computation --
II. Design of Embedded Systems --
Sensors and Actuators --
Embedded Processors --
Memory Architectures --
Input and Output --
Multitasking --
Scheduling --
III. Analysis and Verification --
Invariants and Temporal Logic --
Equivalence and Refinement --
Reachability Analysis and Model Checking --
Quantitative Analysis --
Security and Privacy --
IV. Appendices --
Sets and Functions --
Complexity and Computability.
Responsibility: Edward Ashford Lee and Sanjit Arunkumar Seshia.

Reviews

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

Tags

Be the first.

Similar Items

Related Subjects:(1)

User lists with this item (1)

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/959263343> # Introduction to embedded systems : a cyber-physical systems approach
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "959263343" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/811129341#Topic/embedded_computer_systems> ; # Embedded computer systems
   schema:about <http://dewey.info/class/006.22/e23/> ;
   schema:author <http://experiment.worldcat.org/entity/work/data/811129341#Person/lee_edward_a_1957> ; # Edward A. Lee
   schema:author <http://experiment.worldcat.org/entity/work/data/811129341#Person/seshia_sanjit_a> ; # Sanjit A. Seshia
   schema:bookEdition "Second edition." ;
   schema:bookFormat bgn:PrintBook ;
   schema:datePublished "2017" ;
   schema:description "Introduction -- I. Modeling Dynamic Behaviors -- Continuous Dynamics -- Discrete Dynamics -- Hybrid Systems -- Composition of State Machines -- Concurrent Models of Computation -- II. Design of Embedded Systems -- Sensors and Actuators -- Embedded Processors -- Memory Architectures -- Input and Output -- Multitasking -- Scheduling -- III. Analysis and Verification -- Invariants and Temporal Logic -- Equivalence and Refinement -- Reachability Analysis and Model Checking -- Quantitative Analysis -- Security and Privacy -- IV. Appendices -- Sets and Functions -- Complexity and Computability."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/811129341> ;
   schema:inLanguage "en" ;
   schema:name "Introduction to embedded systems : a cyber-physical systems approach"@en ;
   schema:productID "959263343" ;
   schema:workExample <http://worldcat.org/isbn/9780262533812> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/959263343> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/811129341#Person/lee_edward_a_1957> # Edward A. Lee
    a schema:Person ;
   schema:birthDate "1957" ;
   schema:familyName "Lee" ;
   schema:givenName "Edward A." ;
   schema:name "Edward A. Lee" ;
    .

<http://experiment.worldcat.org/entity/work/data/811129341#Person/seshia_sanjit_a> # Sanjit A. Seshia
    a schema:Person ;
   schema:familyName "Seshia" ;
   schema:givenName "Sanjit A." ;
   schema:name "Sanjit A. Seshia" ;
    .

<http://experiment.worldcat.org/entity/work/data/811129341#Topic/embedded_computer_systems> # Embedded computer systems
    a schema:Intangible ;
   schema:name "Embedded computer systems"@en ;
    .

<http://worldcat.org/isbn/9780262533812>
    a schema:ProductModel ;
   schema:isbn "0262533812" ;
   schema:isbn "9780262533812" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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