Formal Verification of Control System Software
()
About this ebook
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 book, Pierre-Loïc Garoche provides control engineers and computer scientists with an indispensable introduction to the formal techniques for analyzing and verifying this important class of software.
Too often, control engineers are unaware of the issues surrounding the verification of software, while computer scientists tend to be unfamiliar with the specificities of controller software. Garoche provides a unified approach that is geared to graduate students in both fields, covering formal verification methods as well as the design and verification of controllers. He presents a wealth of new verification techniques for performing exhaustive analysis of controller software. These include new means to compute nonlinear invariants, the use of convex optimization tools, and methods for dealing with numerical imprecisions such as floating point computations occurring in the analyzed software.
As the autonomy of critical systems continues to increase—as evidenced by autonomous cars, drones, and satellites and landers—the numerical functions in these systems are growing ever more advanced. The techniques presented here are essential to support the formal analysis of the controller software being used in these new and emerging technologies.
Read more from Pierre Loïc Garoche
Princeton Series in Applied Mathematics
Related to Formal Verification of Control System Software
Titles in the series (33)
Selfsimilar Processes Rating: 4 out of 5 stars4/5Positive Definite Matrices Rating: 5 out of 5 stars5/5Control Theoretic Splines: Optimal Control, Statistics, and Path Planning Rating: 5 out of 5 stars5/5Thermodynamics: A Dynamical Systems Approach Rating: 5 out of 5 stars5/5Self-Regularity: A New Paradigm for Primal-Dual Interior-Point Algorithms Rating: 5 out of 5 stars5/5Distributed Control of Robotic Networks: A Mathematical Approach to Motion Coordination Algorithms Rating: 5 out of 5 stars5/5Wave Scattering by Time-Dependent Perturbations: An Introduction Rating: 5 out of 5 stars5/5Matrix Completions, Moments, and Sums of Hermitian Squares Rating: 5 out of 5 stars5/5Totally Nonnegative Matrices Rating: 5 out of 5 stars5/5Stability and Control of Large-Scale Dynamical Systems: A Vector Dissipative Systems Approach Rating: 3 out of 5 stars3/5Modern Anti-windup Synthesis: Control Augmentation for Actuator Saturation Rating: 5 out of 5 stars5/5Robust Optimization Rating: 5 out of 5 stars5/5Graph Theoretic Methods in Multiagent Networks Rating: 5 out of 5 stars5/5Algebraic Curves over a Finite Field Rating: 5 out of 5 stars5/5Matrices, Moments and Quadrature with Applications Rating: 5 out of 5 stars5/5Mathematical Analysis of Deterministic and Stochastic Problems in Complex Media Electromagnetics Rating: 5 out of 5 stars5/5Hidden Markov Processes: Theory and Applications to Biology Rating: 5 out of 5 stars5/5Entropy Rating: 5 out of 5 stars5/5The Traveling Salesman Problem: A Computational Study Rating: 5 out of 5 stars5/5Topics in Quaternion Linear Algebra Rating: 5 out of 5 stars5/5Impulsive and Hybrid Dynamical Systems: Stability, Dissipativity, and Control Rating: 5 out of 5 stars5/5Genomic Signal Processing Rating: 5 out of 5 stars5/5Mathematical Methods in Elasticity Imaging Rating: 0 out of 5 stars0 ratingsAnalytic Theory of Global Bifurcation: An Introduction Rating: 0 out of 5 stars0 ratingsAuxiliary Signal Design for Failure Detection Rating: 0 out of 5 stars0 ratingsStatistical Inference via Convex Optimization Rating: 0 out of 5 stars0 ratingsFormal Verification of Control System Software Rating: 0 out of 5 stars0 ratingsRays, Waves, and Scattering: Topics in Classical Mathematical Physics Rating: 0 out of 5 stars0 ratings
Related ebooks
Power Systems Engineering and Mathematics: International Series of Monographs in Electrical Engineering Rating: 3 out of 5 stars3/5Stability and Control of Aircraft Systems: Introduction to Classical Feedback Control Rating: 0 out of 5 stars0 ratingsCharging Communication Networks: From Theory to Practice Rating: 0 out of 5 stars0 ratingsThe Thermoeconomics of Energy Conversions Rating: 5 out of 5 stars5/5Industrial Strength Parallel Computing Rating: 0 out of 5 stars0 ratingsIntroduction to Sensitivity and Stability Analysis in Nonlinear Programming Rating: 0 out of 5 stars0 ratingsAnalog and Hybrid Computing: The Commonwealth and International Library: Electrical Engineering Division Rating: 1 out of 5 stars1/5Modern Control Engineering: Pergamon Unified Engineering Series Rating: 4 out of 5 stars4/5Techniques for Adaptive Control Rating: 0 out of 5 stars0 ratingsFundamental Process Control: Butterworths Series in Chemical Engineering Rating: 0 out of 5 stars0 ratingsControl and Optimal Control Theories with Applications Rating: 0 out of 5 stars0 ratingsIndustrial Controls and Manufacturing Rating: 0 out of 5 stars0 ratingsRobotics: Designing the Mechanisms for Automated Machinery Rating: 4 out of 5 stars4/5FSM-based Digital Design using Verilog HDL Rating: 0 out of 5 stars0 ratingsVector-Valued Optimization Problems in Control Theory Rating: 0 out of 5 stars0 ratingsDynamic Programming and Stochastic Control Rating: 3 out of 5 stars3/5UML 2 Semantics and Applications Rating: 0 out of 5 stars0 ratingsMultisensor Instrumentation 6σ Design: Defined Accuracy Computer-Integrated Measurement Systems Rating: 0 out of 5 stars0 ratingsStochastic Models: Estimation and Control: v. 2 Rating: 0 out of 5 stars0 ratingsIndustrial Process Control: Advances and Applications Rating: 2 out of 5 stars2/5Parallel Computing on Heterogeneous Networks Rating: 0 out of 5 stars0 ratingsControl Theoretic Splines: Optimal Control, Statistics, and Path Planning Rating: 5 out of 5 stars5/5Robust Industrial Control Systems: Optimal Design Approach for Polynomial Systems Rating: 0 out of 5 stars0 ratingsSystems Engineering in Wireless Communications Rating: 0 out of 5 stars0 ratingsTheory and Application of Statistical Energy Analysis Rating: 0 out of 5 stars0 ratingsStochastic Models, Estimation, and Control Rating: 0 out of 5 stars0 ratingsIntroduction to Discrete Linear Controls: Theory and Application Rating: 0 out of 5 stars0 ratingsThe Architecture of Supercomputers: Titan, a Case Study Rating: 0 out of 5 stars0 ratingsData Engineering: Fuzzy Mathematics in Systems Theory and Data Analysis Rating: 0 out of 5 stars0 ratingsIntelligent Wearable Interfaces Rating: 0 out of 5 stars0 ratings
Mathematics For You
Algebra - The Very Basics Rating: 5 out of 5 stars5/5Basic Math Notes Rating: 5 out of 5 stars5/5Geometry For Dummies Rating: 5 out of 5 stars5/5Basic Math & Pre-Algebra For Dummies Rating: 4 out of 5 stars4/5Algebra I Workbook For Dummies Rating: 3 out of 5 stars3/5Game Theory: A Simple Introduction Rating: 4 out of 5 stars4/5Quantum Physics for Beginners Rating: 4 out of 5 stars4/5The Everything Everyday Math Book: From Tipping to Taxes, All the Real-World, Everyday Math Skills You Need Rating: 5 out of 5 stars5/5Mental Math Secrets - How To Be a Human Calculator Rating: 5 out of 5 stars5/5My Best Mathematical and Logic Puzzles Rating: 5 out of 5 stars5/5Calculus For Dummies Rating: 4 out of 5 stars4/5Introducing Game Theory: A Graphic Guide Rating: 4 out of 5 stars4/5ACT Math & Science Prep: Includes 500+ Practice Questions Rating: 3 out of 5 stars3/5The Everything Guide to Algebra: A Step-by-Step Guide to the Basics of Algebra - in Plain English! Rating: 4 out of 5 stars4/5The Elements of Euclid for the Use of Schools and Colleges (Illustrated) Rating: 0 out of 5 stars0 ratingsThe Golden Ratio: The Divine Beauty of Mathematics Rating: 5 out of 5 stars5/5See Ya Later Calculator: Simple Math Tricks You Can Do in Your Head Rating: 4 out of 5 stars4/5Calculus Made Easy Rating: 4 out of 5 stars4/5Is God a Mathematician? Rating: 4 out of 5 stars4/5The Thirteen Books of the Elements, Vol. 1 Rating: 0 out of 5 stars0 ratingsThe Little Book of Mathematical Principles, Theories & Things Rating: 3 out of 5 stars3/5A Mind for Numbers | Summary Rating: 4 out of 5 stars4/5GED® Math Test Tutor, 2nd Edition Rating: 0 out of 5 stars0 ratingsLogicomix: An epic search for truth Rating: 4 out of 5 stars4/5Algebra I For Dummies Rating: 4 out of 5 stars4/5
Reviews for Formal Verification of Control System Software
0 ratings0 reviews