Formal Methods for Multi-Agent Feedback Control Systems (Cyber Physical Systems Series)

ISBN-10: 0262049716
ISBN-13: 978-0262049719
Publisher: The MIT Press
Publication date: 29 April 2025

Name: Formal Methods for Multi-Agent Feedback Control Systems (Cyber Physical Systems Series)
SKU: 9780262049719
Availability: InStock

SKU: 9780262049719

Original price was: ₹8,010.00.Current price is: ₹7,209.00.

Explore the cutting-edge of multi-agent systems with “Formal Methods for Multi-Agent Feedback Control Systems” by Lars Lindemann and Dimos Dimarogonas. This essential book from The MIT Press and the Cyber Physical Systems Series introduces formal methods for designing feedback control systems for multiple agents, guaranteeing both safety and performance. Discover how multi-agent systems achieve complex tasks, from drone surveillance to scalable cyber-physical systems. Written for scientists, engineers, and students, it requires no prior formal methods or control theory background. The authors bridge the gap between formal methods and control theory, focusing on scalable and robust algorithms for temporal logic specifications. Perfect for researchers seeking future directions in control and formal methods.

5 in stock

Category: Higher Education Textbooks Tag: Lars Lindemann