Design Verification for Control Engineering

Richard J. Boulton, Hanne Gottliebsen, Ruth Hardy, Tom Kelsey, Ursula Martin

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

We introduce control engineering as a new domain of application for formal methods. We discuss design verification, drawing attention to the role played by diagrammatic evaluation criteria involving numeric plots of a design, such as Nichols and Bode plots. We show that symbolic computation and computational logic can be used to discharge these criteria and provide symbolic, automated, and very general alternatives to these standard numeric tests. We illustrate our work with reference to a standard reference model drawn from military avionics.
Original languageEnglish
Title of host publicationIntegrated Formal Methods
Subtitle of host publication4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings
PublisherSpringerLink
Pages21-35
Number of pages15
ISBN (Electronic)978-3-540-24756-2
ISBN (Print)978-3-540-21377-2
DOIs
Publication statusPublished - 2004

Publication series

NameLecture Notes in Computer Science
Volume2999

Fingerprint

Dive into the research topics of 'Design Verification for Control Engineering'. Together they form a unique fingerprint.

Cite this