How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
February 2017 - July 2017
- PhD Student
- Investigation of correct-by-design fault detection, isolation & reconfiguration (FDIR) solutions for Markov jump systems, satisfying some probabilistic computation tree logic specifications on bisimilar abstractions preserving the properties of interest.
Developing and validating a Markov channel model that abstracts the WirelessHART radio link subject to channel impairments and interferernce. Introducing link quality metrics in order to enable the accurate representation of the average and extreme behavior of the radio link. Deriving a stationary Markov jump linear system model that captures the dynamics of a control loop closed over the radio link.