Coordination of Resources using Generalized State-Based Requirements

Markovski, Jasen; Jacobs, Karen; Beek, D.A. van; Somers, Lou; Rooda, J.E.

doi:10.3182/20100830-3-de-4013.00048

Cited by 44 publications

(40 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…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%

See 1 more Smart Citation

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

Section: Industrial Applicationmentioning

confidence: 99%

“…The case study High-tech printer of [30] deals with coordination of maintenance procedures of the printing process, which applies a toner image onto a paper sheet. To maintain high printing quality, several maintenance operations have to be carried out after a certain number of prints.…”

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

show abstract

“…This possibility is provided in the state-based framework, where both statebased expressions and automata are available to specify the desired behaviour. However, as indicated in Markovski et al (2010), deriving the suitable state-based expressions can be an error-prone and tedious task. To avoid this inconvenience, logical specifications are proposed for automatic generation of these state-based expressions.…”

Section: Plant and Requirement Modelsmentioning

confidence: 99%

“…18a and b can also be specified by a logical expression stating that if the events mm_reset and mm_active are enabled by the supervisor then the bumper switch is released (BS_Released) and the power level To explain the syntax for the logical expressions of Markovski et al (2010), we take unique state names as a starting point. In the expressions, 1 and 0 as truth values of propositional logic, negation ¬, conjunction ∧, disjunction ∨ and implication ⇒ as standard logical operators, state predicates s ↓ and event predicates → E can be used.…”

Section: Plant and Requirement Modelsmentioning

confidence: 99%

“…This technique arranges component models in a state-tree structure and utilizes binary decision diagrams to efficiently manipulate states when performing reachability and coreachability search. In addition, we use a new logic system described in Markovski et al (2010) that can precisely specify both state-based and event-based requirements. In eventbased synthesis, we apply the aggregative distributed synthesis technique from Su et al (2010a) and the coordinated distributed synthesis technique from Su et al (2009).…”

Section: Supervisory Control Theorymentioning

confidence: 99%

See 1 more Smart Citation

Application of supervisory control theory to theme park vehicles

Forschelen

Mortel-Fronczak

et al. 2012

Discrete Event Dyn Syst

View full text Add to dashboard Cite

Due to increasing system complexity, time-to-market and development costs reduction, new engineering processes are required. Model-based engineering processes are suitable candidates because they support system development by enabling the use of various model-based analysis techniques and tools. As a result, they are able to cope with complexity and have the potential to reduce time-tomarket and development costs. Moreover, supervisory control synthesis can be integrated in this setting, which can further contribute to the development of control systems. To evaluate the applicability of recently developed supervisor synthesis techniques and to show how they can be integrated in an engineering process, a theme park vehicle is chosen as a case study. The supervisor synthesized for the theme park vehicle has successfully been implemented and integrated in the existing resource-control platform.

show abstract