@inproceedings{1636bcf4833348ffa85d7357cfb98bb4,
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 = "Boulton, {Richard J.} and Hanne Gottliebsen and Ruth Hardy and Tom Kelsey and Ursula Martin",
year = "2004",
doi = "10.1007/978-3-540-24756-2_2",
language = "English",
isbn = "978-3-540-21377-2",
series = "Lecture Notes in Computer Science",
publisher = "SpringerLink",
pages = "21--35",
booktitle = "Integrated Formal Methods",
}