Introduction to embedded systems : a cyber-physical systems approach /
Lee, Edward A.
Introduction to embedded systems : a cyber-physical systems approach / Edward A. Lee and Sanjit Arunkumar Seshia. - 2nd ed. - Cambridge : MIT Press, c2017. - 537 p. : ill. ; 24 cm.
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.
9780262533812 2016039490
Embedded computer systems.
TK7895.E42 / .L445I
Introduction to embedded systems : a cyber-physical systems approach / Edward A. Lee and Sanjit Arunkumar Seshia. - 2nd ed. - Cambridge : MIT Press, c2017. - 537 p. : ill. ; 24 cm.
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.
9780262533812 2016039490
Embedded computer systems.
TK7895.E42 / .L445I
