Formal Methods for Multi-Agent Feedback Control Systems
$247.30
- Paperback
328 pages
- Release Date
26 May 2025
Summary
Control the Swarm: Formal Methods for Multi-Agent Systems
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 for…
Book Details
| ISBN-13: | 9780262049719 |
|---|---|
| ISBN-10: | 0262049716 |
| Series: | Cyber Physical Systems Series |
| Author: | Lars Lindemann, Dimos V. Dimarogonas |
| Publisher: | MIT Press Ltd |
| Imprint: | MIT Press |
| Format: | Paperback |
| Number of Pages: | 328 |
| Release Date: | 26 May 2025 |
| Weight: | 567g |
| Dimensions: | 229mm x 152mm |
You Can Find This Book In
About The Author
Lars Lindemann
Lars Lindemann is Assistant Professor in the Thomas Lord Department of Computer Science within the School of Advanced Computing at the University of Southern California.
Dimos V. Dimarogonas is Professor of Automatic Control and Head of Division at the Division of Decision and Control Systems within the School of Electrical Engineering and Computer Science at KTH Royal Institute of Technology.
Returns
This item is eligible for free returns within 30 days of delivery. See our returns policy for further details.