Feedback Refinement Relations for the Synthesis of Symbolic Controllers
Reads0
Chats0
TLDR
This work builds on a general notion of system with set-valued dynamics and possibly non-deterministic quantizers to permit the synthesis of controllers that robustly, and provably, enforce the specification in the presence of various types of uncertainties and disturbances.Abstract:
We present an abstraction and refinement methodology for the automated controller synthesis to enforce general predefined specifications. The designed controllers require quantized (or symbolic) state information only and can be interfaced with the system via a static quantizer. Both features are particularly important with regard to any practical implementation of the designed controllers and, as we prove, are characterized by the existence of a feedback refinement relation between plant and abstraction. Feedback refinement relations are a novel concept introduced in this paper. Our work builds on a general notion of system with set-valued dynamics and possibly non-deterministic quantizers to permit the synthesis of controllers that robustly, and provably, enforce the specification in the presence of various types of uncertainties and disturbances. We identify a class of abstractions that is canonical in a well-defined sense, and provide a method to efficiently compute canonical abstractions. We demonstrate the practicality of our approach on two examples.read more
Citations
More filters
Posted Content
Compositional Construction of Abstractions for Infinite Networks of Discrete-Time Switched Systems.
TL;DR: This paper develops a compositional scheme for the construction of continuous approximations for interconnections of infinitely many discrete-time switched systems and provides a systematic approach to construct local abstractions and simulation functions for networks of linear switched systems.
Proceedings ArticleDOI
Resilient abstraction-based controller design
TL;DR: In this paper, a finite state abstraction of the perturbed system dynamics is constructed and utilized for controller synthesis, where the impact of occasional high disturbance spikes on the system via the so-called disturbance edges is modeled.
Journal ArticleDOI
Decision-Making Under Uncertainty: Beyond Probabilities
TL;DR: In this article , the focus is on the uncertainty that goes beyond this classical interpretation, particularly by employing a clear distinction between aleatoric and epistemic uncertainty, and a thorough overview of uncertainty models that exhibit uncertainty in a more robust interpretation.
Journal ArticleDOI
ROCS 2.0: An Integrated Temporal Logic Control Synthesis Tool for Nonlinear Dynamical Systems.
Yinan Li,Zhibing Sun,Jun Liu +2 more
TL;DR: ROCS 2.0 as mentioned in this paper provides a major upgrade to support linear temporal logic formulas that can be translated to deterministic Buchi automata, and it also maintains and accelerates the kernel of its previous version and integrates a second engine that implements the abstraction-based control method.
Proceedings ArticleDOI
Symbolic Abstractions for Periodic Event-triggered Linear Control Systems
Wei Ren,Dimos V. Dimarogonas +1 more
TL;DR: An interface is proposed to guarantee the synchronization between the original and abstract event-triggering mechanisms and the equivalence relations between theoriginal system and the constructed symbolic model.
References
More filters
Book
Differential Equations with Discontinuous Righthand Sides
TL;DR: The kind and level of sophistication of mathematics applied in various sciences has changed drastically in recent years: measure theory is used (non-trivially) in regional and theoretical economics, algebraic geometry interacts with physics, and such new emerging subdisciplines as "experimental mathematics", "CFD", "completely integrable systems", "chaos, synergetics and large-scale order", which are almost impossible to fit into the existing classification schemes.
Book
Principles of Model Checking
TL;DR: Principles of Model Checking offers a comprehensive introduction to model checking that is not only a text suitable for classroom use but also a valuable reference for researchers and practitioners in the field.
Book
Feedback Systems: An Introduction for Scientists and Engineers
TL;DR: Feedback Systems develops transfer functions through the exponential response of a system, and is accessible across a range of disciplines that utilize feedback in physical, biological, information, and economic systems.