Custom cover image
Custom cover image

Formal methods for multi-agent feedback control systems / Lars Lindemann and Dimos V. Dimarogonas

By: Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Cyber-physical systems seriesPublisher: Cambridge, Massachusetts : The MIT Press, [2025]Description: 1 Online-RessourceISBN:
  • 0262382806
  • 0262382792
  • 9780262382809
Subject(s): Additional physical formats: 9780262382793. | 9780262049719 | Erscheint auch als: Formal methods for multi-agent feedback control systems. Druck-Ausgabe Cambridge, Massachusetts : The MIT Press, [2025]DDC classification:
  • 006.30285/436 23/eng/20241205
Local classification: Lokale Notation: inf 6.23LOC classification:
  • TJ215.5
Online resources: Summary: "This book will be the first to bridge the gap between the field of formal methods and safety-critical control in cyber-physical systems"--PPN: PPN: 1925743497Package identifier: Produktsigel: ZDB-4-NLEBK
No physical items for this record
KIT – The Research University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT