Importe total (1 artículo artículos):
Destino del pedido:
9780262049719 - Formal Methods for Multi-Agent Feedback Control Systems (Cyber Physical Systems Series) de Lindemann, Lars; Dimarogonas, Dimos V. (29 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (29)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Condición Más información
- Nuevo (26)
- Como nuevo, Excelente o Muy bueno (2)
- Bueno o Aceptable (1)
- Regular o Pobre (No hay ningún otro resultado que coincida con este filtro.)
- Tal como se indica (No hay ningún otro resultado que coincida con este filtro.)
Encuadernación
- Todas
- Tapa dura (No hay ningún otro resultado que coincida con este filtro.)
- Tapa blanda (29)
Más atributos
- Primera edición (No hay ningún otro resultado que coincida con este filtro.)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (No hay ningún otro resultado que coincida con este filtro.)
- Con imágenes (11)
- No impresión bajo demanda (29)
Idioma (1)
Precio
- Cualquier precio
- Menos de EUR 20 (No hay ningún otro resultado que coincida con este filtro.)
- EUR 20 a EUR 45 (No hay ningún otro resultado que coincida con este filtro.)
- Más de EUR 45
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Formal Methods for Multi-Agent Feedback Control Systems (Cyber Physical Systems Series)
Librería: Books From California, Simi Valley, CA, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 65,33
Envío por EUR 4,34
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: Very Good. Cover and edges may have some wear.
-
Formal Methods for Multi-Agent Feedback Control Systems
Idioma: Inglés
Publicado por The MIT Press Bookstore, 2025
ISBN 10: 0262049716 ISBN 13: 9780262049719
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 68,91
Envío por EUR 3,47
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 3 disponibles
Añadir al carritoCondición: New.
-
Formal Methods for Multi-Agent Feedback Control Systems
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 83,18
Envío por EUR 4,79
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 3 disponibles
Añadir al carritoPAP. Condición: New. New Book. Shipped from UK. Established seller since 2000.
-
Formal Methods for Multi-Agent Feedback Control Systems
Idioma: Inglés
Publicado por The MIT Press Bookstore, 2025
ISBN 10: 0262049716 ISBN 13: 9780262049719
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 77,36
Envío por EUR 9,95
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 3 disponibles
Añadir al carritoCondición: New.
-
Formal Methods for Multi-agent Feedback Control Systems
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 88,23
Envío por EUR 2,30
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 3 disponibles
Añadir al carritoCondición: New.
-
Formal Methods for Multi-Agent Feedback Control Systems
Idioma: Inglés
Publicado por The MIT Press Bookstore, 2025
ISBN 10: 0262049716 ISBN 13: 9780262049719
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 84,17
Envío por EUR 7,49
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New.
-
FORMAL METHODS FOR MULTIAGENT FEEDBACK C
Librería: Speedyhen LLC, Hialeah, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 92,63
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 6 disponibles
Añadir al carritoCondición: NEW.
-
Formal Methods for Multi-agent Feedback Control Systems
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 79,51
Envío por EUR 14,40
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Brand New. 328 pages. 9.00x6.00x9.00 inches. In Stock.
-
Formal Methods for Multi-Agent Feedback Control Systems
Librería: Rarewaves USA, OSWEGO, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 95,75
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New.
-
Formal Methods for Multi-Agent Feedback Control Systems (Paperback)
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 96,11
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. An introduction to formal methods for feedback control of multi-agent systems with safety and performance guarantees.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. "This book will be the first to bridge the gap between the field of formal methods and safety-critical control in cyber-physical systems"-- Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Formal Methods for Multi-agent Feedback Control Systems
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 94,13
Envío por EUR 2,30
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 3 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Formal Methods for Multi-Agent Feedback Control Systems (Cyber Physical Systems)
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 79,96
Envío por EUR 17,84
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: New.
-
Formal Methods for Multi-agent Feedback Control Systems
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 82,90
Envío por EUR 17,28
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoCondición: New.
-
Formal Methods for Multi-Agent Feedback Control Systems
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 104,79
Gastos de envío gratis
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: New.
-
Formal Methods For Multi-Agent
Librería: Brook Bookstore On Demand, Napoli, NA, Italia
Calificación del vendedor: 4 de 5 estrellas
EUR 95,17
Envío por EUR 5,50
Se envía de Italia a Estados Unidos de AmericaCantidad disponible: 3 disponibles
Añadir al carritoCondición: new.
-
Formal Methods for Multi-Agent Feedback Control Systems
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
EUR 91,78
Envío por EUR 10,50
Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoCondición: New. 2025. Paperback. . . . . .
-
Formal Methods for Multi-Agent Feedback Control Systems (Cyber Physical Systems Series)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 90,84
Envío por EUR 13,80
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 3 disponibles
Añadir al carritoCondición: New. In.
-
Formal Methods for Multi-Agent Feedback Control Systems (Cyber Physical Systems)
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 87,32
Envío por EUR 17,84
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 3 disponibles
Añadir al carritopaperback. Condición: New.
-
Formal Methods for Multi-agent Feedback Control Systems
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 95,28
Envío por EUR 17,28
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Formal Methods for Multi-Agent Feedback Control Systems
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 95,25
Envío por EUR 18,44
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoPaperback / softback. Condición: New. New copy - Usually dispatched within 4 working days.
-
FORMAL METHODS FOR MULTIAGENT FEEDBACK C
Librería: Speedyhen, Hertfordshire, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 71,93
Envío por EUR 47,23
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 3 disponibles
Añadir al carritoCondición: NEW.
-
Formal Methods for Multi-Agent Feedback Control Systems
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 117,56
Envío por EUR 9,14
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoCondición: New. 2025. Paperback. . . . . . Books ship from the US and Ireland.
-
Formal Methods for Multi-Agent Feedback Control Systems (Paperback)
Librería: CitiRetail, Stevenage, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 90,16
Envío por EUR 42,62
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. An introduction to formal methods for feedback control of multi-agent systems with safety and performance guarantees.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. "This book will be the first to bridge the gap between the field of formal methods and safety-critical control in cyber-physical systems"-- Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
-
Formal Methods for Multi-Agent Feedback Control Systems
Librería: Rarewaves USA United, OSWEGO, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 96,24
Envío por EUR 43,51
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New.
-
Formal Methods for Multi-Agent Feedback Control Systems
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 98,01
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoCondición: New. 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 t.
-
Formal Methods for Multi-Agent Feedback Control Systems
Librería: Rarewaves.com UK, London, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 96,47
Envío por EUR 74,88
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: New.
-
Formal Methods for Multi-Agent Feedback Control Systems (Paperback)
Librería: AussieBookSeller, Truganina, VIC, Australia
Calificación del vendedor: 5 de 5 estrellas
EUR 138,61
Envío por EUR 32,20
Se envía de Australia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. An introduction to formal methods for feedback control of multi-agent systems with safety and performance guarantees.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. "This book will be the first to bridge the gap between the field of formal methods and safety-critical control in cyber-physical systems"-- Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
-
Formal Methods for Multi-Agent Feedback Control Systems
Idioma: Inglés
Publicado por MIT Press Ltd Apr 2025, 2025
ISBN 10: 0262049716 ISBN 13: 9780262049719
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 107,53
Envío por EUR 61,88
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Neuware - 'This book will be the first to bridge the gap between the field of formal methods and safety-critical control in cyber-physical systems'--.
-
Formal Methods for Multi-Agent Feedback Control Systems
Librería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 108,95
Envío por EUR 70,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Formal Methods for Multi-Agent Feedback Control Systems | Dimos V. Dimarogonas (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2025 | MIT Press Ltd | EAN 9780262049719 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu.
