Logic control and ``reactive systems: algorithmization and programming

DOI10.1023/A:1002837232103MaRDI QIDQ1778317zbMATH OpenOpenAlexFDO

Authors A. A. Shalyto

Publication date 17 June 2005

Published in Automation and Remote Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1002837232103

Mathematics Subject Classification ID

Theory of computing (68Q99) Control/observation systems involving computers (process control, etc.) (93C83)

Recommendations

• Logic + control: on program construction and verification
• scientific article; zbMATH DE number 603377
• Algebraic approach for dependable logic control systems design
• Logical synthesis of the control algorithm in a system with Boolean variables
• scientific article; zbMATH DE number 4003495
• Program logics for sequential higher-order control
• Logic and logic-based control
• scientific article; zbMATH DE number 4170755
• scientific article; zbMATH DE number 1751910

Cited in

(8)

• Implementation of finite automata algorithms as structured programs. I
• Data processing in the firmware systems for logic control based on search networks
• scientific article; zbMATH DE number 3885805 (Why is no real title available?)
• scientific article; zbMATH DE number 3869123 (Why is no real title available?)
• scientific article; zbMATH DE number 3943038 (Why is no real title available?)
• Integrating discrete controller synthesis into a reactive programming language compiler
• scientific article; zbMATH DE number 1201684 (Why is no real title available?)
• From control law diagrams to Ada via \textsf{Circus}

Describes a project that uses

Uses Software

• ASTRAL

This page was built for publication: Logic control and ``reactive systems: algorithmization and programming

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