Coupling timed plant and controller models with urgent transitions without introducing deadlocks

Abstract : This paper focuses on timed models which represent closed-loop systems composed of a plant and a logic controller. Both the plant and controller models are described in a formalism where urgent transitions are possible, to avoid non-realistic evolutions, and without deadlock when they are separated. It is first shown that deadlocks may occur in the plant model as soon as both models are coupled. To solve this issue, shared variables which model the changes of the inputs of the controller are defined and introduced in some actions of the plant model as well as in some guards of the controller model; the aim of these variables is to authorize evolutions of the controller only when at least one input has changed. This solution removes the previously pinpointed deadlocks and guarantees the reactivity of the controller.
Document type :
Conference papers
Complete list of metadatas

Cited literature [16 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00753892
Contributor : Matthieu Perin <>
Submitted on : Monday, November 19, 2012 - 5:45:07 PM
Last modification on : Thursday, February 9, 2017 - 3:51:56 PM
Long-term archiving on : Thursday, February 21, 2013 - 11:41:36 AM

File

ETFA_12_V7.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00753892, version 1

Collections

Citation

Matthieu Perin, Jean-Marc Faure. Coupling timed plant and controller models with urgent transitions without introducing deadlocks. 17th IEEE international conference on Emerging Technologies on Factory Automation, Sep 2012, Krakovie, Poland. SS09, paper 242. ⟨hal-00753892⟩

Share

Metrics

Record views

159

Files downloads

149