Tree automata, Mu-Calculus and determinacy
SFCS '91 Proceedings of the 32nd annual symposium on Foundations of computer science
Digital design: principles and practices (2nd ed.)
Digital design: principles and practices (2nd ed.)
Closure and Convergence: A Foundation of Fault-Tolerant Computing
IEEE Transactions on Software Engineering - Special issue on software reliability
Robust and optimal control
Infinite games on finitely coloured graphs with applications to automata on infinite trees
Theoretical Computer Science
Self-stabilizing systems in spite of distributed control
Communications of the ACM
Distributed Algorithms
L2-Gain and Passivity in Nonlinear Control
L2-Gain and Passivity in Nonlinear Control
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Progress measures and finite arguments for infinite computations
Progress measures and finite arguments for infinite computations
Electronics beyond nano-scale CMOS
Proceedings of the 43rd annual Design Automation Conference
Single-event-upset (SEU) awareness in FPGA routing
Proceedings of the 44th annual Design Automation Conference
Approximately bisimilar symbolic models for nonlinear control systems
Automatica (Journal of IFAC)
Robust FPGA resynthesis based on fault-tolerant Boolean matching
Proceedings of the 2008 IEEE/ACM International Conference on Computer-Aided Design
Better Quality in Synthesis through Quantitative Objectives
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Automating the addition of fault tolerance with discrete controller synthesis
Formal Methods in System Design
Signature-based SER analysis and design of logic circuits
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Formal modeling and reasoning for reliability analysis
Proceedings of the 47th Design Automation Conference
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Robustness in the presence of liveness
CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
Hi-index | 0.00 |
A key property for systems subject to uncertainty in their operating environment is robustness: ensuring that unmodeled but bounded disturbances have only a proportionally bounded effect upon the behaviors of the system. Inspired by ideas from robust control and dissipative systems theory, we present a formal definition of robustness as well as algorithmic tools for the design of optimally robust controllers for ω-regular properties on discrete transition systems. Formally, we define metric automata—automata equipped with a metric on states—and strategies on metric automata which guarantee robustness for ω-regular properties. We present fixed-point algorithms to construct optimally robust strategies in polynomial time. In contrast to strategies computed by classical graph theoretic approaches, the strategies computed by our algorithm ensure that the behaviors of the controlled system gracefully degrade under the action of disturbances; the degree of degradation is parameterized by the magnitude of the disturbance. We show an application of our theory to the design of controllers that tolerate infinitely many transient errors provided they occur infrequently enough.