Supervisory control synthesis for a patient support system

Theunissen, R.J.M.; Schiffelers, R.R.H.; Beek, D.A. van; Rooda, J.E.

doi:10.23919/ecc.2009.7075134

Cited by 21 publications

(24 citation statements)

References 12 publications

(1 reference statement)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Although several applications reported in the literature, e.g., [15,22,23], include implementation of synthesized supervisors on a PC or a PLC, they are usually put in practice in an academic setup. To our knowledge, the industrial applications described in [12,18,34] are ones of the few that actually refer to an existing industrial product. Recently, a project is started in the automotive application area, where supervisor synthesis techniques are used in the design of the discrete part of a cruise control system.…”

Section: Industrial Casesmentioning

confidence: 99%

See 1 more Smart Citation

Integration of Supervisory Control Synthesis in Model-Based Systems Engineering

2016

View full text Add to dashboard Cite

Increasing system complexity, time to market and development costs reduction place higher demands on engineering processes. Formal models play an important role here because they enable the use of various model-based analyses and early integration techniques and tools. Engineering processes based on formal models are able to cope with complexity. They also support time to market and development costs reduction. Moreover, application of supervisory control synthesis in the development of control systems can speed up the process considerably. This paper discusses the integration of recently developed supervisor synthesis techniques and tools in engineering processes. To illustrate this approach, examples of industrial cases are presented, where supervisors synthesized have successfully been implemented and integrated in existing resource control platforms. IntroductionIn current industrial practice, it is very difficult to deal with high-tech multidisciplinary system development due to system complexity, market pressure, and resource limitations. To overcome the difficulties, various kinds of models are used increasingly often in the development process. Specifically, formal and executable models built and employed in the design phase can be used to assess functional correctness and performance of component designs and overall system design. Formal verification, in particular model checking [3], is employed when a high degree of confidence in functional correctness of a design is required. To assess design performance, one

show abstract

Section: Industrial Casesmentioning

confidence: 99%

“…In [34], supervisor synthesis is applied to a support system used to position patients in an MRI scanner of Philips Healthcare (http://www.medical.philips.com). MRI stands for magnetic resonance imaging, which is a medical imaging technique used in radiology to visualize detailed internal structures.…”

Section: Mri Scannermentioning

confidence: 99%

Integration of Supervisory Control Synthesis in Model-Based Systems Engineering

2016

View full text Add to dashboard Cite

show abstract

“…1 has been successfully applied in several industrial case studies involving movement control of a patient support system for a Philips MRI scanner [29], coordination of a printing process of an Océ High-tech printer [30], and movement coordination of Theme park vehicles [31]. In all cases, the synthesized supervisory controllers were successfully tested using hardware-in-the-loop integration, where the hardware was supervised by employing the model of the supervisory controller for which we used appropriate interfaces with the machines that employ the controller protocols [12].…”

Section: Industrial Applicationmentioning

confidence: 99%

“…The goal of the case study MRI scanner reported in [29] is safe positioning of patients inside an MRI scanner. To this end, models of the patient support system and the user interface of the machine have been made, leading to 6.3 · 10 9…”

Section: Industrial Applicationmentioning

confidence: 99%

The role of supervisory controller synthesis in automatic control software development

Baeten

Markovski

2015

Science of Computer Programming

View full text Add to dashboard Cite

h i g h l i g h t s• We discuss the role of supervisor synthesis in automated software code generation.• The proposed approach is systematic and based on process theory.• We implemented a model-based systems and software engineering framework.• The framework has been applied to multiple industrial studies. a r t i c l e i n f o a b s t r a c t We give an overview of a model-driven systems engineering approach for high-tech systems that relies on supervisory controller synthesis. The proposed framework has a process-theoretic foundation and supports extensions with quantitative features. We briefly discuss several industrial case studies that highlight the advantages of the proposed approach.© 2013 Elsevier B.V. All rights reserved. Model-driven control software developmentEmbedding information and communication technology in consumer and industrial products was enabled by advances in software that carries most of these products' functionalities. The need for development techniques that can guarantee software quality is more than apparent. Conferences like Software Development Automation, Model-Driven Engineering Languages and Systems, or Applications of Concurrency in System Design, are some of the venues where this need has been recognized and studied by means of automated model-driven software development techniques. In this paper, we would like to point to one model-driven systems engineering approach, referred to as supervisory controller synthesis, which targets discrete-event control software for high-tech and complex systems. We find this approach to be relevant to the software development community and we hope that it might offer novel insights in development of quality control software, and bring the communities of software development, systems engineering, and formal methods closer together.

show abstract

“…In this way, the specification of the control logic is less vulnerable for changes in the physical system. An example of such work is the work on supervisory control synthesis by Rooda et al, e.g., in [83,100].…”

Section: Separating Design Rationale From Control Logicmentioning

confidence: 99%

Managing software complexity of adaptive systems

Roo¹

View full text Add to dashboard Cite

Supervisory control synthesis for a patient support system

Cited by 21 publications

References 12 publications

Integration of Supervisory Control Synthesis in Model-Based Systems Engineering

Integration of Supervisory Control Synthesis in Model-Based Systems Engineering

The role of supervisory controller synthesis in automatic control software development

Managing software complexity of adaptive systems

Contact Info

Product

Resources

About