Formal Methods for Multi-Agent Feedback Control Systems (Cyber Physical Systems Series)
by Lars Lindemann, Dimos V. Dimarogonas
Formal Methods for Multi-Agent Feedback Control Systems explores a rigorous approach to analyzing multi-agent feedback control within cyber-physical systems. Written by Lars Lindemann and Dimos V. Dimarogonas, this volume connects formal methods and control theory for readers interested in advanced engineering, computer science, and mathematical systems research.
About This Book
Formal Methods for Multi-Agent Feedback Control Systems examines the intersection of formal methods, feedback control, and systems involving multiple agents.
The book is part of the Cyber Physical Systems Series, placing its subject within the study of integrated computational and physical systems.
It is authored by Lars Lindemann and Dimos V. Dimarogonas and is intended for readers seeking a rigorous perspective on multi-agent control systems.
Reviews
No reviews yet. Be the first to review this book!