Logic Controllers Dependability Verification Using a Plant Model

IFAC Proceedings Volumes
doi 10.3182/20060926-3-pl-4904.00007
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV

Related search

Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Verification of Embedded Supervisory Controllers Considering Hybrid Plant Dynamics

International Journal of Software Engineering and Knowledge Engineering
Computer GraphicsComputer NetworksCommunicationsComputer-Aided DesignArtificial IntelligenceSoftware
2005English

Designing Dependable Logic Controllers Using Algebraic Specifications

IFAC Proceedings Volumes
2004English

Programmable Logic Controllers

2012English

Logic Verification System for Power Plant Sequence Diagrams.

Journal of Nuclear Science and Technology
High Energy PhysicsNuclearEngineeringNuclear Energy
1994English

Systematic Generation of Logic Controllers in a Model-Based Multi-Formalism Design Environment

IFAC Proceedings Volumes
2011English

Dependability Verification for Contextual/Runtime Goal Modelling

English

Security Policy Development: Towards a Life-Cycle and Logic-Based Verification Model

American Journal of Applied Sciences
Multidisciplinary
2008English

Complex Verification of Rule-Based Knowledge Bases Using VTF-logic

Ontology of designing
2020English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy