Research Catalog
Introduction to embedded systems : a cyber-physical systems approach
- Title
- Introduction to embedded systems : a cyber-physical systems approach / Edward A. Lee and Sanjit Arunkumar Seshia.
- Author
- Lee, Edward A., 1957-
- Publication
- Cambridge, Massachuetts : MIT Press, [2017]
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Book/Text | Request in advance | TK7895.E42 L445 2017 | Off-site |
Holdings
Details
- Additional Authors
- Seshia, Sanjit A
- Description
- xxii, 537 pages; 24 cm
- Subject
- Embedded computer systems
- Bibliography (note)
- Includes bibliographical references (pages 499-514) and index.
- 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.
- ISBN
- 9780262533812 (pbk. : alk. paper)
- 0262533812 (pbk. : alk. paper)
- LCCN
- 2016039490
- 99972114235
- OCLC
- ocn959263343
- 959263343
- SCSB-8797904
- Owning Institutions
- Columbia University Libraries