Formalization of resilience for constraint-based dynamic systems

Journal of Reliable Intelligent Environments

Volumn 2, Issue 1, 2016, Pages 17-35

  Schwind, Nicolas ^a,b   Magnin, Morgan ^a,c   Inoue, Katsumi ^a,d,e   Okimoto, Tenda ^f   Sato, Taisuke ^a,g   Minami, Kazuhiro ^d,h   Maruyama, Hiroshi ^d,h  

^a NATIONAL INSTITUTE OF INFORMATICS   (Japan)

^b National Institute of Genetics   (Japan)

^c ECOLE CENTRALE DE NANTES   (France)

^d GRADUATE UNIVERSITY FOR ADVANCED STUDIES   (Japan)

^e TOKYO INSTITUTE OF TECHNOLOGY   (Japan)

^f KOBE UNIVERSITY   (Japan)

^g NATIONAL INSTITUTE OF ADVANCED INDUSTRIAL SCIENCE AND TECHNOLOGY AIST   (Japan)

^h INSTITUTE OF STATISTICAL MATHEMATICS   (Japan)

Author keywords

Constraint based system; Dynamic system; Recoverability; Resilience; Resistance

Indexed keywords

ELECTRIC RESISTANCE;

COMPUTATIONAL MODEL; CONSTRAINT-BASED; IN-BUILDINGS; LARGE SCALE EVENTS; PARAMETERIZED; RECOVERABILITY; RESILIENCE; RESILIENT SYSTEMS;

DYNAMICAL SYSTEMS;

EID: 85001969848     PISSN: 21994668     EISSN: 21994676     Source Type: Journal    
DOI: 10.1007/s40860-015-0016-0     Document Type: Article

References (52)

