Quotient-based control synthesis for non-deterministic plants with mu-calculus specifications

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2006, Pages 6041-6046

  Basu, Samik ^a   Kumar, Ratnesh ^a  

^a UNIVERSITY OF IOWA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATION THEORY; DISCRETE EVENT SIMULATION; PROBLEM SOLVING; SET THEORY;

AUTOMATON MODELS; NONDETERMINISTIC DISCRETE EVENT SYSTEM;

CONTROL SYSTEMS;

EID: 39649110891     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/cdc.2006.376737     Document Type: Conference Paper

References (11)

1. H.R. Andersen. Partial model checking (extended abstract). In Logic in Computer Science, 1995.
2. A. Arnold, A. Vincent, and I. Walukiewicz. Games for synthesis of controllers with partial observation. Theoretical Computer Science, pages 7-34, 2003.
3. Samik Basu and C. R. Ramakrishnan. Compositional analysis for verifi cation of parameterized systems. Theoretical Computer Science, 354(2):211-229, 2006.
4. E. A. Emerson and C. S. Jutla. The complexity of tree automata and logics of programs. Siam Journal of Computing, 29(1): 132-158, 1999.
5. E. A. Emerson, C. S. Jutla, and A. P. Sistla. On model checking for the μ-calculus and its fragments. Theoretical Computer Science, 258(1-2):491-522, 2001.
6. D. Janin and I. Walukiewicz. Automata for the modal μ-calculus and related results. In Proceedings of International Symposium on Mathematical Foundations of Computer Science, 1995.
7. D. Kozen. Results on the propositional μ-calculus. Theoretical Computer Science, 1983.
8. Sophie Pinchinat and Stéphane Riedweg. A decidable class of problems for control under partial observation. Information Processing Letters, 95(4):454-465, August 2005.
9. P. J. Ramadge and W. M. Wonham. Supervisory control of a class of discrete event processes. SIAM Journal of Control and Optimization, 25(1):206-230, 1987.
10. S. Riedweg and S. Pinchinat. Quantified mu-calculus for control synthesis. In Mathematical Foundations of Computer Science, Bratislava, Slovak Republic, aug 2003.
11. Colin Stirling. Games and modal mu-calculus. In Tools and Algorithms for the Construction and Analysis of Systems, pages 298-312, 1996.