Introduction to embedded systems : a cyber-physical systems approach / Edward Ashford Lee and Sanjit Arunkumar Seshia
Publisher: [New York : Springer, c2011-2015]Edition: Second editionDescription: xxii, 563 pages : illustrationsContent type:- text
- unmediated
- volume
- 9781312427402 [newsprint]
- 006.22 L51 2011-2015
Item type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Reference | College Library Computer Studies | 006.22 L51 2011-2015 (Browse shelf(Opens below)) | Available | 98357 |
Includes appendices, bibliographical references and index
1 Modeling dynamic behaviors -- 2 Continuous dynamics -- 3 Discrete dynamics -- 4 Hybrid systems -- 5 Composition of state machines -- 6 Concurrent models of computation -- 7 Sensors and actuators -- 8 Embedded processors -- 9 Memory architectures -- 10 Input and output -- 11 Multitasking -- 12 Scheduling -- 13 Invariants and temporal logic -- 14 Equivalent and refinement -- 15 Reachability analysis and model checking -- 16 Quantitative analysis -- 17 Security and privacy
English
There are no comments on this title.