Formal Methods for Multi-Agent Feedback Control Systems - Lars Lindemann,Dimos V. Dimarogonas
-20% with code BOOKS
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 |