Design Verification for Control Engineering

RJ Boulton; H Gottliebsen; R Hardy; Thomas William Kelsey; U Martin

Design Verification for Control Engineering

RJ Boulton, H Gottliebsen, R Hardy, Thomas William Kelsey, U Martin

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

8 Citations (Scopus)

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 language	English
Title of host publication	4th International Conference on Integrated Formal methods, Lecture Notes in Computer Science 2999
Editors	EA Boiten, J Derrick, G Smith
Publisher	Springer-Verlag
Pages	21-35
ISBN (Print)	978-3-540-21377-2
Publication status	Published - 2004

Cite this

@inproceedings{5f1ea713f3244dcbb9c91c9914f471f8,

title = "Design Verification for Control Engineering",

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.",

author = "RJ Boulton and H Gottliebsen and R Hardy and Kelsey, {Thomas William} and U Martin",

year = "2004",

language = "English",

isbn = "978-3-540-21377-2",

pages = "21--35",

editor = "EA Boiten and J Derrick and G Smith",

booktitle = "4th International Conference on Integrated Formal methods, Lecture Notes in Computer Science 2999",

publisher = "Springer-Verlag",

address = "Germany",

}

TY - GEN

T1 - Design Verification for Control Engineering

AU - Boulton, RJ

AU - Gottliebsen, H

AU - Hardy, R

AU - Kelsey, Thomas William

AU - Martin, U

PY - 2004

Y1 - 2004

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

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

UR - http://www.scopus.com/inward/record.url?scp=35048876223&partnerID=8YFLogxK

UR - http://www.springerlink.com/content/gxj1n2gtq11cly8h/?p=5d87aa9887ac47ceaf220f9ee336ed4f&pi=1

M3 - Conference contribution

SN - 978-3-540-21377-2

SP - 21

EP - 35

BT - 4th International Conference on Integrated Formal methods, Lecture Notes in Computer Science 2999

A2 - Boiten, EA

A2 - Derrick, J

A2 - Smith, G

PB - Springer-Verlag

ER -

Design Verification for Control Engineering

Abstract

Other files and links

Fingerprint

Cite this