MIT Press Ltd
Formal Methods for Multi-Agent Feedback Control Systems - Dimos V. Dimarogonas, Lars Lindemann
Prodejce
KnihyDobrovsky
- Přes 40 knihkupectví v Česku
- Osobní odběr na prodejně zdarma
- Výborné hodnocení zákazníků na Heurece
Doporučené nabídky
Popis produktu
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... Zobrazit více