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

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)

Abstract

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.
Original languageEnglish
Title of host publication2013 IEEE Conference on Computer Aided Control System Design (CACSD)
Place of PublicationPiscataway
PublisherInstitute of Electrical and Electronics Engineers
Pages13-18
Number of pages6
ISBN (Electronic)978-1-4799-1565-1
DOIs
Publication statusPublished - 2013
Externally publishedYes
EventIEEE International Symposium on Computer-Aided Control System Design - Hyderabad, India
Duration: 28 Aug 201330 Aug 2013

Conference

ConferenceIEEE International Symposium on Computer-Aided Control System Design
Abbreviated titleCACSD
CountryIndia
CityHyderabad
Period28/08/1330/08/13

Fingerprint Dive into the research topics of 'Characterizing feedback signal drop patterns in formal verification of networked control systems'. Together they form a unique fingerprint.

Cite this