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

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

doi:10.1109/CACSD.2013.6663475

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 proceeding › Conference contribution › Academic › peer-review

2 Citations (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 language	English
Title of host publication	2013 IEEE Conference on Computer Aided Control System Design (CACSD)
Place of Publication	Piscataway
Publisher	Institute of Electrical and Electronics Engineers
Pages	13-18
Number of pages	6
ISBN (Electronic)	978-1-4799-1565-1
DOIs	https://doi.org/10.1109/CACSD.2013.6663475
Publication status	Published - 2013
Externally published	Yes
Event	IEEE International Symposium on Computer-Aided Control System Design - Hyderabad, India Duration: 28 Aug 2013 → 30 Aug 2013

Conference

Conference	IEEE International Symposium on Computer-Aided Control System Design
Abbreviated title	CACSD
Country/Territory	India
City	Hyderabad
Period	28/08/13 → 30/08/13

Access to Document

10.1109/CACSD.2013.6663475

Cite this

@inproceedings{e953ea3522ed4b14acdf9d133f28ae1b,

title = "Characterizing feedback signal drop patterns in formal verification of networked control systems",

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.",

author = "Dip Goswami and Samarjit Chakraborty and Purandari Bhaduri and {K. Mitter}, Sanjoy",

year = "2013",

doi = "10.1109/CACSD.2013.6663475",

language = "English",

pages = "13--18",

booktitle = "2013 IEEE Conference on Computer Aided Control System Design (CACSD)",

publisher = "Institute of Electrical and Electronics Engineers",

address = "United States",

note = "IEEE International Symposium on Computer-Aided Control System Design, CACSD ; Conference date: 28-08-2013 Through 30-08-2013",

}

Goswami, D, Chakraborty, S, Bhaduri, P & K. Mitter, S 2013, Characterizing feedback signal drop patterns in formal verification of networked control systems. in 2013 IEEE Conference on Computer Aided Control System Design (CACSD). Institute of Electrical and Electronics Engineers, Piscataway, pp. 13-18, IEEE International Symposium on Computer-Aided Control System Design, Hyderabad, India, 28/08/13. https://doi.org/10.1109/CACSD.2013.6663475

Characterizing feedback signal drop patterns in formal verification of networked control systems. / Goswami, Dip; Chakraborty, Samarjit; Bhaduri, Purandari et al.
2013 IEEE Conference on Computer Aided Control System Design (CACSD). Piscataway: Institute of Electrical and Electronics Engineers, 2013. p. 13-18.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

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

AU - Goswami, Dip

AU - Chakraborty, Samarjit

AU - Bhaduri, Purandari

AU - K. Mitter, Sanjoy

PY - 2013

Y1 - 2013

N2 - 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.

AB - 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.

U2 - 10.1109/CACSD.2013.6663475

DO - 10.1109/CACSD.2013.6663475

M3 - Conference contribution

SP - 13

EP - 18

BT - 2013 IEEE Conference on Computer Aided Control System Design (CACSD)

PB - Institute of Electrical and Electronics Engineers

CY - Piscataway

T2 - IEEE International Symposium on Computer-Aided Control System Design

Y2 - 28 August 2013 through 30 August 2013

ER -

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

Abstract

Conference

Access to Document

Fingerprint

Cite this