Lars Lindemann, Dimos V. Dimarogonas

Broschiertes Buch

Formal Methods for Multi-Agent Feedback Control Systems

Beschreibung

"This book will be the first to bridge the gap between the field of formal methods and safety-critical control in cyber-physical systems"--

Autor

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.

Produktdetails

• Verlag: MIT Press Ltd
• Seitenzahl: 328
• Erscheinungstermin: 29. April 2025
• Englisch
• Abmessung: 226mm x 150mm x 23mm
• Gewicht: 384g
• ISBN-13: 9780262049719
• ISBN-10: 0262049716
• Artikelnr.: 72177302