Designing Dependable Logic Controllers Using Algebraic Specifications

IFAC Proceedings Volumes
doi 10.1016/s1474-6670(17)30763-2
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV

Related search

Programmable Logic Controllers

2012English

Design of Parameter-Scheduled State-Feedback Controllers Using Shifting Specifications

Journal of the Franklin Institute
ControlSystems EngineeringSignal ProcessingComputer NetworksApplied MathematicsCommunications
2015English

Logic Controllers Dependability Verification Using a Plant Model

IFAC Proceedings Volumes
2006English

Designing to Digital Wireless Specifications Using Circuit Envelope Simulation

English

Algebraic Design of Multirate Controllers

IFAC Proceedings Volumes
2002English

Generating XTAG Parsers From Algebraic Specifications

2006English

Active Monitoring Using Real-Time Metric Linear Temporal Logic Specifications

2012English

Differential-Algebraic Dynamic Logic for Differential-Algebraic Programs

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2008English

Designing of 2-Stage CPU Scheduler Using Vague Logic

Advances in Fuzzy Systems
ControlComputational MathematicsOptimizationSystems Engineering
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy