Formal Verification of Control System Software

Langue : anglais

Edité par Princeton University Press, US, 2019

0691181306 / 9780691181301

Série : Livre 30 sur 33 - Princeton Series in Applied Mathematics

Vendeur : Rarewaves.com UK, London, Royaume-UniRarewaves.com UK

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 11 juin 2025

Livre relié

Etat: Neuf

EUR 65,68

EUR 77,99 expédition 
Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 4 disponibles

Ajouter au panier
Retours gratuits sous 30 jours

A propos de cet article

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

N° de réf. du vendeur LU-9780691181301

Titre
Formal Verification of Control System Software
Auteur
Pierre-Loïc Garoche
Éditeur
Princeton University Press, US
Année de publication
2019
État de l'article
New
Reliure
Hardback
Langue
anglais
ISBN à 10 chiffres
0691181306
ISBN à 13 chiffres
9780691181301
Poids de l'article
522 grammes
Série
Livre 30 sur 33: Princeton Series in Applied Mathematics

Rarewaves.com UK

London, Royaume-Uni

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 11 juin 2025

Frais d'expédition de Royaume-Uni vers Etats-Unis

Article60 à 60 jours ouvrés60 à 60 jours ouvrés
Premier articleEUR 77,99EUR 119,98
Les délais de livraison sont fixés par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent être retardées et les acheteurs sont responsables de tous les droits ou frais associés. Les vendeurs peuvent vous contacter au sujet de frais supplémentaires afin de couvrir toute augmentation des coûts d'expédition de vos articles.

Modes de paiement

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Profil professionnel du vendeur

RAREWAVES.COM LIMITED

Elsley Court, 20-22 Great Titchfield Street
London, Royaume-Uni W1W 8BE