Fokusthemen
Publikationen
Services
Autorinnen/Autoren
Verlag
Shop
LEXIA
Zeitschriften
SachbuchLOKISemaphor
Logo
DE | FR
cover
Formal Methods for Multi-Agent Feedback Control Systems

Formal Methods for Multi-Agent Feedback Control Systems

Buch (broschiert)ca. 125.00 CHF
erhältlich ab April 2025

Inhalt

"This book will be the first to bridge the gap between the field of formal methods and safety-critical control in cyber-physical systems"--

Bibliografische Angaben

April 2025, Englisch
MIT Press
978-0-262-04971-9

Schlagworte

Weitere Titel zum Thema

Allegorithmic
The Company That Brought Substance to the World of 3D
Taylor and Francis, 2025
978-1-032-87820-1
ca. 225.00 CHF
erhältlich ab Januar 2025
Adaptive Learning Opportunities
Toward a More Personal Education
Taylor and Francis, 2026
978-0-415-82534-4
ca. 46.90 CHF
erhältlich ab Januar 2026
Mechatronische Systeme
Lösungsansätze und - methoden zur Informationsverarbeitung
De Gruyter, 2030
978-3-11-047107-6
ca. 102.00 CHF
erhältlich ab Januar 2030
Tableau at Work
Taylor and Francis, 2025
978-1-032-93418-1
ca. 79.00 CHF
erhältlich ab Mai 2025
Nature-Inspired Computing
Swarm-Intelligence Based Algorithms
Taylor and Francis, 2026
978-1-4822-4484-7
ca. 225.00 CHF
erhältlich ab Januar 2026
How to Build an End to End Business Continuity Program
Taylor and Francis, 2026
978-1-4987-9712-2
ca. 85.00 CHF
erhältlich ab Januar 2026
Study Guide for TOGAF 9.1 Certifications
Taylor and Francis, 2026
978-1-138-19603-2
ca. 105.00 CHF
erhältlich ab Januar 2026
Ethnographic Fieldwork and Digital Culture
A Beginner's Guide
Taylor and Francis, 2026
978-1-138-01412-1
ca. 155.00 CHF
erhältlich ab Januar 2026
Intelligent Data Driven Techniques for Security of Digital Assets
Taylor and Francis, 2030
978-1-032-74488-9
ca. 195.00 CHF
erhältlich ab April 2030
Security, Transportation, and the Supply Chain
Mitigating Threats and Facilitating the Flow of Commerce
Taylor and Francis, 2026
978-1-4665-7815-9
ca. 85.00 CHF
erhältlich ab Januar 2026