Traditional real-time control systems are tightly integrated into the industrial processes they govern. Now, however, there is increasing interest in networked control systems. These provide greater flexibility and cost savings by allowing real-time controllers to interact with industrial processes over existing communications networks. New data packet queuing protocols are currently being developed to enable precise real-time control over a network with variable propagation delays. We show how one such protocol was formally modelled using timed automata, and how model checking was used to reveal subtle aspects of the control system's dynamic behaviour
Due to the increased availability of low cost network technology, the use of networks to interconnec...
Abstract: The performance of a networked control system (NCS) is affected directly and indirectly by...
Control system architectures are expanding significantly in terms of functionality, complexity and s...
Traditional real-time control systems are tightly integrated into the industrial processes they gove...
The development of dependable controllers can be a very complex task. For this purpose, some synthes...
. Model checking is emerging as a practical tool for automated debugging of complex reactive systems...
This paper addresses complex real-time networked control systems (NCSs). From our recent effort in t...
International audienceThe theories underlying control engineering and real-time systems engineering ...
The focus of this work is on dynamical systems that are controlled over a communication network, als...
This book provides a rigorous framework in which to study problems in the analysis, stability and de...
Abstract: This paper proposes a new model for time-delay systems, which contains multiple successive...
In this thesis, control algorithms are studied that are tailored for platforms with limited computat...
Wired and wireless networking is becoming a necessary part of industrial control systems’ design and...
Traditionally, automatic control techniques arose due to need for automation in mechanical systems. ...
This paper deals with the formal verification of a fieldbus real-time scheduling mechanism, using th...
Due to the increased availability of low cost network technology, the use of networks to interconnec...
Abstract: The performance of a networked control system (NCS) is affected directly and indirectly by...
Control system architectures are expanding significantly in terms of functionality, complexity and s...
Traditional real-time control systems are tightly integrated into the industrial processes they gove...
The development of dependable controllers can be a very complex task. For this purpose, some synthes...
. Model checking is emerging as a practical tool for automated debugging of complex reactive systems...
This paper addresses complex real-time networked control systems (NCSs). From our recent effort in t...
International audienceThe theories underlying control engineering and real-time systems engineering ...
The focus of this work is on dynamical systems that are controlled over a communication network, als...
This book provides a rigorous framework in which to study problems in the analysis, stability and de...
Abstract: This paper proposes a new model for time-delay systems, which contains multiple successive...
In this thesis, control algorithms are studied that are tailored for platforms with limited computat...
Wired and wireless networking is becoming a necessary part of industrial control systems’ design and...
Traditionally, automatic control techniques arose due to need for automation in mechanical systems. ...
This paper deals with the formal verification of a fieldbus real-time scheduling mechanism, using th...
Due to the increased availability of low cost network technology, the use of networks to interconnec...
Abstract: The performance of a networked control system (NCS) is affected directly and indirectly by...
Control system architectures are expanding significantly in terms of functionality, complexity and s...