Formal Design and Verification of Digital PID Gain Scheduling Controllers

Ordóñez Aguileta, Pablo Armando (2018) Formal Design and Verification of Digital PID Gain Scheduling Controllers. PhD thesis, University of Sheffield.

Abstract

Metadata

Keywords: Formal Methods, Model Checking, Gain Scheduling, Safety Critical Software
Awarding institution: University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Automatic Control and Systems Engineering (Sheffield)
Identification Number/EthosID (e.g. uk.bl.ethos.123456): uk.bl.ethos.736572
Depositing User: Mr Pablo Armando Ordóñez Aguileta
Date Deposited: 14 Mar 2018 12:23
Last Modified: 12 Oct 2018 09:52

Download

A model checking approach to gain scheduling control design and verification

Filename: PAOA Thesis - Formal Design and Verification of Digital PID Gain Scheduling Controllers.pdf

Description: A model checking approach to gain scheduling control design and verification

Licence: Creative Commons Attribution Non-commercial No Derivatives (UK)

Share / Export


You do not need to contact us to get a copy of this thesis. Please use the 'Download' link(s) above to get a copy.
You can contact us about this thesis. If you need to make a general enquiry, please see the Contact us page.