Download Introduction to Embedded Systems by Edward Ashford Lee, Sanjit Arunkumar Seshia ebook/pdf
Introduction to Embedded Systems- A Cyber-Physical Systems is a book written by Edward Ashford Lee, Sanjit Arunkumar Seshia. and is mainly used by Electrical Engineering stream students of advanced undergraduate level or introductory graduate level for understanding engineering principles of embedded systems.
TABLE OF CONTENTS
- Introduction
- Continuous Dynamics
- Discrete Dynamics
- Hybrid systems
- Composition of State Machines
- Concurrent models of Computation
- Embedded Processors
- Memory Architectures
- Input and Output
- Multitasking
- Scheduling
- Invariants and Temporal Logic
- Equivalence and Refinement
- Reachability Analysis and Model Checking
- Quantitative Analysis
Some other good ebooks/pdfs for Embedded Systems
- Embedded Systems - High Performance Systems, Apps and Projects
- Embedded Systems - Theory and Design Methodology (K. Tanaka)
- First Steps with Embedded Systems (Byte Craft Limited)
- PaulOS: An 8051 Real-Time Operating System (Paul P. Debono)
- Patterns for Time-Triggered Embedded Systems (Michael J. Pont)
- Embedded System Design: A Unified Hardware/Software Approach
- Embedded Software Development with eCos (Anthony J. Massa)
- Programming Embedded Systems using C (Mikael J. Pont)
- Programming Memory-Constrained Networked Embedded Systems
- Real-Time Systems, Architecture, Scheduling, and Application
