Author:
Feuillade Guillaume,Pinchinat Sophie
Publisher
Springer Science and Business Media LLC
Subject
Electrical and Electronic Engineering,Modelling and Simulation,Control and Systems Engineering
Reference17 articles.
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
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献