Importe total (1 artículo artículos):
Destino del pedido:
formal methods multi agent feedback de lindemann lars (27 resultados)
Comentarios
Autor :
lindemann lars
,
Título :
formal methods multi agent feedback
Refinar con la Búsqueda avanzada
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (27)
- 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 (24)
- 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 (27)
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 (9)
- No impresión bajo demanda (27)
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
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 64,70
Convertir monedaEUR 9,79 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 3 disponibles
Añadir al carritoCondición: New.
-
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: 5 de 5 estrellas
EUR 63,91
Convertir monedaEUR 12,34 gastos de envío desde Estados Unidos de America a EspañaCantidad 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
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 77,64
Convertir monedaGratis gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Formal Methods for Multi-Agent Feedback Control Systems
Librería: SMASS Sellers, IRVING, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 81,06
Convertir monedaGratis gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
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,49
Convertir monedaEUR 3,99 gastos de envío desde Reino Unido a EspañaCantidad disponible: 4 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
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 79,85
Convertir monedaEUR 10,15 gastos de envío desde Reino Unido a EspañaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New.
-
Formal Methods for Multi-Agent Feedback Control Systems
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 73,44
Convertir monedaEUR 14,50 gastos de envío desde Alemania a EspañaCantidad disponible: 3 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,15
Convertir monedaEUR 11,47 gastos de envío desde Reino Unido a EspañaCantidad 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 (Cyber Physical Systems Series)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 90,23
Convertir monedaEUR 5,15 gastos de envío desde Reino Unido a EspañaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. In.
-
Formal Methods for Multi-agent Feedback Control Systems
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 79,96
Convertir monedaEUR 17,20 gastos de envío desde Reino Unido a EspañaCantidad disponible: 8 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 85,25
Convertir monedaEUR 17,02 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 8 disponibles
Añadir al carritoCondición: New.
-
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 94,67
Convertir monedaEUR 7,76 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback / softback. Condición: New. New copy - Usually dispatched within 4 working days. 526.
-
Formal Methods for Multi-Agent Feedback Control Systems (Cyber Physical Systems)
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 86,93
Convertir monedaEUR 17,19 gastos de envío desde Reino Unido a EspañaCantidad disponible: 4 disponibles
Añadir al carritopaperback. Condición: New.
-
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 103,27
Convertir monedaEUR 3,41 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condició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 103,36
Convertir monedaEUR 2,00 gastos de envío desde Irlanda a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. 2025. Paperback. . . . . .
-
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 104,30
Convertir monedaEUR 3,41 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condició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 93,87
Convertir monedaEUR 17,02 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 8 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
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 109,40
Convertir monedaEUR 2,29 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 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 94,77
Convertir monedaEUR 17,20 gastos de envío desde Reino Unido a EspañaCantidad disponible: 8 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
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 117,56
Convertir monedaEUR 2,29 gastos de envío desde Reino Unido a EspañaCantidad 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
Convertir monedaEUR 19,49 gastos de envío desde Alemania a EspañaCantidad disponible: 4 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 (Paperback)
Librería: CitiRetail, Stevenage, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 88,58
Convertir monedaEUR 34,41 gastos de envío desde Reino Unido a EspañaCantidad 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: Kennys Bookstore, Olney, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 127,09
Convertir monedaEUR 1,87 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: Más de 20 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: AussieBookSeller, Truganina, VIC, Australia
Calificación del vendedor: 5 de 5 estrellas
EUR 100,61
Convertir monedaEUR 31,50 gastos de envío desde Australia a EspañaCantidad 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 (Paperback)
Librería: Grand Eagle Retail, Mason, OH, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 95,65
Convertir monedaEUR 63,85 gastos de envío desde Estados Unidos de America a EspañaCantidad 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 (Cyber Physical Systems Series)
Librería: GoldBooks, Denver, CO, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 169,60
Convertir monedaEUR 26,82 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: new.
-
Formal Methods for Multi-Agent Feedback Control Systems (Cyber Physical Systems Series)
Librería: GoldBooks, Denver, CO, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 308,06
Convertir monedaEUR 26,82 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. New Copy. Customer Service Guaranteed.
