MARC details
| 000 -LEADER |
|---|
| fixed length control field |
02479nam a2200241Ia 4500 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
NULRC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250520102844.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
250520s9999 xx 000 0 und d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9780262533812 |
| 040 ## - CATALOGING SOURCE |
|---|
| Transcribing agency |
NULRC |
| 050 ## - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
TK 7895.E42 .L44 2017 |
| 100 ## - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Lee, Edward Ashford |
| Relator term |
author |
| 245 #0 - TITLE STATEMENT |
|---|
| Title |
Introduction to embedded systems : |
| Remainder of title |
a cyber-physical systems approach / |
| Statement of responsibility, etc. |
Edward A. Lee and Sanjit A. Seshia |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. |
|---|
| Place of publication, distribution, etc. |
Cambridge, Massachusetts : |
| Name of publisher, distributor, etc. |
The MIT Press, |
| Date of publication, distribution, etc. |
c2017 |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
xxii, 537 pages : |
| Other physical details |
illustrations ; |
| Dimensions |
24 cm. |
| 365 ## - TRADE PRICE |
|---|
| Price amount |
PHP2603.06 |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc. note |
Includes bibliographical references and index. |
| 505 ## - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
1. Introduction -- I. Modeling dynamic behaviors -- 2. Continuous dynamics -- 3. Discrete dynamics -- 4. Hybrid systems -- 5. Composition of state machines -- 6. Concurrent models of computation -- II. Design of embedded systems -- 7. Sensors and actuators -- 8. Embedded processors -- 9. Memory architectures -- 10. Input and output -- 11. Multitasking -- 12. Scheduling -- III. Analysis and verification -- 13. Invariants and temporal logic -- 14. Equivalence and refinement -- 15. Reachability analysis and model checking -- 16. Quantitative analysis -- 17. Security and privacy -- IV. Appendices -- A. Sets and functions -- B. Complexity and computability. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
The most visible use of computers and software is processing information for human consumption. The vast majority of computers in use, however, are much less visible. They run the engine, brakes, seatbelts, airbag, and audio system in your car. They digitally encode your voice and construct a radio signal to send it from your cell phone to a base station. They command robots on a factory floor, power generation in a power plant, processes in a chemical plant, and traffic lights in a city. These less visible computers are called embedded systems, and the software they run is called embedded software. The principal challenges in designing and analyzing embedded systems stem from their interaction with physical processes. This book takes a cyber-physical approach to embedded systems, introducing the engineering concepts underlying embedded systems as a technology and as a subject of study. The focus is on modeling, design, and analysis of cyber-physical systems, which integrate computation, networking, and physical processes. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
EMBEDDED COMPUTER SYSTEMS |
| 700 ## - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Seshia, Sanjit Arunkumar |
| Relator term |
co-author |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
Library of Congress Classification |
| Koha item type |
Books |
