Abstract
In this paper, we present the integration of controller synthesis techniques in the SIGNAL environmentthrough the description of a tool dedicated to the incrementalconstruction of reactive controllers. The plant is specifiedin SIGNAL and the control synthesis is performed ona logical abstraction of this program, named polynomial dynamicalsystem (PDS) over ℤ/3ℤ{−1,0,+1}. The control of the plant is performedby restricting the controllable input values with respect tothe control objectives. These restrictions are obtained by incorporatingnew algebraic equations into the initial system. This theorysets the basis for the verification and the controller synthesistool, SIGNAL. Moreover, we present a tool developedaround the SIGNAL environment allowing the visualizationof the synthesized controller by an interactive simulation ofthe controlled system. In a first stage, the user specifies in SIGNAL both the physical model and the control objectivesto be ensured. A second stage is performed by the SIGNAL compiler which translates the initial SIGNAL programinto a PDS, and the control objectives in terms of polynomialrelations/operations. The controller is then synthesized using SIGNAL. The result is a controller coded by a polynomialand then by a Ternary Decision Diagram (TDD). Finally, in a thirdstage, the obtained controller and some simulation processesare automatically included in the initial SIGNAL program.It is then sufficient for the user to compile the resulting SIGNAL program which generates executable code ready for simulation.Different academic examples are used to illustrate the applicationof the tool.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Balemi, S., Hoffmann, G., Wong-Toi, H., and Franklin, G. 1993. Supervisory control of a rapid thermal multiprocessor. IEEE Transactions on Automatic Control 38(7): 1040-1059.
Benveniste, A., and Berry, G. 1991. Real-time systems designs and programming. Proceedings of the IEEE 79(9): 1270-1282.
Benveniste, A., and Le Guernic, P. 1990. Hybrid dynamical systems and the signal programming language. IEEE Trans. Automat. Control 35: 535-546.
Bournai, P., and Le Guernic, P. 1993. Un environnement graphique pour le langage Signal. Technical Report 741, IRISA (In French).
Bryant, R. 1986. Graph-based algorithms for Boolean function manipulations. IEEE Transaction on Computers C-45(8): 677-691.
Dutertre, B. 1992. Spécification et preuve de systèmes dynamiques. Ph.D. thesis, Université de Rennes I, IFSIC (In French).
Gautier, T., and Le Guernic, P. 1999. Code generation in the SACRES project'. Towards System Safety, Proceedings of the Safety-critical Systems Symposium, SSS'99, Huntingdon, UK.
Halbwachs, N. 1993. Synchronous Programming of Reactive Systems. Kluwer.
Hoffmann, G., and Wong-Toi, H. 1992. Symbolic synthesis of supervisory controllers. Proc. of 1992 American Control Conference, Chicago, Il, USA, pp. 2789-2793.
Holloway, L., Krogh, B., and Giua, A. 1997. A survey of Petri net methods for controlled discrete event systems. Discrete Event Dynamic Systems: Theory and Application 7: 151-190.
Kouchnarenko, O., and Pinchinat, S. 1998. Intensional approachs for symbolic methods. Electronic Notes in TCS 18.
Kozen, D. 1983. Results on the propositional μ-calculus. Theoretical Computer Science 27(3): 333-354.
Krogh, B. H. 1993. Supervisory control of Petri nets. In: Belgian-French-Netherlands' Summer School on Discrete Event Systems.
Le Borgne, M., Benveniste, A., and Le Guernic, P. 1991. Polynomial dynamical systems over finite fields. Algebraic Computing in Control 165: 212-222.
Le Borgne, M., Marchand, H., Rutten, E., and Samaan, M. 1996. Formal verification of SIGNAL programs: Application to a power transformer station controller. Proceedings of AMAST'96, Vol. 1101 of Lecture Notes in Computer Science, Munich, Germany, pp. 271-285.
Le Guernic, P., Gautier, T., Le Borgne, M., and Le Maire, C. 1991. Programming real-time applications with Signal. Proceedings of the IEEE 79(9): 1321-1336.
Maler, O., Pnueli, A., and Sifakis, J. 1995. On the synthesis of discrete controllers for timed systems. Proceedings STACS'95, Vol. 900 of Lecture Notes in Computer Science, pp. 229-242.
Marchand, H., and Le Borgne, M. 1998a. On the optimal control of polynomial dynamical systems over Z/pZ. 4th International Workshop on Discrete Event Systems, Cagliari, Italy, pp. 385-390.
Marchand, H., and Le Borgne, M. 1998b. Partial order control of discrete event systems modeled as polynomial dynamical systems. 1998 IEEE International Conference On Control Applications, Trieste, Italia.
Marchand, H., and Le Borgne, M. 1999. The supervisory control problem of discrete event systems using polynomial methods. Research Report 1271, Irisa.
Pinchinat, S. 1996. Sigali vs μ-calculus. Personnal communication.
Pinchinat, S., Marchand, H., and Le Borgne, M. 1999. Symbolic abstractions of automata and their application to the supervisory control problem. Research Report 1279, IRISA.
Ramadge, P. J., and Wonham, W. M. 1987. Modular feedback logic for discrete event systems. SIAM J. Control Optim. 25(5): 1202-1218.
Ramadge, P. J., and Wonham, W. M. 1989. The control of discrete event systems. Proceedings of the IEEE; Special issue on Dynamics of Discrete Event Systems 77(1): 81-98.
Wonham, W. M., and Ramadge, P. J. 1987. On the supremal controllable sublanguage of a given language. SIAM J. Control Optim. 25(3): 637-659.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Marchand, H., Bournai, P., Borgne, M.L. et al. Synthesis of Discrete-Event Controllers Based on the Signal Environment. Discrete Event Dynamic Systems 10, 325–346 (2000). https://doi.org/10.1023/A:1008311720696
Issue Date:
DOI: https://doi.org/10.1023/A:1008311720696