Logic control and ``reactive systems: algorithmization and programming

DOI10.1023/A:1002837232103zbMATH Open1093.93528OpenAlexW2111283802MaRDI QIDQ1778317

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

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

Related Items (4)

Data processing in the firmware systems for logic control based on search networks ⋮ Integrating discrete controller synthesis into a reactive programming language compiler ⋮ From control law diagrams to Ada via \textsf{Circus} ⋮ Title not available (Why is that?)

Uses Software

• Title not available (Why is that?)

Recommendations

• Logical synthesis of the control algorithm in a system with Boolean variables 👍 👎
• Program Logics for Sequential Higher-Order Control 👍 👎
• Logic and logic-based control 👍 👎
• Logic + control: On program construction and verification 👍 👎
• Algebraic approach for dependable logic control systems design 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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)