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
Proceedings Article
Symbolic control applied to miniature quadcopter mission guidance
TL;DR: In this paper , the authors demonstrate how to use symbolic optimal control in order to control miniature quadcopters at the level of mission guidance for reach-avoid and reach-and-stay control tasks.
Book ChapterDOI
Flexible Computational Pipelines for Robust Abstraction-Based Control Synthesis
TL;DR: In this paper, the authors present a flexible and extensible framework for constructing robust control synthesis algorithms and apply this to the traditional abstraction-based control synthesis pipeline, grounded in the theory of relational interfaces.
Posted Content
On the Solution of the Travelling Salesman Problem for Nonlinear Salesman Dynamics using Symbolic Optimal Control
Alexander Weber,Alexander Knoll +1 more
TL;DR: In this paper, an algorithmic method to heuristically solve the Travelling Salesman Problem (TSP) when the salesman's path evolves in continuous state space and discrete time but with otherwise arbitrary (nonlinear) dynamics is proposed.
Proceedings ArticleDOI
Vehicle mission guidance by symbolic optimal control
TL;DR: In this article , symbolic optimal control can be used to calculate controllers for an optimized routing guidance of vehicle systems in continuous state space, in which the capacitated vehicle routing problem and a variant of travelling salesman problem are investigated.
Journal ArticleDOI
Reinforcement Learning for Non-Deterministic Transition Systems With an Application to Symbolic Control
TL;DR: In this paper , the authors extend the reinforcement learning framework to non-deterministic finite transition systems (FTSs), whose solutions are non-unique but not endowed with a probability measure, and show how to dynamically build RL controllers (possibly learning the FTS model just from experience) maximizing the best-case and worst-case return obtained from a trajectory (run) of the model, assuming full state information.
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.