000			02479nam a2200241Ia 4500
003			NULRC
005			20250520102844.0
008			250520s9999 xx 000 0 und d
020			_a9780262533812
040			_cNULRC
050			_aTK 7895.E42 .L44 2017
100			_aLee, Edward Ashford _eauthor
245		0	_aIntroduction to embedded systems : _ba cyber-physical systems approach / _cEdward A. Lee and Sanjit A. Seshia
260			_aCambridge, Massachusetts : _bThe MIT Press, _cc2017
300			_axxii, 537 pages : _billustrations ; _c24 cm.
365			_bPHP2603.06
504			_aIncludes bibliographical references and index.
505			_a1. Introduction -- I. Modeling dynamic behaviors -- 2. Continuous dynamics -- 3. Discrete dynamics -- 4. Hybrid systems -- 5. Composition of state machines -- 6. Concurrent models of computation -- II. Design of embedded systems -- 7. Sensors and actuators -- 8. Embedded processors -- 9. Memory architectures -- 10. Input and output -- 11. Multitasking -- 12. Scheduling -- III. Analysis and verification -- 13. Invariants and temporal logic -- 14. Equivalence and refinement -- 15. Reachability analysis and model checking -- 16. Quantitative analysis -- 17. Security and privacy -- IV. Appendices -- A. Sets and functions -- B. Complexity and computability.
520			_aThe most visible use of computers and software is processing information for human consumption. The vast majority of computers in use, however, are much less visible. They run the engine, brakes, seatbelts, airbag, and audio system in your car. They digitally encode your voice and construct a radio signal to send it from your cell phone to a base station. They command robots on a factory floor, power generation in a power plant, processes in a chemical plant, and traffic lights in a city. These less visible computers are called embedded systems, and the software they run is called embedded software. The principal challenges in designing and analyzing embedded systems stem from their interaction with physical processes. This book takes a cyber-physical approach to embedded systems, introducing the engineering concepts underlying embedded systems as a technology and as a subject of study. The focus is on modeling, design, and analysis of cyber-physical systems, which integrate computation, networking, and physical processes.
650			_aEMBEDDED COMPUTER SYSTEMS
700			_aSeshia, Sanjit Arunkumar _eco-author
942			_2lcc _cBK
999			_c17098 _d17098