About this book
Overview
"This book will be the first to bridge the gap between the field of formal methods and safety-critical control in cyber-physical systems"--
Skip to product information
Formal Methods for Multi-Agent Feedback Control Systems (Cyber Physical Systems Series)
$67.96
Sale price
$67.96
Regular price
Retail price
$90.00
Author: Lars Lindemann, Dimos V. Dimarogonas
Publisher: The MIT Press
Genre: Science
Format: Paperback
Shop with confidence
Free contiguous U.S. shipping
Delivery within 3-5 business days. Additional rates apply to Alaska, Hawaii, and U.S. territories.
30-day returns
Return eligible items within 30 days.
Friendly customer service
Questions about a book or order? Contact us and we will be happy to help.
Book details
Book Information
- Title
- Formal Methods for Multi-Agent Feedback Control Systems (Cyber Physical Systems Series)
- Condition
- Used - Like New
- Publisher
- The MIT Press
- Cover
- Paperback
- Dimensions
- H 229 millimeters / W 152 millimeters / T 21 millimeters
- Pages
- 281
- Language
- English
- Identifiers
- ISBN: 0262049716
Category Details
- Audience
- General/trade
- Browse Topics
- Multiagent systemsFormal methods (Computer science)
- Sales Rank
- 3064655
You may also like
Like New
Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series)
Retail price: $60.00
Cover: Hardcover
Published: 2021
Good
Artificial Unintelligence: How Computers Misunderstand the World (Mit Press)
Retail price: $15.95
Cover: Paperback
Published: 2019
2 conditions available
An Introduction to Real-Time Computing for Mechanical Engineers: A Lab-Based Approach
Retail price: $75.00
Cover: Paperback
Published: 2024
Available
How AI Works: From Sorcery to Science
Retail price: $29.99
Cover: Paperback
Published: 2024