Controller/orchestrator synthesis via filtration

Electronic Notes in Theoretical Computer Science

Volumn 262, Issue , 2010, Pages 33-48

  Balbiani, Philippe ^a   Cheikh, Fahima ^a   Feuillade, Guillaume ^b  

^a UNIVERSITÉ DE TOULOUSE   (France)

^b UNIVERSITÉ PAUL SABATIER   (France)

Author keywords

Bisimulation; Controller synthesis; Filtration; Modal logic; Orchestrator synthesis

Indexed keywords

FILTRATION;

BISIMULATIONS; CONTROLLER SYNTHESIS; DECISION PROBLEMS; FILTRATION METHODS; MODAL LOGIC; SYNCHRONOUS PRODUCTS;

COMPUTER SCIENCE;

EID: 84861160867     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2010.04.004     Document Type: Conference Paper

References (15)

1. Alvarez, C., Balcázar, J., Gabarró, J., Sántha, M.: Parallel complexity in the design and analysis of concurrent systems. In: PARLE'91, Parallel Architectures and Languages Europe. Springer-Verlag (1991) 288-303.
2. Arnold, A., Niwiński, D.: Rudiments of μ-Calculus. Elsevier (2001).
3. Arnold, A., Vincent, A., Walukiewicz, I.: Games for synthesis of controllers with partial observation. Theoretical computer science 303 (2003) 7-34.
4. Berardi, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Mecella, M.: Automatic composition of e-services that export their behavior. In: Service-Oriented Computing - ICSOC 2003. Springer (2003) 43-58.
5. Berardi, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Mecella, M.: Synthesis of underspecified composite e-services based on automated reasoning. In: ICSOC'04 - Proceedings of the Second International Conference on Service Oriented Computing. ACM Press (2004) 105-114. (Pubitemid 40821141)
6. Berardi, D., Calvanese, D., De Giacomo, G., Hull, R., Mecella, M.: Automated composition of transitionbased semantic Web services with messaging. In: Proceedings of the 31st International Conference on Very Large Data Bases. VLDB Endowment (2005) 613-624. (Pubitemid 43991038)
7. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press (2001).
8. Burch, J., Clarke, E., McMillan, K., Dill, D., Hwang, L.: Symbolic model checking: 1020 states and beyond. Information and Computation 98 (1992) 142-170.
9. Clarke, E., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Counterexample-guided abstraction refinement for symbolic model checking. Journal of the ACM 50 (2003) 752-794.
10. Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press (2000).
11. Maler, O., Pnueli, A., Sifakis, J.: On the synthesis of discrete controllers for timed systems. In: STACS 95. Springer (1995) 229-242.
12. Muscholl, A., Walukiewicz, I.: A lower bound on Web services composition. In: Foundations of Software Science and Computational Structures. Springer (2007) 274-286. (Pubitemid 350259709)
13. Pistore, M., Marconi, A., Bertoli, P., Traverso, P.: Automated composition of Web services by planning at the knowledge level. In: Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence (2005) 1252-1259.
14. Ramadge, P., Wonham, W.: The control of discrete event systems. In: Proceedings of the IEEE. IEEE (1989) 81-98.
15. Tsitsiklis, J.: On the control of discrete-event dynamical systems. Mathematics of Control, Signals, and Systems 2 (1989) 95-107.