skip to content
Formal verification of control system software Preview this item
ClosePreview this item
Checking...

Formal verification of control system software

Author: Pierre-Loïc Garoche
Publisher: Princeton, New Jersey : Princeton University Press, [2019]
Series: Princeton series in applied mathematics.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
An essential introduction to the analysis and verification of control systems softwareThe verification of control systems 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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version :
(OCoLC)1059270929
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Pierre-Loïc Garoche
ISBN: 9780691189581 0691189587
OCLC Number: 1085493238
Description: 1 online resource.
Series Title: Princeton series in applied mathematics.
Responsibility: Pierre-Loïc Garoche.

Abstract:

An essential introduction to the analysis and verification of control systems softwareThe verification of control systems 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 especially 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 these systems continues to increase--such as in autonomous cars, drones, and satellites and landers--the numerical functions in critical 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.

Reviews

Editorial reviews

Publisher Synopsis

"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 Read more...

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/1085493238> # Formal verification of control system software
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
    library:oclcnum "1085493238" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nju> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/8914493799#Topic/automatic_control> ; # Automatic control
    schema:about <http://experiment.worldcat.org/entity/work/data/8914493799#Topic/computer_software> ; # Computer software
    schema:about <http://experiment.worldcat.org/entity/work/data/8914493799#Topic/mathematics_applied> ; # MATHEMATICS / Applied
    schema:about <http://experiment.worldcat.org/entity/work/data/8914493799#Topic/technology_&_engineering_engineering_general> ; # TECHNOLOGY & ENGINEERING / Engineering (General)
    schema:about <http://dewey.info/class/629.8/e23/> ;
    schema:author <http://experiment.worldcat.org/entity/work/data/8914493799#Person/garoche_pierre_loic_1982> ; # Pierre-Loïc Garoche
    schema:bookFormat schema:EBook ;
    schema:datePublished "2019" ;
    schema:description "An essential introduction to the analysis and verification of control systems softwareThe verification of control systems 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 especially 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 these systems continues to increase--such as in autonomous cars, drones, and satellites and landers--the numerical functions in critical 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."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/8914493799> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/8914493799#Series/princeton_series_in_applied_mathematics> ; # Princeton series in applied mathematics.
    schema:isSimilarTo <http://www.worldcat.org/oclc/1059270929> ;
    schema:name "Formal verification of control system software"@en ;
    schema:productID "1085493238" ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=1941226> ;
    schema:url <http://www.jstor.org/stable/10.2307/j.ctv80cd4v> ;
    schema:url <https://doi.org/10.1515/9780691189581> ;
    schema:url <https://www.degruyter.com/doc/cover/9780691189581.jpg> ;
    schema:url <http://public.ebookcentral.proquest.com/choice/publicfullrecord.aspx?p=5695063> ;
    schema:workExample <http://worldcat.org/isbn/9780691189581> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1085493238> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/8914493799#Person/garoche_pierre_loic_1982> # Pierre-Loïc Garoche
    a schema:Person ;
    schema:birthDate "1982" ;
    schema:familyName "Garoche" ;
    schema:givenName "Pierre-Loïc" ;
    schema:name "Pierre-Loïc Garoche" ;
    .

<http://experiment.worldcat.org/entity/work/data/8914493799#Series/princeton_series_in_applied_mathematics> # Princeton series in applied mathematics.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1085493238> ; # Formal verification of control system software
    schema:name "Princeton series in applied mathematics." ;
    schema:name "Princeton series in applied mathematics" ;
    .

<http://experiment.worldcat.org/entity/work/data/8914493799#Topic/automatic_control> # Automatic control
    a schema:Intangible ;
    schema:name "Automatic control"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/8914493799#Topic/computer_software> # Computer software
    a schema:Intangible ;
    schema:name "Computer software"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/8914493799#Topic/mathematics_applied> # MATHEMATICS / Applied
    a schema:Intangible ;
    schema:name "MATHEMATICS / Applied"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/8914493799#Topic/technology_&_engineering_engineering_general> # TECHNOLOGY & ENGINEERING / Engineering (General)
    a schema:Intangible ;
    schema:name "TECHNOLOGY & ENGINEERING / Engineering (General)"@en ;
    .

<http://worldcat.org/isbn/9780691189581>
    a schema:ProductModel ;
    schema:isbn "0691189587" ;
    schema:isbn "9780691189581" ;
    .

<http://www.worldcat.org/oclc/1059270929>
    a schema:CreativeWork ;
    schema:description "Print version :" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1085493238> ; # Formal verification of control system software
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.