1. Ali S, Koenig S, Tambe M (2005) Preprocessing techniques for accelerating the DCOP algorithm ADOPT. In: Proceedings of the 4th international conference on autonomous agents and multi-agent systems (AAMAS’05), pp 1041–1048
2. Apt K (2003) Principles of constraint programming. Cambridge University Press, New York
3. Augusto JC, Callaghan V, Cook D, Kameas A, Satoh I (2013) Intelligent environments: a manifesto. Hum-Centric Comput Inf Sci 3(2):1–18
4. Ballarini P, Miller A (2006) Model checking medium access control for sensor networks. In: Proceedings of the 2nd international symposium on leveraging applications of formal methods (ISoLA’06), pp 256–262
5. Baral C, Eiter T, Bjäreland M, Nakamura M (2008) Maintenance goals of agents in a dynamic environment: formulation and policy construction. Artif Intell 172(12–13):1429–1469
6. Benveniste A, Caspi P, Edwards SA, Halbwachs N, Guernic PL, de Simone R (2003) The synchronous languages 12 years later. Proc IEEE 91(1):64–83
7. Bilal K, Manzano M, Khan SU, Calle E, Li K, Zomaya AY (2013) On the characterization of the structural robustness of data center networks. IEEE Trans Cloud Comput 1(1):1–1
8. Bruneau M (2003) A framework to quantitatively assess and enhance the seismic resilience of communities. In: Earthquake spectra, vol 19
9. Cicchetti D (2010) Resilience under conditions of extreme stress: a multilevel perspective. World Psychiatry 9(3):145–154
10. Climent L, Wallace RJ, Salido MA, Barber F (2014) Robustness and stability in constraint programming under dynamism and uncertainty. J Artif Intell Res 49:49–78
11. De Florio V (2015) On resilient behaviors in computational systems and environments. J Reliab Intell Environ 1(1):33–46
12. De Schutter B (2001) Stability analysis of discrete event systems. Automatica 37(5):799–801
13. Dechter R (2003) Constraint processing. Morgan Kaufmann Publishers Inc., San Francisco
14. Dechter R, Dechter A (1988) Belief maintenance in dynamic constraint networks. In: Proceedings of the 7th national conference on artificial intelligence (AAAI’88), pp 37–42
15. Dijkstra EW (1974) Self-stabilizing systems in spite of distributed control. Commun ACM 17(11):643–644
16. Folke C, Carpenter SR, Walker B, Scheffer M, Chapin T, Rockström J (2010) Resilience thinking: integrating resilience, adaptability and transformability. Ecol Soc 15(4):20
17. Greenberg A, Hamilton J, Maltz DA, Patel P (2008) The cost of a cloud: research problems in data center networks. ACM SIGCOMM. Comput Commun Rev 39(1):68–73
18. Grimm V, Calabrese JM (2011) What is resilience? A short introduction. In: Viability and resilience of complex systems, understanding complex systems. Springer, Berlin, pp 3–13
19. Grimm V, Wissel C (1997) Babel, or the ecological stability discussions: an inventory and analysis of terminology and a guide for avoiding confusion. Oecologia 109(3):323–334
20. Haimes YY, Crowther KG, Horowitz BM (2008) Homeland security preparedness: balancing protection with resilience in emergent systems. Syst Eng 11(4):287–308
21. Hamming RW (1950) Error detecting and error correcting codes. Bell Syst Tech J 29:147–160
22. Henzinger TA, Sifakis J (2006) The embedded systems design challenge. In: Formal methods (FM’06), pp 1–15
23. Holling C (1973) Resilience and stability of ecological systems. Annu Rev Ecol Syst 4:1–23
24. Junges R, Bazzan A (2008) Evaluating the performance of DCOP algorithms in a real world, dynamic problem. In: Proceedings of the 7th international conference on autonomous agents and multi-agent systems (AAMAS’08), pp 599–606
25. Kopetz H (2011) Real-time systems: design principles for distributed embedded applications. In: Real-time systems series. Springer, US
26. Linkov I, Eisenberg DA, Bates ME, Chang D, Convertino M, Allen JH, Flynn SE, Seager TP (2013) Measurable resilience for actionable policy. Environ Sci Technol 47(18):10108–10110
27. Linkov I, Eisenberg DA, Plourde K, Seager TP, Allen J, Kott A (2013) Resilience metrics for cyber systems. Environ Syst Decis 33(4):471–476
28. Longstaff PH, Armstrong NJ, Perrin K, Parker WM, Hidek MA (2010) Building resilient communities: a preliminary framework for assessment. Homel Secur Aff 6(3)
29. Maheswaran R, Tambe M, Bowring E, Pearce J, Varakantham P (2004) Taking DCOP to the real world: efficient complete solutions for distributed multi-event scheduling. In: Proceedings of the 3rd international conference on autonomous agents and multi-agent systems, pp 310–317
30. Marrero W, Clarke E, Jha S (1997) Model checking for security protocols. Technical report, Carnegie Mellon University, Pittsburgh
31. Özveren CM, Willsky AS, Antsaklis PJ (1991) Stability and stabilizability of discrete event dynamic systems. J ACM 38(3):7300–7752
32. Özveren CM, Willsky AS, Antsaklis PJ (1991) Stability and stabilizability of discrete event dynamic systems. J ACM 38(3):729–751
33. Puterman ML (1994) Markov decision processes: discrete stochastic dynamic programming, 1st edn. Wiley, New York
34. Ramadge PJ, Wonham WM (1987) Supervisory control of a class of discrete event processes. SIAM J Control Optim 25(1):206–230
35. Ritchey RW, Ammann P (2000) Using model checking to analyze network vulnerabilities. In: IEEE symposium on security and privacy, pp 156–165
36. Russell SJ, Norvig P (2003) Artificial intelligence: a modern approach, 2 edn. Pearson Education, UK
37. Schiex T, Fargier H, Verfaillie G (1995) Valued constraint satisfaction problems: hard and easy problems. In: Proceedings of the 14th international joint conference on artificial intelligence (IJCAI’95), pp 631–639
38. Schwind N, Okimoto T, Inoue K, Chan H, Ribeiro T, Minami K, Maruyama H (2013) Systems resilience: a challenge problem for dynamic constraint-based agent systems. In: Proceedings of the 12th international conference on autonomous agents and multi-agent systems (AAMAS’13), pp 785–788
39. Sharma A, Sharma D (2012) Solving dynamic constraint optimization problems using ichea. In: Neural information processing, vol 7665. Springer, Berlin, pp 434–444
40. Smith P, Hutchison D, Sterbenz JPG, Schller M, Fessi A, Karaliopoulos M, Lac C, Plattner B (2011) Network resilience: a systematic approach. IEEE Commun Mag 49(7):88–97
41. Stoicescu M, Fabre J-C, Roy M (2011) Architecting resilient computing systems: overall approach and open issues. In: Troubitsyna E (ed) Software engineering for resilient systems. Lecture notes in computer science, vol 6968. Springer, New York, pp 48–62
42. Taleb NN (2008) The black swan: the impact of the highly improbable. Random House Inc., New York
43. Tomlin CJ, Lygeros J, Sastry SS (2000) A game theoretic approach to controller design for hybrid systems. Proc IEEE 88(7):949–970
44. Verfaillie G, Pralet C, Lemaître M (2010) Constraint-based modeling of discrete event dynamic systems. J Intell Manuf 21(1):31–47
45. Verfaillie G, Schiex T (1994) Solution reuse in dynamic constraint satisfaction problems. In: Proceedings of the 12th national conference on artificial intelligence (AAAI’94), pp 307–312
46. Walker BH, Holling CS, Carpenter SC, Kinzig AP (2004) Resilience, adaptability and transformability. Ecol Soc 9(2):5
47. Wallace RJ, Freuder EC (1998) Stable solutions for dynamic constraint satisfaction problems. In: Proceedings of 4th international conference on principles and practice of constraint programming (CP’98), pp 447–461
48. Wallace RJ, Grimes D, Freuder EC (2009) Solving dynamic constraint satisfaction problems by identifying stable features. In: Proceedings of the 21st international joint conference on artificial intelligence (IJCAI’09), pp 621–627
49. Wildavsky A (1991) Searching for safety. Transaction Publishers, New Brunswick
50. Wohlgemuth S (2014) Adaptive user-centered security. In: Availability, reliability, and security in information systems. Lecture Notes in Computer Science, vol 8708, pp 94–109
51. Wohlgemuth S (2014) Is privacy supportive for adaptive ICT systems? In: Proceedings of the 16th international conference on information integration and web-based applications and services (iiWAS’14), pp 559–570
52. Wong KC, Wonham WM (1996) Hierarchical control of discrete-event systems. Discret Event Dyn Syst 6(3):241–273