Formal Verification of Control System Software

(Hardback)

Publishing Details

Classifications

Physical Properties

Description

An essential introduction to the analysis and verification of control system software The 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

Reviews

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. Garoches 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

Author Bio

Pierre-Loc Garoche is senior research scientist at ONERA, Frances national aerospace research center.