Screen LibraryIntroduction 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. |