A process-theoretic approach to supervisory control theory

Baeten, J.C.M.; Beek, D.A. van; Luttik, Bas; Markovski, Jasen; Rooda, J.E.

doi:10.1109/acc.2011.5990831

Cited by 30 publications

(101 citation statements)

References 15 publications

Supporting

Mentioning

101

Contrasting

Order By: Relevance

“…We will employ this minimization to reduce the size of the uncontrolled system in a supervisory control framework that automatically synthesizes control software [14]. Furthermore, the algorithm can also serve as basis for computing minimization with respect to so-called covariant-contravariant simulations, which have recently been shown related to the notion of modal transition systems [18].…”

Section: Concluding Remarks and Discussionmentioning

confidence: 99%

“…Note that is a preorder relation that is also a simulation relation, making ↔ an equivalence relation [14].…”

Section: Simulation Preorder and Partition Pairsmentioning

confidence: 99%

“…Our main motivation for developing a new algorithm for minimization by simulation, focused on labeled transitions systems, is ongoing research in process-theoretic approaches to automated generation of control software [14]. There, the underlying refinement relation between the implementation and specification is a so-called partial bisimulation preorder [14].…”

Section: Introductionmentioning

confidence: 99%

“…There, the underlying refinement relation between the implementation and specification is a so-called partial bisimulation preorder [14]. This relation lies between simulation and bisimulation, by requiring that the specification simulates all actions of the implementation, whereas in the other direction only a subset of the actions needs to be (bi)simulated.…”

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

Saving Time in a Space-Efficient Simulation Algorithm

Markovski

2011

2011 11th International Conference on Quality Software

Self Cite

View full text Add to dashboard Cite

We present an efficient algorithm for computing the simulation preorder and equivalence for labeled transition systems. The algorithm improves an existing space-efficient algorithm and improves its time complexity by employing a variant of the stability condition and exploiting properties of the underlying relations and partitions. It has comparable space and time complexity with the most efficient counterpart algorithms for Kripke structures.

show abstract

Section: Concluding Remarks and Discussionmentioning

confidence: 99%

“…Note that is a preorder relation that is also a simulation relation, making ↔ an equivalence relation [14].…”

Section: Simulation Preorder and Partition Pairsmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Saving Time in a Space-Efficient Simulation Algorithm

Markovski

2011

2011 11th International Conference on Quality Software

Self Cite

View full text Add to dashboard Cite

show abstract

“…Subsequent attempts, like [23][24][25], recognized the importance of (bi)simulation-based approaches. A process-theoretic approach to supervisory control theory was proposed in [26], employing the behavioral preorder partial bisimulation.…”

Section: A Process-theoretic Foundationmentioning

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

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

Supervisory Coordination of Timed Communicating Processes

Markovski

2014

ICT Innovations 2013

View full text Add to dashboard Cite

A process-theoretic approach to supervisory control theory

Cited by 30 publications

References 15 publications

Saving Time in a Space-Efficient Simulation Algorithm

Saving Time in a Space-Efficient Simulation Algorithm

The role of supervisory controller synthesis in automatic control software development

Supervisory Coordination of Timed Communicating Processes

Contact Info

Product

Resources

About