Formal Methods for Multi-Agent Feedback Control Systems

ISBN: 9780262049719
List Price $90.00 Up to % OFF

FREE Ground Shipping in US

Expect Delivery in 4-10 weekdays

Brand New Books

Lock in your price today! Prices tomorrow are NOT GUARANTEED.
$90.00
List Price
Your Price Per Book
Discount
Total for copies: Save

Found a lower price on another site? Request a Price Match

Minimum Order: 25 copies per title

true

Pre-order this book today and they will ship when released on Apr 29th 2025

Select QTYQuantity:
Quantity
Price
Discount

Minimum Order $100 / 25 copies per title, no exceptions

Not ready to place your order?

Prices change daily. Order now!

Need A Quote?  Request a quote

$90.00
SKU:
9780262049719
Minimum Purchase:
25 units
Bulk Pricing:
Buy in bulk and save

Minimum Order: 25 copies per title

true

Pre-order this book today and they will ship when released on Apr 29th 2025

Overview

An introduction to formal methods for feedback control of multi-agent systems with safety and performance guarantees.

Multi-agent control systems can accomplish tasks that single-agent systems cannot address, such as aerial surveillance of large areas by a group of drones. In Formal Methods for Multi-Agent Feedback Control Systems, Lars Lindemann and Dimos Dimarogonas provide an accessible introduction to formal methods for feedback control of multi-agent systems. Their book is the first to bridge the gap between formal methods and feedback control for the scalable design of cyber-physical systems. The material covered is intended for scientists, engineers, and students, and no background in formal methods or control theory is required. The authors also highlight future research directions for those working at the intersection of formal methods and control.

In control theory, the goal is to design feedback control laws for dynamical systems that achieve control objectives such as stability or forward invariance of sets. Formal methods, on the other hand, provide verification and design techniques for more complex system specifications using temporal logics. However, their high computational cost limits scaling beyond a small number of agents. Besides scalability, another central challenge is to achieve robustness in the system design. Thus, the authors focus on the design of scalable and robust feedback control algorithms for multi-agent control systems under temporal logic specifications.

This book title, Formal Methods for Multi-Agent Feedback Control Systems, ISBN: 9780262049719, by Lars Lindemann, Dimos V. Dimarogonas, published by MIT Press (April 29, 2025) is available in paperback. Our minimum order quantity is 25 copies. All standard bulk book orders ship FREE in the continental USA and delivered in 4-10 business days.

Unlike Amazon and other retailers who may also offer Formal Methods for Multi-Agent Feedback Control Systems books on their website, we specialize in large quantities and provide personal service, from trusted, experienced, friendly people in Portland, Oregon. We offer a Price Match Guarantee, and QuickQuote form, to make purchasing quick and easy.

Prefer to work with a human being when you order Formal Methods for Multi-Agent Feedback Control Systems books in bulk? Our Book Specialists are standing by Monday-Friday 8-5 PST, ready to help!

Product Details

Author:
Lars Lindemann, Dimos V. Dimarogonas
Format:
Paperback
Pages:
328
Publisher:
MIT Press (April 29, 2025)
Release Date:
April 29, 2025
Language:
English
Audience:
General/trade
ISBN-13:
9780262049719
ISBN-10:
0262049716
Weight:
20oz
Dimensions:
6" x 9"
File:
RandomHouse-PRH_Book_Company_PRH_PRT_Onix_delta_active_D20250205T020012_150318302-20250205.xml
Folder:
RandomHouse
List Price:
$90.00
Country of Origin:
United States
Pub Discount:
65
Series:
Cyber Physical Systems Series
Case Pack:
12
As low as:
$45.00
Shipping Origin:
Crawfordsville, IN
Publisher Identifier:
P-RH
Discount Code:
A
Imprint:
The MIT Press

Ordering Details

  • Product Availability: Typically, all books are in stock and ready to ship. If a title becomes unavailable unexpectedly, you will be contacted with 24 business hours.
  • Standard Shipping: FREE Shipping via ground transportation within the continental United States.
  • Estimated Delivery: Most orders deliver within 4-10 business days from order date (excluding weekends and holidays). Orders shipping to Alaska or Hawaii should allow a minimum of 3 weeks for delivery.
  • Rush Shipping: Deliver in 5 business days from order date (excluding weekends and holidays).
  • Important Note: Books ship from various warehouses and may receive multiple cartons to fill the complete order. Do not assume your order is shipping from Portland, OR.
  • Payment Terms: Visa, MC, Amex, PayPal, Purchase Orders and P-Cards can be used to purchase online. Check and wire-transfer payments are available offline through Customer Service