Control problems in a temporal logic framework
From MaRDI portal
Recommendations
- Temporal Logic Control of Discrete-Time Piecewise Affine Systems
- Abstraction, discretization, and robustness in temporal logic control of dynamical systems
- Receding horizon control for temporal logic specifications
- Time-constrained temporal logic control of multi-affine systems
- Temporal Logic for Programmable Logic Controllers
- A Specification-Guided Framework for Temporal Logic Control of Nonlinear Systems
- scientific article; zbMATH DE number 4119604
- Temporal logic model predictive control for discrete-time systems
- LTLC: Linear Temporal Logic for Control
- Temporal logic model predictive control
Cites work
- scientific article; zbMATH DE number 3740740 (Why is no real title available?)
- scientific article; zbMATH DE number 3784831 (Why is no real title available?)
- scientific article; zbMATH DE number 3467028 (Why is no real title available?)
- Self-stabilizing systems in spite of distributed control
- Specifying Concurrent Program Modules
- Using branching time temporal logic to synthesize synchronization skeletons
- Verifying concurrent processes using temporal logic
Cited in
(26)- LTLC: Linear Temporal Logic for Control
- Temporal Logic for Programmable Logic Controllers
- Decentralized supervisory control of discrete event systems with nonhomogeneous control structure
- scientific article; zbMATH DE number 2021573 (Why is no real title available?)
- Abstraction, discretization, and robustness in temporal logic control of dynamical systems
- scientific article; zbMATH DE number 4119604 (Why is no real title available?)
- Program Repair for Hyperproperties
- Using temporary logics and model checkers for dynamic control abnormal deviations of the system
- Syntax-based synthesis for temporal-safety supervision
- Similarity saturation for first order linear temporal logic with UNLESS
- scientific article; zbMATH DE number 1836405 (Why is no real title available?)
- An input-output simulation approach to controlling multi-affine systems for linear temporal logic specifications
- CONCUR 2005 – Concurrency Theory
- Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches
- Supervisory control and reactive synthesis: a comparative introduction
- Synthesis of Joint Control and Active Sensing Strategies Under Temporal Logic Constraints
- Decidability for a temporal logic used in discrete-event system analysis
- Mathematical analysis of stage-based programmable logic controller
- A unified linear-time temporal logic solution to the steam-boiler control specification problem
- On the application of the calculus of positively constructed formulas for the study of controlled discrete-event systems
- Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-Time Systems
- Asymptotic behaviour of output feedback for a class of non-deterministic discrete event systems
- Linear temporal logic vehicle routing with applications to multi-UAV mission planning
- Receding horizon control for temporal logic specifications
- Logical models of discrete even systems: a comparative exposition
- Representation of a discretely controlled continuous system in tense arithmetic
This page was built for publication: Control problems in a temporal logic framework
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3745691)
