scientific article; zbMATH DE number 4119604

MaRDI QIDQ4733389zbMATH OpenFDO

Authors A. N. Vystavkin, V. E. Zhuravlev, V. V. Romanovtsev

Publication date 1988

zbMATH Keywords

control systemsprogram synthesisspecifications

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of operating systems (68N25) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Control problems in a temporal logic framework
• A Specification-Guided Framework for Temporal Logic Control of Nonlinear Systems
• Abstraction, discretization, and robustness in temporal logic control of dynamical systems
• scientific article; zbMATH DE number 1670577
• Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-Time Systems
• scientific article; zbMATH DE number 1444725
• Receding horizon control for temporal logic specifications
• A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
• Temporal Logic for Programmable Logic Controllers

Cited in

(3)

• Receding horizon control for temporal logic specifications
• Control problems in a temporal logic framework
• Using temporary logics and model checkers for dynamic control abnormal deviations of the system

This page was built for publication:

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