Supervisory control problems for nondeterministic discrete-event systems: A logical approach

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 16, Issue , 2005, Pages 67-72

  Pinchinat, Sophie ^a   Raclet, Jean Baptiste ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

Computer aided system design; Controlled systems; Discrete event systems; Formal specification; Mu calculus; Nondeterminism

Indexed keywords

CALCULATIONS; FORMAL SPECIFICATION; TEMPORAL LOGIC;

COMPUTER-AIDED SYSTEMS; CONTROLLED SYSTEM; DETERMINISTIC SYSTEMS; MU-CALCULUS; NON-DETERMINISM; NONDETERMINISTIC DISCRETE EVENT SYSTEMS; NONDETERMINISTIC SYSTEMS; SUPERVISORY CONTROL;

DISCRETE EVENT SIMULATION;

EID: 79960712891     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20050703-6-cz-1902.00296     Document Type: Conference Paper

References (9)

1. Arnold, A., A. Vincent and I.Walukiewicz (2003). Games for synthesis of controllers with partial observation. Theorical Computer Science 303(1), 7-34.
2. Emerson, E.A. (1990). Temporal and modal logic. In: Handbook of Theoretical Computer Science, vol. B (J. van Leeuwen, Ed.). Chap. 16, pp. 995-1072. Elsevier.
3. Heymann, M. and F. Lin (1998). Discrete-event control of nondeterministic systems. 43(1), 3-17.
4. Raclet, J.B. and S. Pinchinat (2004). The control of non-deterministic systems : a logical approach. RR 1648. Irisa.
5. Riedweg, S. (2003). Logiques pour le controle d'automatismes discrets. PhD thesis. IRISA Rennes.
6. Riedweg, S. and S. Pinchinat (2003). Quantified mu-calculus for control synthesis. In: Mathematical Foundations of Computer Science. Bratislava, Slovak Republic. pp. 642-651.
7. Riedweg, S. and S. Pinchinat (2004). Maximally permissive controllers in all contexts. In: Proc of 7th Workshop on Discrete Event Systems, WODES 2004. Reims, France. pp. 283-288.
8. Riedweg, S. and S. Pinchinat (2005). You can always compute maximally permissive controllers under partial observation when they exist. In: Proc. 2005 American Control Conference.. Portland, Oregon.
9. Thomas, W. (1997). Languages, automata and logic. In: Handbook of Formal Languages (A. Salomaa and G. Rozenberg, Eds.). Vol. 3, Beyond Words. Springer-Verlag. Berlin.