Synthesis of discrete-event controllers based on the SIGNAL environment

Discrete Event Dynamic Systems: Theory and Applications

Volumn 10, Issue 4, 2000, Pages 325-346

  Marchand, Hervé ^a   Bournai, Patricia ^a   Le Borgne, Michel ^a   Le Guernic, Paul ^a  

^a INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; MATHEMATICAL MODELS; POLYNOMIALS; PROGRAM COMPILERS; SYNCHRONIZATION;

POLYNOMIAL DYNAMIC SYSTEMS (PDS); TERNARY DECISION DIAGRAMS (TDD);

DISCRETE TIME CONTROL SYSTEMS;

EID: 0034297771     PISSN: 09246703     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1008311720696     Document Type: Article

References (25)

1. 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.
2. Benveniste, A., and Berry, G. 1991. Real-time systems designs and programming. Proceedings of the IEEE 79(9): 1270-1282.
3. Benveniste, A., and Le Guernic, P. 1990. Hybrid dynamical systems and the signal programming language. IEEE Trans. Automat. Control 35: 535-546.
4. Bournai, P., and Le Guernic, P. 1993. Un environnement graphique pour le langage Signal. Technical Report 741, IRISA (In French).
5. Bryant, R. 1986. Graph-based algorithms for Boolean function manipulations. IEEE Transaction on Computers C-45(8): 677-691.
6. Dutertre, B. 1992. Spécification et preuve de systèmes dynamiques. Ph.D. thesis, Université de Rennes I, IFSIC (In French).
7. 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.
8. Halbwachs, N. 1993. Synchronous Programming of Reactive Systems. Kluwer.
9. Hoffmann, G., and Wong-Toi, H. 1992. Symbolic synthesis of supervisory controllers. Proc. of 1992 American Control Conference, Chicago, Il, USA, pp. 2789-2793.
10. 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.
11. Kouchnarenko, O., and Pinchinat, S. 1998. Intensional approachs for symbolic methods. Electronic Notes in TCS 18.
12. Kozen, D. 1983. Results on the prepositional μ-calculus. Theoretical Computer Science 27(3): 333-354.
13. Krogh, B. H. 1993. Supervisory control of Petri nets. In: Belgian-French-Netherlands' Summer School on Discrete Event Systems.
14. Le Borgne, M., Benveniste, A., and Le Guernic, P. 1991. Polynomial dynamical systems over finite fields. Algebraic Computing in Control 165: 212-222.
15. 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.
16. 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.
17. 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.
18. 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.
19. 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.
20. Marchand, H., and Le Borgne, M. 1999. The supervisory control problem of discrete event systems using polynomial methods. Research Report 1271, Irisa.
21. Pinchinat, S. 1996. Sigali vs μcalculus. Personnal communication.
22. 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.
23. Ramadge, P. J., and Wonham, W. M. 1987. Modular feedback logic for discrete event systems. SIAM J. Control Optim. 25(5): 1202-1218.
24. 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.
25. 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.