Supervisory control of a class of discrete event processes
SIAM Journal on Control and Optimization
Process algebra with propositional signals
ACP '95 Proceedings from the international workshop on Algebra of communicating processes
The Challenge of Building Process-Control Software
IEEE Software
Model-Checking Algorithms for Continuous-Time Markov Chains
IEEE Transactions on Software Engineering
QEST '05 Proceedings of the Second International Conference on the Quantitative Evaluation of Systems
Introduction to Discrete Event Systems
Introduction to Discrete Event Systems
Process Algebra: Equational Theories of Communicating Processes
Process Algebra: Equational Theories of Communicating Processes
Interactive Markov chains: and the quest for quantified quality
Interactive Markov chains: and the quest for quantified quality
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Towards Supervisory Control of Interactive Markov Chains: Controllability
ACSD '11 Proceedings of the 2011 Eleventh International Conference on Application of Concurrency to System Design
Verifying Performance of Supervised Plants
ACSD '12 Proceedings of the 2012 12th International Conference on Application of Concurrency to System Design
Hi-index | 0.00 |
We develop a process theory that can model supervisory control loops with data observation for stochastic discrete-event systems. Supervisory controllers safely coordinate distributed components of complex systems by observing their high-level discrete(-event) behavior and making a decision on allowed activities. Models of such controllers can be automatically synthesized based on the formal models of the system components and a formalization of the coordination requirements. We employ generic communication primitives to distinguish between the different flows of information, i.e., observation and supervision, whereas the coordination requirements are compactly expressed in terms of data assignments. The stochastic behavior can be employed for performance or reliability analysis, bringing higher confidence in the control design. We illustrate the framework by remodeling an industrial case study involving safe and reliable coordination of multiple maintenance procedures of a printing process of a high-tech printer.