Formal Verification of Control System Software
$145.92
- Hardcover
232 pages
- Release Date
21 July 2019
Summary
An essential introduction to the analysis and verification of control system softwareThe verification of control system software is critical to a host of technologies and industries, from aeronautics and medical technology to the cars we drive. The failure of controller software can cost people their lives. In this authoritative and accessible book, Pierre-Loic Garoche provides control engineers and computer scientists with an indispensable introduction to the formal techniques for analyzi…
Book Details
| ISBN-13: | 9780691181301 |
|---|---|
| ISBN-10: | 0691181306 |
| Author: | Pierre-Loïc Garoche |
| Publisher: | Princeton University Press |
| Imprint: | Princeton University Press |
| Format: | Hardcover |
| Number of Pages: | 232 |
| Release Date: | 21 July 2019 |
| Weight: | 522g |
| Dimensions: | 155mm x 235mm |
| Series: | Princeton Series in Applied Mathematics |
You Can Find This Book In
Critics Review
“Innovative, mathematically exact, and very well written. Garoche is a rare resource, and his book will enrich the knowledge of both the computer-science and control-systems communities.”—Eric Feron, Georgia Institute of Technology
“This book makes a timely contribution at the crossroads of formal computer science, optimization, and control. It should be of interest to computer scientists and control engineers.”—Didier Henrion, LAAS-CNRS Toulouse and Czech Technical University in Prague
“A pleasure to read. Garoche’s excellent and timely book presents state-of-the-art methods building on convex optimization to perform static analysis for control systems and software.”—Taylor Johnson, Vanderbilt University
Pierre-Loïc Garoche
Pierre-Loïc Garoche is senior research scientist at ONERA, France’s national aerospace research center.
Returns
This item is eligible for free returns within 30 days of delivery. See our returns policy for further details.