Formal Methods for Multi-Agent Feedback Control Systems

Autor Dimos V. Dimarogonas, Lars Lindemann

Formal Methods for Multi-Agent Feedback Control Systems - Dimos V. Dimarogonas,Lars Lindemann

Formal Methods for Multi-Agent Feedback Control Systems

Autor Dimos V. Dimarogonas, Lars Lindemann

0.0 z 5 hvězdiček 0 hodnocení čtenářů

Kniha ( měkká vazba )

Do košíku

2 805 Kč s DPH
Jsme transparentní

E-shopové listy

Při zaslání zboží balíčkem

K nákupu nad 99 Kč dárek zdarma v hodnotě 19 Kč

E-shopové listy

Vždycky upřímná Jiřina Bohdalová

Při zaslání zboží balíčkem

K nákupu nad 699 Kč dárek zdarma v hodnotě 349 Kč

Vždycky upřímná Jiřina Bohdalová

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 drones. In Formal Methods for Multi-Agent Feedback Control Systems, Lars… Přejít na celý popis

Bryndza Robert / Děs Nová série Roberta Bryndzy začíná v Londýně roku 1987, kde detektiv Jamie Day řeší svůj první případ. V ulicích řádí sériový vrah a mrtvých mladých mužů přibývá. Více informací

K tomuto produktu zákazníci kupují

Popis Hodnocení 0.0 z 5 hvězdiček 0 Vývoj ceny

Popis

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 drones. In 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 sets. Formal 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.

Sdílet

autoři
Dimos V. Dimarogonas | Lars Lindemann
kategorie
Knihy » Cizojazyčná literatura » English literature
Témata
Nakladatel
MIT Press Ltd
Rozměr
229 x 153 x 25
jazyk
angličtina
Vazba
měkká vazba
Hmotnost
384 g
isbn
978-0-262-04971-9
Počet stran
328
datum vydání
29.04.2025
ean
9780262049719

Hodnocení a recenze čtenářů Nápověda

0.0 z 5 0 hodnocení čtenářů

0× 5 hvězdiček 0× 4 hvězdičky 0× 3 hvězdičky 0× 2 hvězdičky 0× 1 hvezdička

Přidejte své hodnocení knihy

Načíst další hodnocení

Zobrazit všechna hodnocení

Přidat hodnocení

Vývoj ceny

Vývoj ceny Nápověda

Získejte přehled o vývoji ceny za posledních 60 dní.

Maloobchodní cena Minimální prodejní cena: 2 805 Kč Nápověda

Články, které stojí za pozornost

Zobrazit blog

Články, které stojí za pozornost