Kennen Sie schon unseren Geschäftskundenservice? Wir beraten Sie gerne.
Fokusthemen
Publikationen
Services
Autorinnen/Autoren
Verlag
Shop
LEXIA
Zeitschriften
SachbuchLOKISemaphor
Logo
DE | FR
Formal Methods for Multi-Agent Feedback Control Systems
Formal Methods for Multi-Agent Feedback Control Systems

Formal Methods for Multi-Agent Feedback Control Systems

Buch (broschiert)140.00 CHF
lieferbar in ca. 20-45 Arbeitstagen

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, 312 Seiten, Cyber Physical Systems Series, Englisch
University Presses
978-0-262-04971-9

Inhaltsverzeichnis

Schlagworte

Weitere Titel der Reihe: Cyber Physical Systems Series

Alle anzeigen
Information-Driven Planning and Control
MIT Press, 2021
978-0-262-04542-1
120.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Verifying Cyber-Physical Systems
A Path to Safe Autonomy
MIT Press, 2021
978-0-262-04480-6
95.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Model Checking
University Presses, 2018
978-0-262-03883-6
120.00 CHF
lieferbar in ca. 20-45 Arbeitstagen

Weitere Titel zum Thema

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
Designing Digital Images with Materiality, Energy, and Living Matter
Taylor and Francis, 2026
978-1-138-09608-0
ca. 205.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
The Stack, 10th Anniversary Edition
On Software and Sovereignty
MIT Press, 2026
978-0-262-55391-9
ca. 42.50 CHF
erhältlich ab Februar 2026
Engineering Graphics with SOLIDWORKS 2025
A Step-by-Step Project Based Approach
Taylor and Francis, 2025
978-1-63057-694-3
120.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
The Practical Guide to Digital Transformation
Use Technology to Improve Your Business
Kogan Page, 2026
978-1-3986-2393-4
ca. 159.00 CHF
erhältlich ab März 2026
Personas Across Cultures
Representing the Next Billion Users
Springer Nature EN, 2026
978-3-030-24350-0
ca. 146.00 CHF
erhältlich ab April 2026
Practical PCB Design
Random House N.Y., 2026
978-1-7185-0404-2
ca. 57.90 CHF
erhältlich ab März 2026
Quantum Computing and Machine Learning for 6G
Wiley, 2026
978-1-394-23808-8
ca. 275.00 CHF
erhältlich ab März 2026
Radical Infrastructure
Imagining the Internet from the Ground Up
University Presses, 2026
978-0-520-42585-9
ca. 135.00 CHF
erhältlich ab Januar 2026