Process-theoretic supervisor synthesis framework with data

Markovski, Jasen

doi:10.1109/icca.2013.6564864

Cited by 1 publication

(1 citation statement)

References 17 publications

(76 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…9 that is being built at Dortmund Technical University in Germany. We improve upon previous attempts to model this system using automata-based specifications for the purpose of functional validation and performance analysis [41,42]. For additional details regarding extraction of performance models of the pipeless plant and their analysis using stochastic model checking techniques, we refer to [43].…”

Section: Vehicle Movement Coordinationmentioning

confidence: 99%

A process-theoretic approach to supervisory coordination under partial observation

Markovski

2016

Science of Computer Programming

Self Cite

View full text Add to dashboard Cite

h i g h l i g h t s• We propose a model-based engineering framework for coordination of complex systems. • The framework relies on a process theory geared towards supervisory coordination. • We defined controllability by means of the partial bisimulation preorder.• We characterize event history-based and data observer-based supervisors.• The framework is employed for coordination of a printing process function. a r t i c l e i n f o a b s t r a c tWe propose a synthesis-centric model-based engineering framework for safe and nonblocking coordination of distributed components of complex high-tech systems. The framework is based on a process theory geared towards supervisory coordination and control of nondeterministic discrete-event systems under partial observation. Supervisory control theory deals with automated synthesis of provably correct models of supervisory controllers based on formal models of the system components and a formalization of the coordination requirements. Based on the obtained models, code generation can be used to implement the supervisory controllers in software, on a PLC, or an embedded (micro)processor. The proposed theory employs communication actions to distinguish between the different flows of information, i.e., observation of the system behavior and supervision by means of forwarding control signals. In addition, we consider the case of partial observation, where some behavior of the unsupervised system is hidden from the supervisory controller, e.g., due to lack of sensory information or internal inter-component communication. We revisit the notion of partial observation and treat it as a property of the supervisor, instead of conditioning the control requirements, which is a standard approach. By employing a behavior relation termed partial bisimulation, we are able to succinctly and transparently capture the notions of controllability and partial observability.

show abstract

Section: Vehicle Movement Coordinationmentioning

confidence: 99%