Modeling and Inference of Resilient Systems
| Project/Area Number |
26280092
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (B)
|
| Allocation Type | Partial Multi-year Fund |
|---|
| Section | 一般 |
|---|
| Research Field |
Intelligent informatics
|
|---|
| Research Institution | National Institute of Informatics |
|---|
Principal Investigator |
INOUE Katsumi 国立情報学研究所, 情報学プリンシプル研究系, 教授 (10252321)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
沖本 天太 神戸大学, 海事科学研究科(研究院), 准教授 (10632432)
Nicolas Schwind (NICOLAS Schwind) 国立研究開発法人産業技術総合研究所, その他部局等, 研究員 (60646397)
|
|---|
| Research Collaborator |
RIBEIRO Tony エコールサントラルドゥナント, 博士研究員
MAGNIN Morgan エコールサントラルドゥナント, 准教授
|
|---|
| Project Period (FY) |
2014-04-01 – 2017-03-31
|
| Project Status |
Completed (Fiscal Year 2017)
|
| Budget Amount *help |
¥12,090,000 (Direct Cost: ¥9,300,000、Indirect Cost: ¥2,790,000)
Fiscal Year 2016: ¥3,770,000 (Direct Cost: ¥2,900,000、Indirect Cost: ¥870,000)
Fiscal Year 2015: ¥3,770,000 (Direct Cost: ¥2,900,000、Indirect Cost: ¥870,000)
Fiscal Year 2014: ¥4,550,000 (Direct Cost: ¥3,500,000、Indirect Cost: ¥1,050,000)
|
|---|
| Keywords | 推論 / レジリエンス / 制約最適化 / 多目的最適化 / ロバスト性 / 安定性 / 平等性 / 探索 / 論理 / 推論アルゴリズム |
|---|
| Outline of Final Research Achievements |
In this project, we formalize resilient systems that are tolerant to perturbations and are sustainable for maintaining their functionality, and consider several inference problems on this formalization, which can be used for designing resilient systems. Contributions are summarized as the three points: (A) The model for resilient systems, called SR model, has been extended and several parameterized properties have been improved to capture the resilience of systems. (B) By formalizing the resilience problem in dynamic systems as multi-objective constraint optimization problems, both exact algorithms to get the resilient solutions and approximate algorithms to compute only some representative Pareto solutions have been developed. (C) The notion of resilience has been applied to many applications, including team formation, robot rescue, biological oscillatory systems, belief revision of agents in social networks, then several computational properties have been analyzed for those systems.
|
Report
(4 results)
Research Products
(60 results)
-
-
-
-
-
-
-
-
-
-
-
[Journal Article] Multi-objective Nurse Rerostering Problem2016
Author(s)
Shih-Min Wu, Tenda Okimoto, Katsutoshi Hirayama, Katsumi Inoue
-
Journal Title
Multi-agent and Complex Systems, Studies in Computational Intelligence
Volume: 607
Pages: 139-152
DOI
ISBN
9789811025631, 9789811025648
Related Report
Peer Reviewed / Open Access / Int'l Joint Research
-
-
-
-
-
-
-
-
[Journal Article] Probabilistic Resilience in Hidden Markov Models2016
Author(s)
Jacopo Panerati, Giovanni Beltrame, Nicolas Schwind, Atefan Zeltner, Katsumi Inoue
-
Journal Title
Proceedings of the 4th International Conference on Manufacturing, Optimization, Industrial and Material Engineering 2016 (MOIME 2016), Materials Science and Engineering
Volume: 131(1)
Pages: 012007-012007
DOI
Related Report
Peer Reviewed / Open Access / Int'l Joint Research
-
-
-
[Journal Article] Probabilistic Resilience in Hidden Markov Models2016
Author(s)
Jacopo Panerati, Giovanni Beltrame, Nicolas Schwind, Atefan Zeltner, and Katsumi Inoue
-
Journal Title
In: Proceedings of the 4th International Conference on Manufacturing, Optimization, Industrial and Material Engineering 2016, IOP Conference Series: Materials Science and Engineering
Volume: -
Related Report
Peer Reviewed / Open Access / Int'l Joint Research
-
-
-
-
[Journal Article] How to Form a Task-Oriented Robust Team2015
Author(s)
Tenda Okimoto, Nicolas Schwind, Maxime Clement, Tony Ribeiro, Katsumi Inoue, and Pierre Marquis
-
Journal Title
Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015; Istanbul, Turkey, May 6, 2015)
Volume: -
Pages: 395-403
Related Report
Peer Reviewed / Open Access / Int'l Joint Research
-
-
-
-
[Journal Article] Belief Revision Games2015
Author(s)
Nicolas Schwind, Katsumi Inoue, Gauvain Bourgne, Sebastien Konieczny, Pierre Marquis
-
Journal Title
Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI-15; Austin, Texas, USA, January 27, 2015)
Volume: -
Pages: 1590-1596
Related Report
Peer Reviewed
-
-
-
-
-
-
[Journal Article] Completing SBGN-AF Networks by Logic-Based Hypothesis Finding2014
Author(s)
Yoshitaka Yamamoto, Adrien Rougny, Hidetomo Nabeshima, Katsumi Inoue, Hisao Moriya, Christine Froidevaux, Koji Iwanuma
-
Journal Title
In: François Fages and Carla Piazza (eds.), Formal Methods in Macro-Biology: Proceedings of the First International Conference (FMMB 2014), Lecture Notes in Bioinformatics
Volume: 8738
Pages: 165-179
DOI
ISBN
9783319103976, 9783319103983
Related Report
Peer Reviewed
-
-
[Journal Article] Discriminative MO-COP Operators2014
Author(s)
Nicolas Schwind, Tenda Okimoto, Tony Ribeiro, Sebastien Konieczny, Katsumi Inoue
-
Journal Title
International Joint Workshop on Optimisation in Multi-Agent Systems and Distributed Constraint Reasoning (OptMAS-DCR 2014; Paris, France)
Volume: -
Related Report
Peer Reviewed
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
