Paper Info
Title
Abstracting and refining robustness for cyber-physical systems
Abstract
According to the IEEE standard glossary of software engineering, robustness is the degree to which a system or component can function correctly in the presence of invalid inputs or stressful environment conditions. In this paper we present a design methodology for robust cyber-physical systems (CPS) based on a notion of robustness for CPS termed input-output dynamical stability. It captures two intuitive aims of a robust design: bounded disturbances have bounded consequences and the effect of sporadic disturbances disappears as time progresses. Our framework to synthesize robust CPS is based on an abstraction and refinement procedure, where the robust CPS is obtain through the refinement of a design for an abstraction of the concrete CPS. The soundness of the approach is ensured through the use of several novel notions of simulation relation introduced in this paper.
Year
DOI
Venue
2014
10.1145/2562059.2562133
Proceedings of the 17th international conference on Hybrid systems: computation and control
Keywords
DocType
Volume
robust design,refining robustness,input-output dynamical stability,bounded consequence,concrete cps,robust cyber-physical system,ieee standard glossary,design methodology,bounded disturbance,robust cps,refinement procedure,stability,cyber physical systems,robustness
Conference
abs/1310.5199
Citations 
PageRank 
References 
5
0.45
25
Authors
2
Name
Order
Citations
PageRank
Matthias Rungger110513.44
Paulo Tabuada24281264.80