Title | ||
---|---|---|
A synthesis-centric model-based systems engineering framework for reliable supervision of systems with general distributions |
Abstract | ||
---|---|---|
We propose a synthesis-centric model-based systems engineering framework for discrete-event systems with general distributions. Supervisory control theory studies supervisory controllers' automated synthesis. Thus, it ensures the safe coordination among various distributed system components in terms of their discrete-event behavior. General distributions provide for (convenient) modeling of important real-world phenomena that cannot be consistently modeled only by means of timed or Markovian delays. Our approach 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. In the special cases when the distributions degrade to standard timed delays or Markovian processes, we provide for appropriate reductions of the models suitable for timed and stochastic model checking. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1109/CoASE.2014.6899362 | Automation Science and Engineering |
Keywords | Field | DocType |
Markov processes,control system synthesis,delays,discrete event systems,stochastic automata,systems engineering,Markovian processes,automated supervisory controller synthesis,behavioral preorder,discrete-event systems,distributed system components,general distributions,partial bisimulation,real-world phenomena modeling,reliable system supervision,standard synthesis tool,standard timed delays,stochastic time,supervisory control theory,synthesis-centric model-based systems engineering framework,timed stochastic model checking | Markov process,Controllability,Computer science,Automaton,Stochastic process,Supervisory control theory,Preorder,Control engineering,Model-based systems engineering,Bisimulation,Distributed computing | Conference |
Citations | PageRank | References |
0 | 0.34 | 23 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jasen Markovski | 1 | 0 | 0.34 |
HeSuan Hu | 2 | 0 | 0.34 |