Abstract | ||
---|---|---|
Embedded systems must be improved to survive in the rapid-changing business environment. Supervisory control is a promising approach for such improvement. This paper presented the introduction of supervisory control theory to embedded systems. The major results are (i) a theorem for supervisory control and (ii) its property which enables us to apply model checking technique to the analysis of the model given by the theorem. They were illustrated with an example of car controller. |
Year | DOI | Venue |
---|---|---|
2017 | 10.1109/ISCE.2017.8355538 | 2017 IEEE International Symposium on Consumer Electronics (ISCE) |
Keywords | Field | DocType |
car controller,supervisor synthesis theorem,embedded systems,business environment,supervisory control theory,model checking technique | Supervisor,Control theory,Model checking,Supervisory control,Computer science,Supervisory control theory,Business environment,Embedded system | Conference |
ISSN | ISBN | Citations |
2158-3994 | 978-1-5386-2190-5 | 1 |
PageRank | References | Authors |
0.40 | 4 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Yamaguchi, S. | 1 | 12 | 7.14 |