Formal Verification of Control System Software
Pierre-Loïc Garoche
Formal Verification of Control System Software
Pierre-Loïc Garoche
Hardback / gebonden
|
Engels
€ 65,95
- Vanaf €15,- geen verzendkosten.
- 30 dagen ruiltermijn voor fysieke producten
Omschrijving
“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
“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 is senior research scientist at ONERA, France’s national aerospace research center.
“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 is senior research scientist at ONERA, France’s national aerospace research center.