Control Systems as Action Systems. Rönkkö, M., Sekerinski, E., & Sere, K. In Smedinga, R., Spathopoulos, M. P., & Kozák, P., editors, WODES 96 – Workshop on Discrete Event Systems, pages 362–367, Edinburgh, August, 1996. Institute of Electronical Engineers. ![Control Systems as Action Systems [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper abstract bibtex We study the problem of constructing controllers for discrete event systems using the action systems formalism. Action systems are based on predicate transformers where the state base of the system is of utmost importance. There are no notions of events or alphabet sets that are used in many other approaches. Action systems have proved their worth in many applications, typically when modelling different types of concurrent behaviour. We outline an action systems based approach to constructing a controller for a discrete event system and apply it to an example of a practical, real-world control problem. We show how the important safety properties can be proved within this framework.
@inproceedings{RonkkoSekerinskiSere96ControlActionSystems,
address = {Edinburgh},
title = {Control {Systems} as {Action} {Systems}},
url = {https://www.cas.mcmaster.ca/~emil/pubs/RonkkoSekerinskiSere96ControlActionSystems.pdf},
abstract = {We study the problem of constructing controllers for discrete event systems using the action systems formalism. Action systems are based on predicate transformers where the state base of the system is of utmost importance. There are no notions of events or alphabet sets that are used in many other approaches. Action systems have proved their worth in many applications, typically when modelling different types of concurrent behaviour. We outline an action systems based approach to constructing a controller for a discrete event system and apply it to an example of a practical, real-world control problem. We show how the important safety properties can be proved within this framework.},
booktitle = {{WODES} 96 – {Workshop} on {Discrete} {Event} {Systems}},
publisher = {Institute of Electronical Engineers},
author = {Rönkkö, Mauno and Sekerinski, Emil and Sere, Kaisa},
editor = {Smedinga, R. and Spathopoulos, M. P. and Kozák, P.},
month = aug,
year = {1996},
pages = {362--367},
}
Downloads: 0
{"_id":"m2ZFHTCE4mzCApKww","bibbaseid":"rnkk-sekerinski-sere-controlsystemsasactionsystems-1996","author_short":["Rönkkö, M.","Sekerinski, E.","Sere, K."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Edinburgh","title":"Control Systems as Action Systems","url":"https://www.cas.mcmaster.ca/~emil/pubs/RonkkoSekerinskiSere96ControlActionSystems.pdf","abstract":"We study the problem of constructing controllers for discrete event systems using the action systems formalism. Action systems are based on predicate transformers where the state base of the system is of utmost importance. There are no notions of events or alphabet sets that are used in many other approaches. Action systems have proved their worth in many applications, typically when modelling different types of concurrent behaviour. We outline an action systems based approach to constructing a controller for a discrete event system and apply it to an example of a practical, real-world control problem. We show how the important safety properties can be proved within this framework.","booktitle":"WODES 96 – Workshop on Discrete Event Systems","publisher":"Institute of Electronical Engineers","author":[{"propositions":[],"lastnames":["Rönkkö"],"firstnames":["Mauno"],"suffixes":[]},{"propositions":[],"lastnames":["Sekerinski"],"firstnames":["Emil"],"suffixes":[]},{"propositions":[],"lastnames":["Sere"],"firstnames":["Kaisa"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Smedinga"],"firstnames":["R."],"suffixes":[]},{"propositions":[],"lastnames":["Spathopoulos"],"firstnames":["M.","P."],"suffixes":[]},{"propositions":[],"lastnames":["Kozák"],"firstnames":["P."],"suffixes":[]}],"month":"August","year":"1996","pages":"362–367","bibtex":"@inproceedings{RonkkoSekerinskiSere96ControlActionSystems,\n\taddress = {Edinburgh},\n\ttitle = {Control {Systems} as {Action} {Systems}},\n\turl = {https://www.cas.mcmaster.ca/~emil/pubs/RonkkoSekerinskiSere96ControlActionSystems.pdf},\n\tabstract = {We study the problem of constructing controllers for discrete event systems using the action systems formalism. Action systems are based on predicate transformers where the state base of the system is of utmost importance. There are no notions of events or alphabet sets that are used in many other approaches. Action systems have proved their worth in many applications, typically when modelling different types of concurrent behaviour. We outline an action systems based approach to constructing a controller for a discrete event system and apply it to an example of a practical, real-world control problem. We show how the important safety properties can be proved within this framework.},\n\tbooktitle = {{WODES} 96 – {Workshop} on {Discrete} {Event} {Systems}},\n\tpublisher = {Institute of Electronical Engineers},\n\tauthor = {Rönkkö, Mauno and Sekerinski, Emil and Sere, Kaisa},\n\teditor = {Smedinga, R. and Spathopoulos, M. P. and Kozák, P.},\n\tmonth = aug,\n\tyear = {1996},\n\tpages = {362--367},\n}\n\n","author_short":["Rönkkö, M.","Sekerinski, E.","Sere, K."],"editor_short":["Smedinga, R.","Spathopoulos, M. P.","Kozák, P."],"key":"RonkkoSekerinskiSere96ControlActionSystems","id":"RonkkoSekerinskiSere96ControlActionSystems","bibbaseid":"rnkk-sekerinski-sere-controlsystemsasactionsystems-1996","role":"author","urls":{"Paper":"https://www.cas.mcmaster.ca/~emil/pubs/RonkkoSekerinskiSere96ControlActionSystems.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://api.krunk.cn/emil/bib.php","dataSources":["HEdahWqKBpmSGmDwq","MF5eGzpJnqf6bSAoG","ienufKdnmJs49AsjR","So4gmSWFmbQRNEuFs","yBNL6zg4bd77wFNse","CvQYP6Tmpapx74Mgr","RWydLHbBJqgdeh5jr"],"keywords":[],"search_terms":["control","systems","action","systems","rönkkö","sekerinski","sere"],"title":"Control Systems as Action Systems","year":1996}