Automated generation of dynamics-based runtime certificates for high-level control
From MaRDI portal
Publication:1693827
DOI10.1007/s10626-016-0232-7zbMath1379.93049OpenAlexW2557072247MaRDI QIDQ1693827
Matthias Rungger, Ayça Balkan, Jonathan De Castro, Rüdiger Ehlers, Hadas Kress-Gazit
Publication date: 31 January 2018
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10626-016-0232-7
Nonlinear systems in control theory (93C10) Automated systems (robots, etc.) in control theory (93C85) Synthesis problems (93B50) Control/observation systems governed by ordinary differential equations (93C15)
Related Items (1)
Uses Software
Cites Work
- Synthesis of Reactive(1) designs
- Approximately bisimilar symbolic models for nonlinear control systems
- Temporal logic motion planning for dynamic robots
- Formal analysis of piecewise affine systems through formula-guided refinement
- Receding horizon control for temporal logic specifications
- Iterative temporal motion planning for hybrid systems in partially unknown environments
- Abstraction, discretization, and robustness in temporal logic control of dynamical systems
- Nonlinear Controller Synthesis and Automatic Workspace Partitioning for Reactive High-Level Behaviors
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
- Dealing with Nondeterminism in Symbolic Control
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
- Linear Time Logic Control of Discrete-Time Linear Systems
- Computing Abstractions of Nonlinear Systems
- Temporal Logic Control of Discrete-Time Piecewise Affine Systems
- Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
- Synthesis of Reactive Switching Protocols From Temporal Logic Specifications
- Depth-First Search and Linear Graph Algorithms
This page was built for publication: Automated generation of dynamics-based runtime certificates for high-level control
