@inproceedings{afdcad721f294c6a99fca34d29b8df46,
title = "Discrete-event controller synthesis based on state space models",
abstract = "Given partially-controllable and partially-observable discrete-event systems, an approach is proposed to model their control system and to design a controller. Via the Petri-net tool, two state-space models are obtained for them based on state-feedback and event-feedback, respectively. According to the former, the maximally-permissive controller is designed when a plant to be controlled is observable and partially-controllable. According to the latter, the maximally-permissive controller is designed when a plant is partially observable. An example is used to illustrate the theoretic results.",
keywords = "Petri nets, forbidden states, generalized mutual exclusion constraints, linear-constraints",
author = "Jiliang Luo and Qi Zhao and Huang, {Yi Sheng} and Mengchu Zhou",
note = "Publisher Copyright: {\textcopyright} 2015 IEEE.; 11th IEEE International Conference on Automation Science and Engineering, CASE 2015 ; Conference date: 24-08-2015 Through 28-08-2015",
year = "2015",
month = oct,
day = "7",
doi = "10.1109/CoASE.2015.7294045",
language = "English (US)",
series = "IEEE International Conference on Automation Science and Engineering",
publisher = "IEEE Computer Society",
pages = "87--92",
booktitle = "2015 IEEE Conference on Automation Science and Engineering",
address = "United States",
}