Summary
The signed real measure of regular languages, introduced in Chapter 1, has been the driving force for quantitative analysis and synthesis of discrete-event supervisory (DES) control systems dealing with finite state automata (equivalently, regular languages). However, this approach relies on memoryless state-based tools for supervisory control synthesis and may become inadequate if the transitions in the plant dynamics cannot be captured by finitely many states. From this perspective, the measure of regular languages needs to be extended to that of non-regular languages, such as Petri nets or other higher level languages in the Chomsky hierarchy [9]. The development of measures for non-regular languages is a topic of future research that has not apparently been reported in open literature. This chapter introduces two research topics in the field of language-measure-based supervisory control. One topic is complex measure of non-regular languages, dealing with linear context free grammars (LCFG). The proposed complex measure reduces to the signed real measure [16] [12] [15], as presented in Chapter 1, if the LCFG is degenerated to a regular grammar. The other topic is modification of the (regular) language measure for supervisory control under partial observation. This chapter shows how to generalize the analysis to situations where some of the events may not be observable at the supervisory level.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
C.G. Cassandras and S. Lafortune, Introduction to discrete event systems, Kluwer Academic, 1999.
I. Chattopadhyay, A. Ray, and X. Wang, A complex measure of non-regular languages for discrete-event supervisory control, Proceedings of American Control Conference, Boston, MA, June–July 2004, pp. 5120–5125.
V. Drobot, Formal languages and automata theory, Computer Science Press, 1989.
J. Fu, C.M. Lagoa, and A. Ray, Robust optimal control of regular languages with event cost uncertainties, Proceedings of IEEE Conference on Decision and Control, December 2003, pp. 3209–3214.
J. Fu, A. Ray, and C.M. Lagoa, Optimal control of regular languages with event disabling cost, Proceedings of American Control Conference, Denver, Colorado, June 2003, pp. 1691–1695.
J. Fu, A. Ray, and C.M. Lagoa, Unconstrained optimal control of regular languages, Automatica 40 (2004), no. 4, 639–648.
J. E. Hopcroft, R. Motwani, and J. D. Ullman, Introduction to automata theory, languages, and computation, 2nd ed., Addison-Wesley, 2001.
R. Kumar and V. Garg, Modeling and control of logical discrete event systems, Kluwer Academic, 1995.
J. C. Martin, Introduction to languages and the theory of computation, 2nd ed., McGraw-Hill, 1997.
J.O. Moody and P.J. Antsaklis, Supervisory control of discrete event systems using petri nets, Kluwer Academic, 1998.
P.J. Ramadge and W.M. Wonham, Supervisory control of a class of discrete event processes, SIAM J. Control and Optimization 25 (1987), no. 1, 206–230.
A. Ray and S. Phoha, Signed real measure of regular languages for discrete-event automata, Int. J. Control 76 (2003), no. 18, 1800–1808.
J.J. Rotman, Advanced modern algebra, 1st ed., Prentice Hall, 2002.
W. Rudin, Real and complex analysis, 3rd ed., McGraw-Hill, New York, 1987.
A. Surana and A. Ray, Signed real measure of regular languages, Demonstratio Mathematica 37 (2004), no. 2, 485–503.
X. Wang and A. Ray, A language measure for performance evaluation of discrete-event supervisory control systems, Applied Mathematical Modelling 28 (2004), no. 9, 817–833.
X. Wang, A. Ray, and A. Khatkhate, On-line identification of language measure parameters for discrete event supervisory control, Proceedings of 42nd IEEE Conference on Decision and Control (Maui, Hawaii), December 2003, pp. 6307–6312.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer Science+Business Media, Inc.
About this chapter
Cite this chapter
Chattopadhyay, I., Ray, A. (2005). Advanced Topics in Supervisory Control. In: Ray, A., Phoha, V.V., Phoha, S.P. (eds) Quantitative Measure for Discrete Event Supervisory Control. Springer, New York, NY. https://doi.org/10.1007/0-387-23903-0_4
Download citation
DOI: https://doi.org/10.1007/0-387-23903-0_4
Publisher Name: Springer, New York, NY
Print ISBN: 978-0-387-02108-9
Online ISBN: 978-0-387-23903-3
eBook Packages: Computer ScienceComputer Science (R0)