TY  - BOOK
AU  - Lee,Edward A.
AU  - Seshia,Sanjit A.
TI  - Introduction to embedded systems: a cyber-physical systems approach 
SN  - 9780262533812
AV  - TK7895.E42 .L445I
PY  - 2017///
CY  - Cambridge
PB  - MIT Press
KW  - Embedded computer systems
N1  - 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
ER  -