Introduction to embedded systems : a cyber-physical systems approach /
Saved in:
Main Authors: | |
---|---|
Group Author: | |
Published: |
MIT Press,
|
Publisher Address: | Cambridge, Massachuetts : |
Publication Dates: | [2017] |
Literature type: | Book |
Language: | English |
Edition: | Second edition. |
Subjects: | |
Carrier Form: | xxii, 537 pages : illustrations ; 24 cm |
Bibliography: | Includes bibliographical references (pages [497]-514) and index. |
ISBN: |
9780262533812 0262533812 |
Index Number: | TK7895 |
CLC: | TP302.1 |
Call Number: | TP302.1/L477/2nd ed. |
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. |