Receding horizon control for temporal logic specifications
From MaRDI portal
Recommendations
- Receding Horizon Temporal Logic Planning
- Control problems in a temporal logic framework
- A Specification-Guided Framework for Temporal Logic Control of Nonlinear Systems
- LTL receding horizon control for finite deterministic systems
- LTLC: Linear Temporal Logic for Control
- Temporal logic model predictive control for discrete-time systems
- Temporal logic model predictive control
- Abstraction, discretization, and robustness in temporal logic control of dynamical systems
- scientific article; zbMATH DE number 4119604
- Receding Horizon Control for a Class of Discrete-Event Systems With Real-Time Constraints
Cites work
- Decentralized Control of Discrete-Event Systems With Bounded or Unbounded Delay Communication
- Discrete-time control for rectangular hybrid automata
- scientific article; zbMATH DE number 1507210 (Why is no real title available?)
- scientific article; zbMATH DE number 1444339 (Why is no real title available?)
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Marked directed graphs
- Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
- Stability Analysis of Networked Control Systems Using a Switched Linear Systems Approach
- Unfoldings: A partial-order approach to model checking.
- What's decidable about hybrid automata?
Cited in
(44)- Dynamic hierarchical reactive controller synthesis
- Automated generation of dynamics-based runtime certificates for high-level control
- On the timed temporal logic planning of coupled multi-agent systems
- Time window temporal logic
- LTL receding horizon control for finite deterministic systems
- Effective synthesis of asynchronous systems from GR(1) specifications
- Multi-agent planning under local LTL specifications and event-based synchronization
- Least-violating control strategy synthesis with safety rules
- Limited-information control of hybrid systems via reachable set propagation
- Resilient synchronization in robust networked multi-agent systems
- Learning nonlinear hybrid systems: from sparse optimization to support vector regression
- Mining requirements from closed-loop control models
- On the decidability of stability of hybrid systems
- Lyapunov analysis of rigid body systems with impacts and friction via sums-of-squares
- Hybrid control Lyapunov functions for the stabilization of hybrid systems
- A toolbox for simulation of hybrid systems in Matlab/Simulink. Hybrid Equations (HyEQ) Toolbox
- Stabhyli -- a tool for automatic stability verification of non-linear hybrid systems
- Zélus: a synchronous language with ODEs
- State estimation for polyhedral hybrid systems and applications to the Godunov scheme
- Observer design for a class of piecewise affine hybrid systems
- Automated analysis of real-time scheduling using graph games
- Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
- One-shot computation of reachable sets for differential games
- Tracking differentiable trajectories across polyhedra boundaries
- Flowpipe approximation and clustering in space-time
- Bounded model-checking of discrete duration calculus
- Optimal CPU allocation to a set of control tasks with soft real-time execution constraints
- Safe schedulability of bounded-rate multi-mode systems
- Compositional heterogeneous abstraction
- Quantitative timed simulation functions and refinement metrics for real-time systems
- Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems
- Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems
- Control design for specifications on stochastic hybrid systems
- Rewarding probabilistic hybrid automata
- Approximating acceptance probabilities of CTMC-paths on multi-clock deterministic timed automata
- Specification-guided controller synthesis for linear systems and safe linear-time temporal logic
- Temporal logic model predictive control for discrete-time systems
- Iterative temporal motion planning for hybrid systems in partially unknown environments
- Control problems in a temporal logic framework
- Synthesis of Reactive(1) designs
- scientific article; zbMATH DE number 4119604 (Why is no real title available?)
- Control synthesis for stochastic systems given automata specifications defined by stochastic sets
- Mixed Integer Linear Programming Approach for Control Synthesis with Weighted Signal Temporal Logic
- Synthesizing permissive winning strategy templates for parity games
This page was built for publication: Receding horizon control for temporal logic specifications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2985871)
