Synthesis and analysis of supervisory controllers for time-abstracted discrete-event systems

Markovski, Jasen

doi:10.1109/coase.2013.6653906

Cited by 1 publication

(1 citation statement)

References 26 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Finally, the proposed theory should be easily extendible with quantitative information, as we would like to improve upon the expressivity of the framework, e.g., by including timed or stochastic behavior and performance-based requirements of the supervised system. Initial proposals in this direction can be found in [30][31][32], where the extensions rely on appropriate adaptations of the partial bisimulation preorder, further validating our approach.…”

Section: Related Workmentioning

confidence: 79%

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: Related Workmentioning

confidence: 79%