Communicating Processes with Data for Supervisory Coordination

  title={Communicating Processes with Data for Supervisory Coordination},
  author={Jasen Markovski},
  • J. Markovski
  • Published in FOCLASA 15 August 2012
  • Computer Science
We employ supervisory controllers to safely coordinate high-level discrete(-event) behavior of distributed components of complex systems. Supervisory controllers observe discrete-event system behavior, make a decision on allowed activities, and communicate the control signals to the involved parties. Models of the supervisory controllers can be automatically synthesized based on formal models of the system components and a formalization of the safe coordination (control) requirements. Based on… 

Figures from this paper

Reliable supervisory coordination of stochastic communicating processes with data

A process theory that can model supervisory control loops with data observation for stochastic discrete-event systems is developed and an industrial case study involving safe and reliable coordination of multiple maintenance procedures of a printing process of a high-tech printer is remodeled.

Controllability for Nondeterministic Discrete-Event Systems with Data

It is shown that the proposed extension of partial bisimulation for finite automata with variables subsumes existing notions and its role in a proposed model-based engineering framework is discussed.

Supervisory Coordination of Timed Communicating Processes

A synthesis-centric approach to coordination of timed discrete-event systems with data and unrestricted nondeterminism is proposed and a compositional model transformation is developed to interface the synthesis tool and the model checker.

A synthesis-centric model-based systems engineering framework for reliable supervision of systems with general distributions

  • J. MarkovskiHesuan Hu
  • Computer Science
    2014 IEEE International Conference on Automation Science and Engineering (CASE)
  • 2014
This work proposes a synthesis-centric model-based systems engineering framework for discrete-event systems with general distributions that relies on a behavioral preorder termed partial bisimulation to define existence of supervisory controllers, and on an appropriate abstraction from stochastic time, which enables usage of standard synthesis tools.

A Supervisor Synthesis Tool for Finite Nondeterministic Automata with Data

The tool implements a process-theoretic approach to supervisory control theory, which employs the behavioral preorder partial bisimulation to characterize the notion of a supervisor, for finite nondeterministic automata with data-based control requirements.

Controllability for Nondeterministic Finite Automata with Variables

This work revisits the notion of controllability for nondeterministic finite automata with variables, which defines conditions under which a model of a supervisory controller can be synthesized, and proposes to employ an extension of controller based on a behavioral relation termed partial bisimulation.

Supervisory movement coordination in pipeless chemical plants

  • J. MarkovskiM. Reniers
  • Business
    2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)
  • 2013
This work proposes multiple alternatives relying on formal verification using timed and stochastic model checking to validate timeliness and reliable completion of the recipes of pipeless chemical plants.

Partner datenverarbeitender Services

Dieser Beitrag erweitert das Konzept der offenen Netze auf High-Level Petrinetze, um die Verarbeitung of Daten in Services darzustellen und werden exemplarisch Partner offener High-level Netze und die in ihnen vorkommenden Ausdrucksmittel untersucht.



A Process Algebra for Supervisory Coordination

This article takes a closer look at the control loop that couples the supervisory controller and the machine, and model both event-based and state-based observations using process algebra and bisimulation-based semantics.

Towards a concurrency theory for supervisory control

A process-theoretic concurrency model to express supervisory control properties and sketches a future research path in terms of a new formal language for concurrent control modeling.

Model-Based Engineering of Supervisory Controllers using CIF

A framework based on the Compositional Interchange Format for hybrid systems (CIF) has been developed that integrates the MBE and the SCT paradigms and an industrial-size case study has been performed: synthesis of a supervisory controller for the patient support system of an MRI scanner.

Supervisory control of a class of discrete event processes

The paper studies the control of a class of discrete event processes, i.e., processes that are discrete, asynchronous and possibly nondeterministic. The controlled process is described as the

Supervisory control using failure semantics and partial specifications

  • A. Overkamp
  • Computer Science
    IEEE Trans. Autom. Control.
  • 1997
A framework is presented for the supervisory control of nondeterministic discrete-event systems based on failure semantics. It guarantees deadlock-free behavior under all circumstances, it allows for

Extraction and representation of a supervisor using guards in extended finite automata

This paper introduces a method to characterize a controllable and non-blocking supervisor directly on the modular automata (sub-plants and sub-specifications) by extracting some guard conditions from the synthesized supervisor and the synchronized automaton, and reduces the logical expressions to more compact guard conditions.

Coordination of resources using generalized state-based requirements

A coordinator for maintenance procedures for a high-tech Oce printer that eliminates undesired behavior which stems from unrestricted interaction of its distributed components is developed.

On non-deterministic supervisory control

Supervisory control theory (SCT) is examined in a non-deterministic setting. We show that language controllability of a supervisor is not necessarily equivalent to state controllability when the

Integration of supervisory control synthesis in model-based systems engineering

This paper discusses the integration of recently developed supervisor synthesis techniques and tools in engineering processes and examples of industrial cases are presented, where supervisors synthesized have successfully been implemented and integrated in existing resource control platforms.

A state-based framework for supervisory control synthesis and verification

We extend an existing model-based framework for supervisory control synthesis with generalized control and verification state-based requirements. The former stem from the need for intuitive