Achieving distributed control through model checking

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6174 LNCS, Issue , 2010, Pages 396-409

  Graf, Susanne ^a   Peled, Doron ^b   Quinton, Sophie ^a  

^a VERIMAG   (France)

^b BAR ILAN UNIVERSITY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

CONCURRENT SYSTEMS; DISTRIBUTED CONTROL; DISTRIBUTED CONTROLLER; GLOBAL CONSTRAINTS;

COMPUTER AIDED ANALYSIS; CONCURRENCY CONTROL; DISTRIBUTED PARAMETER CONTROL SYSTEMS;

MODEL CHECKING;

EID: 77954976008     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-14295-6_35     Document Type: Conference Paper

References (12)

1. Basu, A., Bensalem, S., Peled, D., Sifakis, J.: Priority scheduling of distributed systems based on model checking. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 79-93. Springer, Heidelberg (2009)
2. Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time components in BIP. In: SEFM, pp. 3-12. IEEE Computer Society Press, Los Alamitos (2006)
3. Katz, G., Peled, D.: Code mutation in verification and automatic code generation. In: TACAS. LNCS. Springer, Heidelberg (to appear, 2010)
4. Orlin, J.B.: Contentment in graph theory: covering graphs with cliques (1977)
5. Pérez, J.A., Corchuelo, R., Toro, M.: An order-based algorithm for implementing multiparty synchronization. Concurrency - Practice and Experience 16(12), 1173-1206 (2004)
6. Rudie, K., Ricker, S.L.: Know means no: Incorporating knowledge into discrete-event control systems. Transactions on Automatic Control 45(9), 1656-1668 (2000)
7. Rudie, K., Wonham, W.M.: Think globally, act locally: decentralized supervisory control. Transactions on Automatic Control 37(11), 1692-1708 (1992)
8. Thistle, J.G.: Undecidability in decentralized supervision. System and Control Letters 54, 503-509 (2005)
9. Thomas, W.: On the synthesis of strategies in infinite games. In: Mayr, E.W., Puech, C. (eds.) STACS 1995. LNCS, vol. 900, pp. 1-13. Springer, Heidelberg (1995)
10. Tripakis, S.: Undecidable problems of decentralized observation and control on regular languages. Inf. Process. Lett. 90(1), 21-28 (2004)
11. van der Meyden, R.: Common knowledge and update in finite environments. Inf. Comput. 140(2), 115-157 (1998)
12. Yoo, T.-S., Lafortune, S.: A general architecture for decentralized supervisory control of discrete-event systems. Discrete Event Dynamic Systems 12(3), 335-377 (2002)