Formal Verification of Control System Software

Author:   Pierre-Loic Garoche
Publisher:   Princeton University Press
Volume:   58
ISBN:  

9780691181301


Pages:   224
Publication Date:   14 May 2019
Format:   Hardback
Availability:   Not yet available   Availability explained
This item is yet to be released. You can pre-order this item and we will dispatch it to you upon its release.

Our Price $111.26 Quantity:  
Add to Cart

Share |

Formal Verification of Control System Software


Add your own review!

Overview

Full Product Details

Author:   Pierre-Loic Garoche
Publisher:   Princeton University Press
Imprint:   Princeton University Press
Volume:   58
ISBN:  

9780691181301


ISBN 10:   0691181306
Pages:   224
Publication Date:   14 May 2019
Audience:   College/higher education ,  Professional and scholarly ,  Tertiary & Higher Education ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Active
Availability:   Not yet available   Availability explained
This item is yet to be released. You can pre-order this item and we will dispatch it to you upon its release.
Language:   English

Table of Contents

Reviews

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


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


Author Information

Pierre-Lo c Garoche is senior research scientist at ONERA, France's national aerospace research center.

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Mother's Day Reading Guide

 

Flowers in a vase on top of a stack of books on a catalogue cover

Shopping Cart
Your cart is empty
Shopping cart
Mailing List