LTLC: Linear Temporal Logic for Control

DOI10.1007/978-3-540-78929-1_23MaRDI QIDQ3523118zbMATH OpenOpenAlexFDO

Authors YoungMin Kwon, Gul A. Agha

Publication date 2 September 2008

Published in Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-78929-1_23

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Linear systems in control theory (93C05) Discrete-time control/observation systems (93C55) Temporal logic (03B44)

Recommendations

• Control problems in a temporal logic framework
• Language-guided controller synthesis for discrete-time linear systems
• scientific article; zbMATH DE number 1956650
• Hybrid Systems: Computation and Control
• Temporal logic model predictive control

Cited in

(18)

• Hybrid Systems: Computation and Control
• Using temporary logics and model checkers for dynamic control abnormal deviations of the system
• Quantitative Model Checking for a Controller Design
• CONCUR 2005 – Concurrency Theory
• A design of GPU-based quantitative model checking
• scientific article; zbMATH DE number 1956650 (Why is no real title available?)
• scientific article; zbMATH DE number 67969 (Why is no real title available?)
• Control problems in a temporal logic framework
• Time-constrained temporal logic control of multi-affine systems
• Language-guided controller synthesis for discrete-time linear systems
• Specification-guided controller synthesis for linear systems and safe linear-time temporal logic
• Funnel control for fully actuated systems under a fragment of signal temporal logic specifications
• A Logic Approach for LTL System Modification
• Linear temporal logic for hybrid dynamical systems: characterizations and sufficient conditions
• A unified linear-time temporal logic solution to the steam-boiler control specification problem
• Control/physical systems co-design with spectral temporal logic specifications and its applications to MEMS
• LTL receding horizon control for finite deterministic systems
• Receding horizon control for temporal logic specifications

This page was built for publication: LTLC: Linear Temporal Logic for Control

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