Abstract
We consider the problem of synthesizing controllers for dicrete event systems with indistinguishable events. The specification for the supervised system as well as the constraints for the controllers are defined by an extension of the logic of the μ-calculus that generalize the framework introduced by Ramadge and Wonham. More precisely, in order to express that some events are indistinguishable, one can specify with this extension that, from a node of a graph, two edges reach the same node. As for the μ-calculus, the model cheking problem and also the emptiness problem for this extension amount to computing winning strategies in parity games. We show that the centralized control problem with indistinguishable events is decidable by reducing it to the satisfiability problem of a formula of this extension of the μ-calculus. We prove also that, unfortunately, the decentralized control problem is undecidable by a reduction of the halting problem of a Turing machine. Moreover, we exhibit a decidable case of decentralized control by restricting the specifications to those which we called here “conic”.
Similar content being viewed by others
References
Arnold A, Niwinski D (2001). Rudiments of \(\mu\)-calculus. Volume 146 of Studies in Logic and the Foundations of Mathematics. Amsterdam: Elsevier
Arnold A, Vincent A, Walukiewicz I (2003a). Games for synthesis of controllers with partial observation. Theor Comp Sci 303(1):7–34
Arnold A, Briand X, Walukiewicz I (2003b). Synthesis of Decentralized Controllers: Decidable and Undecidable Cases. Proc. ATPN—Workshop on Discrete Event Systems Control, 24th International Conference on Application Theory of Petri Nets (ATPN 2003), Eindhoven, The Netherlands, pp. 57–74, June 2003
Büchi JR (1983). State strategies for games in \(F_{\sigma,\delta}\cap{}G_{\delta,\sigma}\). Journal of Symbolic Logic 48:1171–1198
Cieslak R, Desclaux C, Fawaz AS, Varaiya P (1988). Supervisory control of discrete-event processes with partial observations. IEEE Trans Automat Contr 33:249–260
Cassandras CG, Lafortune S (1999). Introduction to Discrete Event Systems. Norwell, Massachusetts: Kluwer, September
Gurevich, Y., and Harrington L (1982). Trees, automata and games. In 14th ACM Symp. on Theory of Computations, pp. 60–65
Janin D, Walukiewicz I (1996). On the expressive completeness of the modal mu-calculus w.r.t. monadic second order logic. CONCUR'96, Lecture Notes in Computer Science 1119:263–277
Kumar R, Garg VK (1995). Modeling and Control of Logical Discrete Event Systems. Norwell, Massachusetts: Kluwer
Muller D, Schupp P (1987). Alternating automata on infinite trees, Theorl Comp Sci 54(2–3):267–276, October
Muller DE, Schupp PE (1995). Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems by Rabin, McNaughton and Safra, Theor Comp Sci 141:69–107
Ramadge PJG, Wonham WM (1989). The control of discrete event systems, Proceedings of the IEEE, January
Thomas W (1997) Languages, automata, and logic. In Rosenberg G, Salomaa A (eds) Hanbook of Formal Languages vol 3. Springer, Berlin Heidelberg New York
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Briand, X. Dynamic Control with Indistinguishable Events. Discrete Event Dyn Syst 16, 353–384 (2006). https://doi.org/10.1007/s10626-006-9327-x
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10626-006-9327-x