Application of Supervisory Control Synthesis to a Patient Support Table of a Magnetic Resonance Imaging Scanner

Theunissen, R.J.M.; Petreczky, Mihály; Schiffelers, R.R.H.; Beek, D.A. van; Rooda, J.E.

doi:10.1109/tase.2013.2279692

Cited by 45 publications

(21 citation statements)

References 25 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The proposed method supports incremental design in terms of changing or adding component and requirement models. Previous applications of the model-based engineering design and implementation methods in other application domains have shown that it supports the evolution of the developed controller with changes in the uncontrolled system and the requirements [31], [32]. It is expected that similar benefits can be obtained in automotive systems engineering.…”

Section: Discussionmentioning

confidence: 75%

“…Moreover, additional components and requirements can be formulated to expand the systems functionality. The advantage of validation through simulation is that it takes less effort in terms of (re-)design time in comparison to implementation and experimental testing, as shown in [31] and [32]. 5) Implementation and testing: When the supervisor is validated in simulation, it can be implemented on the physical system and tested in real-life.…”

Section: ) System and Behavior Specificationmentioning

confidence: 99%

See 1 more Smart Citation

Systematic Model-Based Design and Implementation of Supervisors for Advanced Driver Assistance Systems

Korssen

Dolk

Mortel-Fronczak

et al. 2018

IEEE Trans. Intell. Transport. Syst.

View full text Add to dashboard Cite

DOI to the publisher's website. • The final author version and the galley proof are versions of the publication after peer review. • The final published version features the final layout of the paper including the volume, issue and page numbers. Link to publication General rights Copyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights. • Users may download and print one copy of any publication from the public portal for the purpose of private study or research. • You may not further distribute the material or use it for any profit-making activity or commercial gain • You may freely distribute the URL identifying the publication in the public portal. If the publication is distributed under the terms of Article 25fa of the Dutch Copyright Act, indicated by the "Taverne" license above, please follow below link for the End User Agreement:

show abstract

Section: Discussionmentioning

confidence: 75%

Section: ) System and Behavior Specificationmentioning

confidence: 99%

Systematic Model-Based Design and Implementation of Supervisors for Advanced Driver Assistance Systems

Korssen

Dolk

Mortel-Fronczak

et al. 2018

IEEE Trans. Intell. Transport. Syst.

View full text Add to dashboard Cite

show abstract

“…By far, most cases described in the literature focus on the domain of manufacturing systems; e.g., Leduc and Wonham (1995), Brandin (1996), Lauzon et al (1996), Kim et al (2001), de Queiroz and Cury (2002), Chandra et al (2003), Nourelfath and Niel (2004), Ljungkrantz et al (2007), Pétin et al (2007), Hasdemir et al (2008), Moor et al (2010), Silva et al (2011), van der Sanden et al (2015, and Pena et al (2016). Other application domains are theme park vehicles (Forschelen et al 2012), chemical process control (Rawlings et al 2014), patient support table for an MRI scanner (Theunissen et al 2014), smart homes dedicated to disabled people (Guillet et al 2014), mobile robots (Lopes et al 2016), computer science (Liao et al 2013;Auer et al 2014;Atampore et al 2016), and driver assistance systems (von Bochmann et al 2015;Korssen et al 2018). In Reijnen et al (2017), we reported on an application related to a lock control system in Tilburg.…”

Section: Introductionmentioning

confidence: 99%

“…A small industrial application is the control of a patient support table for an MRI scanner (Theunissen et al 2014). For this application, 3 actuators are controlled based on observations of 8 sensors, resulting in a plant state space of 5 × 10 4 states.…”

Section: Introductionmentioning

confidence: 99%

Modeling for supervisor synthesis – a lock-bridge combination case study

Reijnen

Goorden

Mortel-Fronczak

et al. 2020

Discrete Event Dyn Syst

View full text Add to dashboard Cite

Designing supervisory controllers for high-tech systems is becoming increasingly complex due to demands for verified safety, higher quality and availability, and extending functionality. Supervisor synthesis is a method to automatically derive a supervisor from a model of the plant and a model of the control requirements. While supervisor synthesis is an active research topic, only a few reports exist on industrial applications. One of the reasons for this is the lack of acquaintance of control engineers with modeling and specifying in the framework of automata. In addition to this, there are no clear guidelines for obtaining the necessary models for synthesis. In this paper, we describe a general way of modeling for the plant and the requirements in order to contribute towards the acceptance of supervisor synthesis in industry. This way of modeling is illustrated with an industrial case study in which a supervisory controller is synthesized for the Algera complex. The Algera complex consists of a waterway lock and a movable bascule bridge. The supervisor has to control 80 actuators based on the observations from 96 discrete sensors, in response to 63 control commands available from the operator. We show how to model the plant as a collection of extended finite-state automata, how to model the requirement as a collection of event conditions, how to synthesize the monolithic supervisor, and how to validate the resulting supervisor using continuous-time simulation.

show abstract

“…Many real-life examples have been presented that show the applicability of supervisory control synthesis, e.g., [2], [3], [4], [5]. Moreover, work has been done on the correct implementation of synthesized supervisors on control platforms, e.g., [6].…”

Section: Introductionmentioning

confidence: 99%

Why is my supervisor empty? Finding causes for the unreachability of states in synthesized supervisors

Swartjes

Reniers

Beek

et al. 2016

2016 13th International Workshop on Discrete Event Systems (WODES)

View full text Add to dashboard Cite

Although supervisory control synthesis has been around for many years, adoption is still low. A weak point of synthesis is the absence of a reporting mechanism. When an empty or unexpected supervisor is returned, it is very difficult to explain why this is the case. It is desired to return an explanation for a question, like, "Why is my supervisor empty?". In general, the information needed to provide such an explanation is not present in the synthesized result.In this paper, causes (explanations) are generated for questions regarding the absence of behavior in the synthesized system. To this end, it is first investigated what information is needed and how it should be stored. Based on these findings, information of the influence of each requirement is encoded in the supervisor. This is done by annotating colors. The resulting so-called colored predicates can be used after synthesis to derive a cause for a given question.

show abstract

Application of Supervisory Control Synthesis to a Patient Support Table of a Magnetic Resonance Imaging Scanner

Cited by 45 publications

References 25 publications

Systematic Model-Based Design and Implementation of Supervisors for Advanced Driver Assistance Systems

Systematic Model-Based Design and Implementation of Supervisors for Advanced Driver Assistance Systems

Modeling for supervisor synthesis – a lock-bridge combination case study

Why is my supervisor empty? Finding causes for the unreachability of states in synthesized supervisors

Contact Info

Product

Resources

About