A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications

Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Temporal logic (03B44)

Cited In (69)

An input-output simulation approach to controlling multi-affine systems for linear temporal logic specifications
Robust stutter bisimulation for abstraction and controller synthesis with disturbance
Monitoring of perception systems: deterministic, probabilistic, and learning-based fault detection and identification
Model-based reinforcement learning for approximate optimal control with temporal logic specifications
Optimal mixed discrete-continuous planning for linear hybrid systems
AROC
Lyapunov-barrier characterization of robust reach-avoid-stay specifications for hybrid systems
A bounded model checking technique for discrete-time nonlinear systems
Flowpipe approximation and clustering in space-time
Observer design for a class of piecewise affine hybrid systems
Tracking differentiable trajectories across polyhedra boundaries
Optimal control of multi-task Boolean control networks via temporal logic
Title not available (Why is that?)
Limited-information control of hybrid systems via reachable set propagation
Abstraction-based synthesis for stochastic systems with omega-regular objectives
Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems
Robustly complete finite-state abstractions for verification of stochastic systems
Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems
Lyapunov analysis of rigid body systems with impacts and friction via sums-of-squares
Automated analysis of real-time scheduling using graph games
Quantitative Model Checking for a Controller Design
Safe schedulability of bounded-rate multi-mode systems
A design of GPU-based quantitative model checking
Safe and stabilizing distributed multi-path cellular flows
Multi-agent planning under local LTL specifications and event-based synchronization
Temporal logic guided safe model-based reinforcement learning: a hybrid systems approach
Flow functions, control flow functions, and the reach control problem
Optimal CPU allocation to a set of control tasks with soft real-time execution constraints
Control design for specifications on stochastic hybrid systems
Iterative temporal motion planning for hybrid systems in partially unknown environments
Verification of agent navigation in partially-known environments
Time-constrained temporal logic control of multi-affine systems
Approximating acceptance probabilities of CTMC-paths on multi-clock deterministic timed automata
Finite abstractions with robustness margins for temporal logic-based control synthesis
Formal methods for robot motion planning with time and space constraints (extended abstract)
Hybrid control Lyapunov functions for the stabilization of hybrid systems
Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems
Specification-guided controller synthesis for linear systems and safe linear-time temporal logic
Automation methods for logical derivation and their application in the control of dynamic and intelligent systems
On the decidability of stability of hybrid systems
Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
A toolbox for simulation of hybrid systems in Matlab/Simulink. Hybrid Equations (HyEQ) Toolbox
Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications
Sampling polynomial trajectories for LTL verification
Compositional heterogeneous abstraction
One-shot computation of reachable sets for differential games
Resilient synchronization in robust networked multi-agent systems
Rewarding probabilistic hybrid automata
State estimation for polyhedral hybrid systems and applications to the Godunov scheme
Funnel control for fully actuated systems under a fragment of signal temporal logic specifications
Linear temporal logic for hybrid dynamical systems: characterizations and sufficient conditions
Resource-aware networked control systems under temporal logic specifications
Time window temporal logic
Bounded model-checking of discrete duration calculus
Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface
LTL receding horizon control for finite deterministic systems
Linear temporal logic vehicle routing with applications to multi-UAV mission planning
Reachability and stabilization of discrete-time affine systems with disturbances
Decentralized abstractions for multi-agent systems under coupled constraints
Mining requirements from closed-loop control models
Stabhyli -- a tool for automatic stability verification of non-linear hybrid systems
Zélus: a synchronous language with ODEs
Temporal logic model predictive control for discrete-time systems
Constructive hybrid games
Optimization of Multi-agent Motion Programs with Applications to Robotic Marionettes
Quantitative timed simulation functions and refinement metrics for real-time systems
Minimum Attention Controller Synthesis for Omega-Regular Objectives
Least-violating control strategy synthesis with safety rules
Learning nonlinear hybrid systems: from sparse optimization to support vector regression

This page was built for publication: A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4974124)