Abstract | ||
---|---|---|
In this paper we introduce discounted input-output dynamical stability as a variant of a recently introduced notion of robustness for discrete and cyber-physical systems. We analyze the verification and synthesis problems for this new notion of robustness for discrete systems given by finite-state automata. We show that the verification problem can be solved in terms of a linear program and hence is solvable in polynomial time. We provide an approximate solution to the synthesis problem whose complexity depends on the accuracy of the approximation. We discuss the merits and drawbacks of discounted input-output dynamical stability in comparison with existing robustness concepts for discrete systems. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1109/CDC.2014.7039486 | Decision and Control |
Keywords | Field | DocType |
approximation theory,computational complexity,discrete systems,finite state machines,linear programming,stability,approximation accuracy,cyber-physical systems,discounted input-output dynamical stability,discrete systems,finite-state automata,linear program,polynomial time,robust finite-state systems,synthesis problem analysis,verification problem analysis | Linear dynamical system,Mathematical optimization,Discounting,Computer science,Control theory,Automaton,Robustness (computer science),Finite state systems,Linear programming,Time complexity,Discrete system | Conference |
ISSN | Citations | PageRank |
0743-1546 | 0 | 0.34 |
References | Authors | |
9 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Matthias Rungger | 1 | 105 | 13.44 |
Paulo Tabuada | 2 | 4281 | 264.80 |