Modal specifications for the control theory of discrete event systems

Discrete Event Dynamic Systems: Theory and Applications

Volumn 17, Issue 2, 2007, Pages 211-232

  Feuillade, Guillaume ^a   Pinchinat, Sophie ^b  

^a UNIVERSITÉ PAUL SABATIER   (France)

^b CAMPUS DE BEAULIEU   (France)

Author keywords

Conjunctive nu calculus; Control theory; Logics; Maximally permissive solutions; Modal specifications; Mu calculus; Reactive systems

Indexed keywords

CONTROL THEORY; DISCRETE EVENT SIMULATION; FORMAL LOGIC; GRAPH THEORY; MODAL ANALYSIS; PROBLEM SOLVING;

CONJUNCTIVE NU CALCULUS; MAXIMALLY PERMISSIVE SOLUTIONS; MODAL SPECIFICATIONS; MU CALCULUS; REACTIVE SYSTEMS;

CONTROL SYSTEM ANALYSIS;

EID: 34147178439     PISSN: 09246703     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10626-006-0008-6     Document Type: Conference Paper

References (17)

1. Arnold A, Niwinski D (2001) Rudiments of Mu-calculus. North-Holland
2. Arnold A, Vincent A, Walukiewicz I (2003) Games for synthesis of controllers with partial observation, Theoretical Computer Science. 303(1): 7-34. June
3. Briand X (2006) Sur la décidabilité de certains problèmes de synthèse de contrôleursm, Ph.D. Thesis, Université de Bordeaux I, June
4. Cassandras CG, Lafortune S (1999) Introduction to discrete event systems. Boston, MA:Kluwer
5. Gohari P, Murray Wonham W (2000) On the complexity of supervisory control design in the RW framework. IEEE Transactions on Systems, Man, and Cybernetics, Part B, 30(5):643-652
6. Harel D, Pnueli A (1984) On the development of reactive systems. In: Krzysztof R. Apt (ed) logic and model of concurrent systems. NATO ASI, Volume 1.3. Springer Berlin Heidelberg New York, pp 477-498, October
7. Jiang S, Kumar R (2005) Supervisory control of discrete event systems with ctl* temporal logic specifications. SIAM Journal on Control and Optimization 44(6), January
8. Kumar R, Garg VK (1995) Modeling and Control of Logical Discrete Invent Systems. Kluwer, Boston, MA
9. Kozen D (1983) Results on the propositional Mu-calculus. Theoretical Computer Science 27: 333-354
10. Larsen KG (1989) Modal specifications. In: Proc. workshop automatic verification methods for finite state systems, Grenoble, LNCS 407. Springer, Berlin Heidelberg New York, pp. 232-246, June
11. Pinchinat S, Riedweg S (2005) A decidable class of problems for control under partial observation. Information Processing Letters 95(4): 454-460
12. Riedweg S, Pinchinat S (2003) Quantified Mu-calculus for control synthesis. In: Mathematical foundations of computer science, Bratislava. Slovak Republic, August
13. Riedweg S, Pinchinat S (2004) Maximally permissive controllers in all contexts. In: Workshop on discrete event systems, Reims, France, September
14. Raclet JB, Pinchinat S (2005) The control of non-deterministic systems: a logical approach. In: Pavel Piztek, editor, Proceedings of the 16th IFAC Word Congress, Prague, Czech Republic, Elsevier, Amsterdam, July
15. Ramadge PJG, Wonham WM (1989) The control of discrete event systems. Proceedings of the IEEE, 77: 81-98
16. Tabuada P, Pappas GJ (2003) Model checking ltl over controllable linear systems is decidable. In: O. Maler, A. Pnueli (eds.), HSCC, Lecture Notes in Computer Science, Volume 2623. Springer, Berlin Heidelberg New York, pp 498-513
17. Wonham WM (1989) On the control of discrete-event systems. Springer New York, Inc, New York, NY, USA