01605nam a2200289 a 4500 825765 tz 250817s2017 xxum a00010 eng d 9780262533812 2016039490 PIMLIB TK7895.E42 .L445I Lee, Edward A. 52340 Introduction to embedded systems : a cyber-physical systems approach / Edward A. Lee and Sanjit Arunkumar Seshia. 2nd ed. Cambridge : MIT Press, c2017. 52341 537 p. : ill. ; 24 cm. New Arrivals-Aug.2017 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. Embedded computer systems. 47101 0025 วิศวกรรมศาสตรบัณฑิต สาขาวิชาวิศวกรรมหุ่นยนต์และระบบอัตโนมัติ RAE (ป.ตรี) 47392 Seshia, Sanjit A. 52342 BK 825765 siriporn 825765 825765 0 0 lcc 0 0 BKE PIMLIB PIMLIB GEN-EN 2017-08-25 2250.00 0130000039655 14 1 1 TK7895.E42 .L445I c2017 32550000500291 2023-05-09 2250.00 2023-05-09 BK