Introduction to embedded systems : a cyber-physical systems approach /
An introduction to the engineering principles of embedded systems, with a focus on modeling, design, and analysis of cyber-physical systems. 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 v...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cambridge, Massachuetts :
MIT Press,
[2017]
|
| Edition: | Second edition. |
| Subjects: | |
| Online Access: | CONNECT |
Table of 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.
