Thesis icon

Thesis

Verification and synthesis of linear systems by abstract acceleration

Abstract:

Embedded systems are constantly growing in number and complexity. A large number of these relate to physical elements that have behaviour that is either linear or can be described using linear dierential equations (e.g., vehicle speed/position, temperature control, oscillators, etc). In this work we explore the application of formal methods for safety checking and controller synthesis in the particular case of Linear Time Invariant (LTI) models where the dynamics may apply to both con...

Expand abstract

Actions


Access Document


Files:

Authors


Contributors

Role:
Supervisor
Role:
Supervisor
Type of award:
DPhil
Level of award:
Doctoral
Awarding institution:
University of Oxford

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP