COMPUTERS / Embedded Computer Systems
Showing results 1-3 of 3
Filter Results OPEN +
Formal Methods for Multi-Agent Feedback Control Systems
Formal Methods for Multi-Agent Feedback Control Systems
ISBN: 9780262049719
Publisher: The MIT Press
Pub Date: April 29, 2025
An introduction to formal methods for feedback control of multi-agent systems with safety and performance guarantees.
An Introduction to Real-Time Computing for Mechanical Engineers
An Introduction to Real-Time Computing for Mechanical Engineers
A Lab-Based Approach
ISBN: 9780262548762
Publisher: The MIT Press
Pub Date: September 3, 2024
A comprehensive introduction to real-time computing for mechanical engineers and engineering students that integrates theory and application.
Embodied Computing
Wearables, Implantables, Embeddables, Ingestibles
ISBN: 9780262538558
Publisher: The MIT Press
Pub Date: May 5, 2020
Practitioners and scholars explore ethical, social, and conceptual issues arising in relation to such devices as fitness monitors, neural implants, and a toe-controlled computer mouse.

Formal Methods for Multi-Agent Feedback Control Systems
Formal Methods for Multi-Agent Feedback Control Systems
ISBN: 9780262049719
Publisher: The MIT Press
Pub Date: April 29, 2025
An introduction to formal methods for feedback control of multi-agent systems with safety and performance guarantees.
An Introduction to Real-Time Computing for Mechanical Engineers
An Introduction to Real-Time Computing for Mechanical Engineers
A Lab-Based Approach
ISBN: 9780262548762
Publisher: The MIT Press
Pub Date: September 3, 2024
A comprehensive introduction to real-time computing for mechanical engineers and engineering students that integrates theory and application.
Embodied Computing
Wearables, Implantables, Embeddables, Ingestibles
ISBN: 9780262538558
Publisher: The MIT Press
Pub Date: May 5, 2020
Practitioners and scholars explore ethical, social, and conceptual issues arising in relation to such devices as fitness monitors, neural implants, and a toe-controlled computer mouse.