ABSTRACT
The basic theory of supervisory control of discrete-event systems is extended with the notion of templates, which simplifies the modeling of controllers since one can work with conceptual designs. In this work, software which provides support for the new design approach is presented along with its application to a robotic testbed.
- M. H. de Queiroz and J. E. R. Cury. Synthesis and implementation of local modular supervisory control for a manufacturing cell. In Proceedings of the 6th International Workshop on Discrete Event Systems (WODES '02), pages 377--382, Zaragoza, Spain, October 2002. Google ScholarDigital Library
- G. Ekberg and B. H. Krogh. Programming discrete control systems using state machine templates. In Proceedings of the 8th International Workshop on Discrete Event Systems, pages 194--200, Ann Arbor, MI, USA, July 2006.Google ScholarCross Ref
- L. Grigorov. Template design of discrete-event systems. Technical report 2007--538, School of Computing, Queen's University, Canada, 2007.Google Scholar
- P. J. Ramadge and W. M. Wonham. Supervisory control of a class of discrete event processes. SIAM Journal on Control and Optimization, 25(1):206--230, 1987. Google ScholarDigital Library
- K. Rudie. The integrated discrete-event systems tool. In Proceedings of the 8th International Workshop on Discrete Event Systems, pages 394--395, Ann Arbor, MI, USA, July 2006.Google ScholarCross Ref
Index Terms
- Template design and automatic generation of controllers for industrial robots
Recommendations
Brief paper: Formulae relating controllability, observability, and co-observability
We present formulae relating controllability, observability, and co-observability arising in the context of supervisory control of discrete event systems. Given a discrete event plant G with event set @e, uncontrollable event set @e"u"i, and observation ...
Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication
In decentralized supervisory control, several local supervisors cooperate to accomplish a common goal (specification). Controllability and coobservability are the key conditions to achieve a specification in the controlled system. We construct a ...
Supervisory control synthesis of discrete-event systems using a coordination scheme
Supervisory control of distributed DES with a global specification and local supervisors is a difficult problem. For global specifications, the equivalent conditions for local control synthesis to equal global control synthesis may not be met. This ...
Comments