Supervisory control problem using symbolic bisimulation techniques

Proceedings of the American Control Conference

Volumn 6, Issue , 2000, Pages 4067-4071

  Marchand, Herve ^a   Pinchinat, Sophie ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

Discrete event systems; ILTS; Supervisory control problem; Symbolic bisimulation

Indexed keywords

ALGEBRAIC METHOD; BISIMULATION TECHNIQUE; BISIMULATIONS; ILTS; IMPLICIT REPRESENTATION; LABELED TRANSITION SYSTEMS; SUPERVISORY CONTROL; SYMBOLIC BISIMULATION;

ALGORITHMS; AUTOMATA THEORY; DISCRETE EVENT SIMULATION; CLOSED LOOP CONTROL SYSTEMS; COMPUTER SIMULATION; CONTROLLABILITY; DISCRETE TIME CONTROL SYSTEMS; FORMAL LANGUAGES; MATHEMATICAL MODELS; NUMERICAL METHODS; POLYNOMIALS; SET THEORY;

ALGEBRA; SCADA SYSTEMS;

DISCRETE EVENT SYSTEM; INTENSIONAL LABELED TRANSITION SYSTEM; SYMBOLIC BISIMULATION;

EID: 0034544032     PISSN: 07431619     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ACC.2000.876986     Document Type: Conference Paper

References (9)

1. G. Barrett and S. Lafortune, "Bisimulation, the supervisory control problem and strong model matching for finite state machines," Discrete Event Dynamic Systems, vol. 8, no. 4, pp. 337-429, December 1998.
2. P. J. Ramadge and W. M. Wonham, "The control of discrete event systems," Proceedings of the IEEE; Special issue on Dynamics of Discrete Event Systems, vol. 77, no. 1, pp. 81-98, 1989.
3. D. Park, "Concurrency and automata on infinite sequences," in Pmc. 5th GI Conf. on Th. Comp. Sci., LNCS 104. Mar. 1981, pp. 167-183, Springer-Verlag.
4. J. C. M. Baeten and W. P. Weijland, Process Algebra, vol. 18 of Cambridge Racts in Theoretical Computer Science, Cambridge Univ. Press, 1990.
5. J.-C. Fernandez, "An implementation of an efficient algorithm for bisimulation equivalence," Science of Computer Programming, vol. 13, pp. 219-236, May 1989.
6. O. Kouchnarenko and S. Pinchinat, ''Intensional approachs for symbolic methods," Electronic Notes in Theoretical Computer Science, vol. 18, 1998.
7. R.E. Bryant, "Graph-based algorithms for Boolean function manipulations," IEEE Ransaction on Computers, vol. C-45, no. 8, pp. 677-691, August 1986.
8. H. Marchand, P. Bournai, M. Le Borgne, and P. Le Guernic, "A design environment for discrete-event controllers based on the Signal language," in 1998 IEEE Intemational Conf. On Systems, Man, And Cybernetics, San Diego, California, USA, October 1998, pp. 770-775.
9. M. Le Borgne, H. Marchand, E. Rutten, and M. Samaan, "Formal verification of signal programs: Application to a power transformer station controller," in Proceedings of A MAST'96, Munich, Germany, July 1996, vol. 1101 of Lecture Notes in Computer Science, pp. 271-285, Springer-Verlag.