20% off all books with the code: BOOKS
Olibro

My Cart

Loading...

Customer Login

Checkout as a new customer

Creating an account has many benefits:

  • See order and shipping status
  • Track order history
  • Check out faster
Create an Account
  • check 10+ million books
  • check New arrivals every day
  • check Trusted by 1M+ customers
  • check Great prices & discounts
  • check Shipping across Europe

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

Lars Lindemann, Dimos V. Dimarogonas

(0)
Write a review
English
2025-04-29
€138.14 €172.68

-20% with code BOOKS

Softcover €172.68 Hardcover
In stock at our supplier

Shipping in 31-37 days

30-day return policy

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

Description

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

More Information

Author Lars Lindemann, Dimos V. Dimarogonas
Publisher MIT Press Ltd
Release year 2025
Cover type Softcover
EAN 9780262049719
Write Your Own Review
You're reviewing: Formal Methods for Multi-Agent Feedback Control Systems
Your Rating:

Goodreads Reviews

€138.14 €172.68