×

Controller synthesis for bisimulation equivalence. (English) Zbl 1154.93324

Summary: The objective of this paper is to solve the controller synthesis problem for bisimulation equivalence in a wide variety of scenarios including discrete-event systems, nonlinear control systems, behavioral systems, hybrid systems and many others. This will be accomplished by showing that the arguments underlying proofs of existence and the methods for the construction of controllers are extraneous to the particular class of systems being considered and thus can be presented in greater generality.

MSC:

93B11 System structure simplification
93B50 Synthesis problems
93B28 Operator-theoretic methods
93B17 Transformations

Software:

UMDES
PDFBibTeX XMLCite
Full Text: DOI arXiv

References:

[1] Alur, R.; Henzinger, T.; Kupferman, O.; Vardi, M., Alternating refinement relations, (Proceedings of the 8th International Conference on Concurrence Theory. Proceedings of the 8th International Conference on Concurrence Theory, Lecture Notes in Computer Science, vol. 1466 (1998), Springer), 163-178 · Zbl 1070.68524
[2] Ames, A. D.; Sangiovanni-Vincentelli, A.; Sastry, S., Homogeneous semantics preserving deployments of heterogeneous networks of embedded systems, (Antsaklis, Panos J.; Tabuada, Paulo, Networked Embedded Sensing and Control. Networked Embedded Sensing and Control, Lecture Notes in Control and Information Sciences, vol. 331 (2006), Springer: Springer Notre Dame, IN), 127-154 · Zbl 1112.68395
[3] Bednarczyk, M. A.; Bernardinello, L.; Caillaud, B.; Pawlowski, W.; Pomello, L., Modular system development with pullbacks, (Cortadella, J.; Reisig, W., Proceedings of the 24th International Conference on Application and Theory of Petri Nets. Proceedings of the 24th International Conference on Application and Theory of Petri Nets, Lecture Notes in Computer Science, vol. 2679 (2003), Springer-Verlag), 140-160 · Zbl 1274.68220
[4] Bloom, B.; Paige, R., Transformational design and implementation of a new efficient solution to the ready simulation problem, Science of Computer Programming, 24, 3, 189-220 (1995) · Zbl 0832.68050
[5] Clarke, E. M.; Grumberg, O.; Peled, D., Model Checking (1999), MIT Press
[6] Cassandras, C.; Lafortune, S., Introduction to Discrete Event Systems (1999), Kluwer Academic Publishers: Kluwer Academic Publishers Boston, MA · Zbl 0934.93001
[7] Davoren, J.; Tabuada, P., On simulations and bisimulations of general flow systems, (Bemporad, A.; Bicchi, A.; Buttazzo, G., Hybrid Systems: Computation and Control 2006. Hybrid Systems: Computation and Control 2006, Lecture Notes in Computer Science, vol. 4416 (2007), Springer-Verlag: Springer-Verlag Pisa, Italy), 145-158 · Zbl 1221.93113
[8] Elkin, V. I., Affine control systems: Their equivalence, classification, quotient systems, and subsystems, Journal of Mathematical Sciences, 88, 5, 675-721 (1998) · Zbl 0953.93020
[9] Grasse, K. A., Simulation and bisimulation of nonlinear control systems with admissible classes of inputs and disturbances, SIAM Journal on Control and Optimization, 46, 2, 562-584 (2007) · Zbl 1141.93009
[10] M.R. Henzinger, T.A. Henzinger, P.W. Kopke, Computing simulations on finite and infinite graphs, in: Proc. Symp. Foundations of Computer Science, 1995, pp. 453-462; M.R. Henzinger, T.A. Henzinger, P.W. Kopke, Computing simulations on finite and infinite graphs, in: Proc. Symp. Foundations of Computer Science, 1995, pp. 453-462 · Zbl 0938.68538
[11] Haghverdi, E.; Tabuada, P.; Pappas, G. J., Bisimulation relations for dynamical, control and hybrid systems, Theoretical Computer Science, 34, 2-3, 387-392 (2005)
[12] Joyal, A.; Nielsen, M.; Winskel, G., Bisimulation from open maps, Information and Computation, 127, 164-185 (1996) · Zbl 0856.68067
[13] Kumar, R.; Garg, V. K., Modeling and Control of Logical Discrete Event Systems (1995), Kluwer Academic Publishers · Zbl 0875.68980
[14] Mac Lane, S., Categories for the Working Mathematician (1971), Springer-Verlag · Zbl 0232.18001
[15] Milner, R., Communication and Concurrency (1989), Prentice Hall · Zbl 0683.68008
[16] Madhusudan, P.; Thiagarajan, P. S., Branching time controllers for discrete event systems, Theoretical Computer Science, 274, March, 117-149 (2002) · Zbl 0992.68148
[17] Park, David, Concurrency and automata on infinite sequences, Theoretical Computer Science (1981), pp. 167-183 · Zbl 0457.68049
[18] Pappas, G. J.; Lafferriere, G.; Sastry, S., Hierarchically consistent control systems, IEEE Transactions on Automatic Control, 45, 6, 1144-1160 (2000) · Zbl 0971.93004
[19] G. Pola, A.J. van der Schaft, M.D. Di Benedetto, Achievable bisimilar behaviour of abstract systems, in: Proceedings of the Joint 44th IEEE Conference on Decision and Control and European Control Conference CDC-ECC’05, Seville, December 2005, pp. 814-819; G. Pola, A.J. van der Schaft, M.D. Di Benedetto, Achievable bisimilar behaviour of abstract systems, in: Proceedings of the Joint 44th IEEE Conference on Decision and Control and European Control Conference CDC-ECC’05, Seville, December 2005, pp. 814-819
[20] Pola, G.; van der Schaft, A. J.; di Benedetto, M. D., Equivalence of switching linear systems by bisimulation, International Journal of Control, 79, 1, 74-92 (2006) · Zbl 1122.93319
[21] Polderman, J. W.; Willems, J. C., (Introduction to Mathematical Systems Theory: A Behavioral Approach. Introduction to Mathematical Systems Theory: A Behavioral Approach, Texts in Applied Mathematics, vol. 26 (1998), Springer-Verlag: Springer-Verlag New York)
[22] Ramadge, P. J.; Wonham, W. M., Supervisory control of a class of discrete event systems, SIAM Journal on Control and Optimization, 25, 1, 206-230 (1987) · Zbl 0618.93033
[23] Ramadge, P. J.; Wonham, W. M., The control of discrete event systems, Proceedings of IEEE, 77, 1, 81-98 (1989) · Zbl 0595.93047
[24] Tabuada, P., Open maps, alternating simulations and controller synthesis, (Gardner, Philippa; Yoshida, Nobuko, Proceedings of the 15th International Conference on Concurrence Theory. Proceedings of the 15th International Conference on Concurrence Theory, Lecture Notes in Computer Science, vol. 3170 (2004), Springer: Springer London, UK), 466-480 · Zbl 1099.68073
[25] Tabuada, P.; Pappas, G. J., Bisimilar control affine systems, Systems and Control Letters, 52, 1, 49-58 (2004) · Zbl 1157.93300
[26] Tabuada, P.; Pappas, G. J., Quotients of fully nonlinear control systems, SIAM Journal on Control and Optimization, 43, 5, 1844-1866 (2005) · Zbl 1116.93024
[27] van der Schaft, A. J., Achievable behavior of general systems, Systems and Control Letters, 49, 141-149 (2003) · Zbl 1157.93309
[28] van der Schaft, A., Equivalence of dynamical systems by bisimulation, IEEE Transactions on Automatic Control, 49, 12, 2160-2172 (2004) · Zbl 1365.93212
[29] Winskel, G.; Nielsen, M., (Abramsky; Gabbay; Maibaum, Models for Concurrency. Models for Concurrency, Handbook of Logic and Foundations of Theoretical Computer Science, vol. 4 (1994), Oxford University Press: Oxford University Press London)
[30] Zhou, C.; Kumar, R.; Jiang, S., Control of nondeterministic discrete-event systems for bisimulation equivalence, IEEE Transactions on Automatic Control, 51, 5, 754-765 (2006) · Zbl 1366.93372
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.