Formal Methods for Multi-Agent Feedback Control Systems (häftad, eng)
Formal Methods for Multi-Agent Feedback Control Systems (häftad, eng)
Gästpris:
Ditt medlemspris:
808 kr
911 kr
Kampanjpris! (-6%)
Kampanjpris! (-17%)
- Inköpspriser för medlemmar (Logga in)
- Frakt från 0 kr
- 14 dagars öppet köp
Frågor? Starta chatt
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 dronesIn 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 the gap between formal methods and feedback control for the scalable design of cyber-physical systems.
The material covered is intended for scientists, engineers, and students, and no background in formal methods or control theory is required. The authors also highlight future research directions for those working at the intersection of formal methods and control.
In control theory, the goal is to design feedback control laws for dynamical systems that achieve control objectives such as stability or forward invariance of setsFormal methods, on the other hand, provide verification and design techniques for more complex system specifications using temporal logics. However, their high computational cost limits scaling beyond a small number of agents. Besides scalability, another central challenge is to achieve robustness in the system design.
Thus, the authors focus on the design of scalable and robust feedback control algorithms for multi-agent control systems under temporal logic specifications.
Multi-agent control systems can accomplish tasks that single-agent systems cannot address, such as aerial surveillance of large areas by a group of dronesIn 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 the gap between formal methods and feedback control for the scalable design of cyber-physical systems.
The material covered is intended for scientists, engineers, and students, and no background in formal methods or control theory is required. The authors also highlight future research directions for those working at the intersection of formal methods and control.
In control theory, the goal is to design feedback control laws for dynamical systems that achieve control objectives such as stability or forward invariance of setsFormal methods, on the other hand, provide verification and design techniques for more complex system specifications using temporal logics. However, their high computational cost limits scaling beyond a small number of agents. Besides scalability, another central challenge is to achieve robustness in the system design.
Thus, the authors focus on the design of scalable and robust feedback control algorithms for multi-agent control systems under temporal logic specifications.
| Format | Häftad |
| Omfång | 328 sidor |
| Språk | Engelska |
| Förlag | MIT Press Ltd |
| Utgivningsdatum | 2025-04-29 |
| ISBN | 9780262049719 |
Artikelnummer
3623582
EAN
9780262049719
Leverans:
Denna produkt skickas från oss inom 6 - 7 vardagar. I kassan väljer du om du vill få leverans med Budbee, Airmee, Best Transport, Early Bird, Postnord eller DB Schenker. Vissa speditörer har vikt- eller storleksbegränsningar och kan av den anledningen saknas som alternativ i kassan om du handlar många eller väldigt stora produkter.Fri retur:
För medlemmar gäller fri retur och 14 dagars full returrätt från den dagen du tar emot din leverans. För övriga kostar retur från 49 kr.Undantag för retur- och ångerrätt:
Dessa är exempel på varor som inte omfattas av retur- eller ångerrätt. Observera att det kan finnas andra undantag som inte listas här.- Använda, skadade och/eller inkompletta produkter
- Dagligvaror (livsmedel, läkemedel, nikotinprodukter)
- Hygienartiklar & kroppsnära produkter (rakapparater, in ear-hörlurar, aktivitetsklockor)
- Intimprodukter (menskoppar, kondomer och glidmedel)
- Kosmetikprodukter (inkl. hår- och hudvårdsprodukter, parfymer, etc.)
- Underkläder (inkl. badkläder, underställ och strumpor)
- Ljud- & bildupptagningar, spel/program (om förseglingen brutits eller licensnyckeln erhållits.)
- Teknikprodukter om försegling brutits eller programvara har installerats (mobiltelefoner, surfplattor, laptops, etc.)
- Gratisprodukter
Om du är osäker på om en produkt omfattas av ångerrätt kan du alltid kontakta vår kundtjänst på info@buyersclub.se, så hjälper vi dig gärna!
Leveranser:
