Characterizing feedback signal drop patterns in formal verification of networked control systems

Dip Goswami, Samarjit Chakraborty, Purandari Bhaduri, Sanjoy K. Mitter

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (Scopus)

Samenvatting

In order to obtain resource efficient implementations of control loops on embedded platforms, recently there has been a renewed interest in studying stability and various other quality-of-control (QoC) metrics in the presence of control message drops. Towards this, different methods have been proposed to quantify the impact of message drops on stability and control performance. In this paper we will survey these techniques and clarify the relationship between them. Given a drop pattern that satisfies stability and specified QoC constraints, it is important to check whether an implementation platform satisfies this pattern. In other words, whether the control loop in question may be implemented on this platform. Given an architecture, we will also show how certain notions of expressing drop patterns are easier to verify compared to others.
Originele taal-2Engels
Titel2013 IEEE Conference on Computer Aided Control System Design (CACSD)
Plaats van productiePiscataway
UitgeverijInstitute of Electrical and Electronics Engineers
Pagina's13-18
Aantal pagina's6
ISBN van elektronische versie978-1-4799-1565-1
DOI's
StatusGepubliceerd - 2013
Extern gepubliceerdJa
EvenementIEEE International Symposium on Computer-Aided Control System Design - Hyderabad, India
Duur: 28 aug 201330 aug 2013

Congres

CongresIEEE International Symposium on Computer-Aided Control System Design
Verkorte titelCACSD
LandIndia
StadHyderabad
Periode28/08/1330/08/13

Vingerafdruk Duik in de onderzoeksthema's van 'Characterizing feedback signal drop patterns in formal verification of networked control systems'. Samen vormen ze een unieke vingerafdruk.

Citeer dit