About
20
Publications
3,669
Reads
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
184
Citations
Introduction
My research focuses on the automatic control of wireless networked control systems, communication, computation, and control co-design, stochastic hybrid systems, formal methods, and cyber-physical security.
Skills and Expertise
Additional affiliations
June 2018 - February 2022
July 2017 - May 2018
Position
- Research collaborator
Description
- Formal verification for security in cyber-physical systems
February 2017 - July 2017
Position
- PhD Student
Description
- 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.
Education
November 2013 - October 2017
October 2008 - March 2012
Projects
Project (1)
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.
