State based control of timed discrete event systems using binary decision diagrams Export

@article{citeulike:1066244, abstract = {This work discusses a new synthesis approach to the supervisory control of timed discrete event systems (TDES), that is more efficient than the existing approaches. With this method, many practical systems can be synthesized on a personal computer. The method exploits binary decision diagrams (BDDs), adapted to the specific structure of TDES. It is shown that the number of nodes in the BDD representing a TDES can be a better measure of the complexity of the TDES than the number of states and transitions. Structural information based on the `timers' for a given TDES together with the reduction properties of BDDs contributes to efficient performance. The success of our approach is illustrated with large versions of an existing example taken from the literature.}, author = {Saadatpoor, Ali and Wonham, W. M.}, citeulike-article-id = {1066244}, citeulike-linkout-0 = {http://dx.doi.org/10.1016/j.sysconle.2006.07.012}, citeulike-linkout-1 = {http://www.sciencedirect.com/science/article/B6V4X-4KTVTMN-2/2/d9d4532600b798520b4694e4ca46e65f}, doi = {10.1016/j.sysconle.2006.07.012}, journal = {Systems \& Control Letters}, keywords = {bdd, binary, decision, diagrams, supervisoty}, month = {January}, number = {1}, pages = {62--74}, posted-at = {2007-01-25 09:37:34}, priority = {2}, title = {State based control of timed discrete event systems using binary decision diagrams}, url = {http://dx.doi.org/10.1016/j.sysconle.2006.07.012}, volume = {56}, year = {2007} }

TY - JOUR ID - citeulike:1066244 L3 - citeulike-article-id:1066244 N2 - This work discusses a new synthesis approach to the supervisory control of timed discrete event systems (TDES), that is more efficient than the existing approaches. With this method, many practical systems can be synthesized on a personal computer. The method exploits binary decision diagrams (BDDs), adapted to the specific structure of TDES. It is shown that the number of nodes in the BDD representing a TDES can be a better measure of the complexity of the TDES than the number of states and transitions. Structural information based on the `timers' for a given TDES together with the reduction properties of BDDs contributes to efficient performance. The success of our approach is illustrated with large versions of an existing example taken from the literature. IS - 1 JF - Systems & Control Letters EP - 74 TI - State based control of timed discrete event systems using binary decision diagrams VL - 56 SP - 62 KW - bdd KW - binary KW - decision KW - diagrams KW - supervisoty AU - Saadatpoor, Ali AU - Wonham, WM PY - 2007/01// UR - http://dx.doi.org/10.1016/j.sysconle.2006.07.012 ER -