Programmable logic controllers (PLCs) are heavily used in industrial control systems,
because of their high capacity of simultaneous input/output processing capabilities …

Introduction to Diagnosis and Fault-Tolerant Control | SpringerLink Skip to main content
Advertisement SpringerLink Account Menu Find a journal Publish with us Track your research …

This book is about dynamical systems that are" hybrid" in the sense that they contain both
continuous and discrete state variables. Recently there has been increased research …

This paper discusses important hybrid aspects of chemical processing plants. It is outlined
that discrete phenomena occur both on the physical level and in the control of these plants …

This article introduces a computational tool called CheckMate. CheckMate is a tool for
modelling, prototyping, simulating specific situation and formally verifying hybrid dynamic …

Abstract Programmable Logic Controllers (PLC) are widespread in the manufacturing and
processing industries to realize sequential procedures and to avoid safety-critical states. For …

Ongoing advances in science and engineering enable mankind to design and operate
increasingly sophisticated systems. Both their design and operation require the …

The interaction of software with a physical environment can cause complex, mixed
continuous-discrete behavior, also referred to as being hybrid. Formal verification can …

We show how detailed simulation models and abstract Markov models can be developed
collaboratively to generate and implement effective controllers for autonomous agent search …

Model checkers for program verification have enjoyed considerable success in recent years.
In the control systems domain, however, they suffer from an inability to account for the …