Abstract
So far we have restricted our attention to behaviors consisting of finite length strings. Such behaviors are useful in describing safety properties of a system, i.e., those properties which state that some conditions must never occur. In this chapter we will study supervisory control of behaviors consisting of infinite length strings. Such behaviors are useful in describing progress properties of a system, i.e., those properties which state that some conditions must occur eventually. In general it is not possible to express such progress constraints as constraints on finite length strings. Consider for example a communication system in which every transmitted message must be received eventually. Since each finite length trace of the communication system can be extended in a manner such that the above constraint is satisfied, this constraint does not impose any restriction on finite length traces of the communication system. However, it is clear that it imposes restriction on traces of infinite length. Thus there is a need to separately study issues related to behaviors consisting of infinite length strings, or non-terminating behaviors. Such behaviors are represented using ω-languages. In order to avoid any confusion, we use the term *-language to denote a set of finite length strings.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliographic Remarks
For a general treatment of ω-language theory readers are referred to Eilenberg [Eil74] and Thomas [Tho90]. Supervisory control of non-terminating behavior was first studied by Ramadge [Ram89]. The notion of ω-controllability is due to Thistle-Wonham [TW94b, TW94a]. Young-Spanjol-Garg [YSG92] also presented the equivalent notion of finite stabilizability. The notion of deadlock-free languages and its relation to ω-languages was reported by Kumar-Garg-Marcus [KGM92]. The formula for the supremal ω-controllable sublanguage is due to Kumar-Garg [KG94a].
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer Science+Business Media New York
About this chapter
Cite this chapter
Kumar, R., Garg, V.K. (1995). Control of Non-Terminating Behavior. In: Modeling and Control of Logical Discrete Event Systems. The Springer International Series in Engineering and Computer Science, vol 300. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-2217-1_5
Download citation
DOI: https://doi.org/10.1007/978-1-4615-2217-1_5
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-5931-9
Online ISBN: 978-1-4615-2217-1
eBook Packages: Springer Book Archive