研究者詳細 - BONNET FRANCOIS PIERRE ANDRE

写真a

ボネ　フランソワ

BONNET FRANCOIS PIERRE ANDRE

所属

情報理工学院特任准教授

外部リンク

論文

Deterministic Color-Optimal Self-stabilizing Semi-synchronous Gathering: A Certified Algorithm.

François Bonnet 0001, Quentin Bramas, Pierre Courtieu, Xavier Défago, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain

SIROCCO 127 - 143 2025年

　詳細を見る

掲載種別：研究論文（国際会議プロシーディングス）

DOI： 10.1007/978-3-031-91736-3_8

researchmap

その他リンク： https://dblp.uni-trier.de/db/conf/sirocco/sirocco2025.html#BonnetBCDRTU25
Offline Time-Independent Multiagent Path Planning.

Keisuke Okumura 0001, François Bonnet 0001, Yasumasa Tamura, Xavier Défago

IEEE Transactions on Robotics 39 ( 4 ) 2720 - 2737 2023年8月

　詳細を見る

掲載種別：研究論文（学術雑誌）

DOI： 10.1109/TRO.2023.3258690

researchmap
Offline Time-Independent Multi-Agent Path Planning.

Keisuke Okumura 0001, François Bonnet 0001, Yasumasa Tamura, Xavier Défago

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence(IJCAI) 4649 - 4656 2022年

　詳細を見る

掲載種別：研究論文（国際会議プロシーディングス）出版者・発行元：ijcai.org

DOI： 10.24963/ijcai.2022/645

researchmap

その他リンク： https://dblp.uni-trier.de/db/conf/ijcai/ijcai2022.html#00010TD22
Resilient Real-Valued Consensus in Spite of Mobile Malicious Agents on Directed Graphs.

Yuan Wang 0040, Hideaki Ishii, François Bonnet 0001, Xavier Défago

IEEE Transactions on Parallel and Distributed Systems 33 ( 3 ) 586 - 603 2022年

　詳細を見る

掲載種別：研究論文（学術雑誌）

DOI： 10.1109/TPDS.2021.3096074

researchmap
Resilient Consensus for Multi-Agent Systems Under Adversarial Spreading Processes.

Yuan Wang 0040, Hideaki Ishii, François Bonnet 0001, Xavier Défago

IEEE Transactions on Network Science and Engineering 9 ( 5 ) 3316 - 3331 2022年

　詳細を見る

掲載種別：研究論文（学術雑誌）

DOI： 10.1109/TNSE.2022.3176214

researchmap
Offline Time-Independent Multi-Agent Path Planning.

Keisuke Okumura 0001, François Bonnet 0001, Yasumasa Tamura, Xavier Défago

CoRR abs/2105.07132 2021年

　詳細を見る

掲載種別：研究論文（学術雑誌）

researchmap

その他リンク： https://dblp.uni-trier.de/db/journals/corr/corr2105.html#abs-2105-07132
Resilient Consensus Against Epidemic Malicious Attacks.

Yuan Wang 0040, Hideaki Ishii, François Bonnet 0001, Xavier Défago

2021 European Control Conference(ECC) 1393 - 1398 2021年

　詳細を見る

掲載種別：研究論文（国際会議プロシーディングス）出版者・発行元：IEEE

DOI： 10.23919/ECC54610.2021.9654845

researchmap

その他リンク： https://dblp.uni-trier.de/db/conf/eucc/eucc2021.html#WangI0D21
Quixo is Solved.

Satoshi Tanaka, François Bonnet 0001, Sébastien Tixeuil, Yasumasa Tamura

Advances in Computer Games - 17th International Conference(ACG) 85 - 95 2021年

　詳細を見る

掲載種別：研究論文（国際会議プロシーディングス）出版者・発行元：Springer

DOI： 10.1007/978-3-031-11488-5_8

researchmap

その他リンク： https://dblp.uni-trier.de/db/conf/acg/acg2021.html#TanakaBTT21
Resilient Consensus Against Epidemic Malicious Attacks.

Yuan Wang 0040, Hideaki Ishii, François Bonnet 0001, Xavier Défago

CoRR abs/2012.13757 2020年

　詳細を見る

掲載種別：研究論文（学術雑誌）

researchmap

その他リンク： https://dblp.uni-trier.de/db/journals/corr/corr2012.html#abs-2012-13757
Quixo Is Solved.

Satoshi Tanaka, François Bonnet 0001, Sébastien Tixeuil, Yasumasa Tamura

CoRR abs/2007.15895 2020年

　詳細を見る

掲載種別：研究論文（学術雑誌）

researchmap

その他リンク： https://dblp.uni-trier.de/db/journals/corr/corr2007.html#abs-2007-15895
Resilient Consensus Against Mobile Malicious Agents.

Yuan Wang 0040, Hideaki Ishii, François Bonnet 0001, Xavier Défago

CoRR abs/2006.11711 2020年

　詳細を見る

掲載種別：研究論文（学術雑誌）

researchmap

その他リンク： https://dblp.uni-trier.de/db/journals/corr/corr2006.html#abs-2006-11711
Stateless Distributed Ledgers.

François Bonnet 0001, Quentin Bramas, Xavier Défago

CoRR abs/2006.10985 2020年

　詳細を見る

掲載種別：研究論文（学術雑誌）

researchmap

その他リンク： https://dblp.uni-trier.de/db/journals/corr/corr2006.html#abs-2006-10985
Stateless Distributed Ledgers.

François Bonnet 0001, Quentin Bramas, Xavier Défago

Networked Systems - 8th International Conference(NETYS) 349 - 354 2020年

　詳細を見る

掲載種別：研究論文（国際会議プロシーディングス）出版者・発行元：Springer

DOI： 10.1007/978-3-030-67087-0_22

researchmap

その他リンク： https://dblp.uni-trier.de/db/conf/netys/netys2020.html#BonnetBD20
Winning strategies in DarkHex: Hex with hidden stones.

François Bonnet 0001

Journal of the International Computer Games Association 40 ( 3 ) 234 - 245 2018年

　詳細を見る

掲載種別：研究論文（学術雑誌）

DOI： 10.3233/ICG-180057

researchmap

その他リンク： https://dblp.uni-trier.de/db/journals/icga/icga40.html#Bonnet18
Killing Nodes as a Countermeasure to Virus Expansion.

François Bonnet 0001, Quentin Bramas, Xavier Défago, Thanh Dang Nguyen

Structural Information and Communication Complexity - 24th International Colloquium(SIROCCO) 227 - 243 2017年

　詳細を見る

掲載種別：研究論文（国際会議プロシーディングス）出版者・発行元：Springer

DOI： 10.1007/978-3-319-72050-0_14

researchmap

その他リンク： https://dblp.uni-trier.de/db/conf/sirocco/sirocco2017.html#0001BDN17
Model Checking of Robot Gathering.

Ha Thi Thu Doan, François Bonnet 0001, Kazuhiro Ogata 0001

21st International Conference on Principles of Distributed Systems(OPODIS) 12 - 16 2017年

　詳細を見る

掲載種別：研究論文（国際会議プロシーディングス）出版者・発行元：Schloss Dagstuhl - Leibniz-Zentrum für Informatik

DOI： 10.4230/LIPIcs.OPODIS.2017.12

researchmap

その他リンク： https://dblp.uni-trier.de/db/conf/opodis/opodis2017.html#Doan0017
Specifying a Distributed Snapshot Algorithm as a Meta-Program and Model Checking it at Meta-Level.

Ha Thi Thu Doan, Kazuhiro Ogata 0001, François Bonnet 0001

37th IEEE International Conference on Distributed Computing Systems(ICDCS) 1586 - 1596 2017年

　詳細を見る

掲載種別：研究論文（国際会議プロシーディングス）出版者・発行元：IEEE Computer Society

DOI： 10.1109/ICDCS.2017.176

researchmap

その他リンク： https://dblp.uni-trier.de/db/conf/icdcs/icdcs2017.html#DoanOB17
Toward Solving "EinStein würfelt nicht!".

François Bonnet 0001, Simon Viennot

Advances in Computer Games - 15th International Conferences(ACG) 13 - 25 2017年

　詳細を見る

掲載種別：研究論文（国際会議プロシーディングス）出版者・発行元：Springer

DOI： 10.1007/978-3-319-71649-7_2

researchmap

その他リンク： https://dblp.uni-trier.de/db/conf/acg/acg2017.html#0001V17a
Analytical Solution for "EinStein würfelt nicht!" with One Stone.

François Bonnet 0001, Simon Viennot

Advances in Computer Games - 15th International Conferences(ACG) 1 - 12 2017年

　詳細を見る

掲載種別：研究論文（国際会議プロシーディングス）出版者・発行元：Springer

DOI： 10.1007/978-3-319-71649-7_1

researchmap

その他リンク： https://dblp.uni-trier.de/db/conf/acg/acg2017.html#0001V17
Model Checking of a Mobile Robots Perpetual Exploration Algorithm.

Ha Thi Thu Doan, François Bonnet 0001, Kazuhiro Ogata 0001

Structured Object-Oriented Formal Language and Method - 6th International Workshop(SOFL+MSVL) 201 - 219 2016年

　詳細を見る

掲載種別：研究論文（国際会議プロシーディングス）

DOI： 10.1007/978-3-319-57708-1_12

researchmap

その他リンク： https://dblp.uni-trier.de/db/conf/sofl/sofl2016.html#DoanBO16
Nash Equilibrium in Mastermind.

François Bonnet 0001, Simon Viennot

Computers and Games - 9th International Conference 115 - 128 2016年

　詳細を見る

掲載種別：研究論文（国際会議プロシーディングス）出版者・発行元：Springer

DOI： 10.1007/978-3-319-50935-8_11

researchmap

その他リンク： https://dblp.uni-trier.de/db/conf/cg/cg2016.html#BonnetV16
Asynchronous Gathering in Rings with 4 Robots.

François Bonnet 0001, Maria Potop-Butucaru, Sébastien Tixeuil

Ad-hoc, Mobile, and Wireless Networks - 15th International Conference(ADHOC-NOW) 311 - 324 2016年

　詳細を見る

掲載種別：研究論文（国際会議プロシーディングス）出版者・発行元：Springer

DOI： 10.1007/978-3-319-40509-4_22

researchmap

その他リンク： https://dblp.uni-trier.de/db/conf/adhoc-now/adhoc-now2016.html#BonnetPT16
Tight bound on mobile Byzantine Agreement.

François Bonnet 0001, Xavier Défago, Thanh Dang Nguyen, Maria Potop-Butucaru

Theoretical Computer Science 609 361 - 373 2016年

　詳細を見る

掲載種別：研究論文（学術雑誌）

DOI： 10.1016/j.tcs.2015.10.019

researchmap
Tight Bound on Mobile Byzantine Agreement.

François Bonnet 0001, Xavier Défago, Thanh Dang Nguyen, Maria Potop-Butucaru

Distributed Computing - 28th International Symposium(DISC) 76 - 90 2014年

　詳細を見る

掲載種別：研究論文（国際会議プロシーディングス）出版者・発行元：Springer

DOI： 10.1007/978-3-662-45174-8_6

researchmap

その他リンク： https://dblp.uni-trier.de/db/conf/wdag/disc2014.html#BonnetDNP14
Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols.

François Bonnet 0001, Xavier Défago, Franck Petit, Maria Potop-Butucaru, Sébastien Tixeuil

33rd IEEE International Symposium on Reliable Distributed Systems Workshops 50 - 59 2014年

　詳細を見る

掲載種別：研究論文（国際会議プロシーディングス）出版者・発行元：IEEE Computer Society

DOI： 10.1109/SRDSW.2014.34

researchmap

その他リンク： https://dblp.uni-trier.de/db/conf/srds/srds2014w.html#BonnetDPPT14
Mitigating the Spread of a Virus in the Internet.

Thanh Dang Nguyen, François Bonnet 0001, Xavier Défago

33rd IEEE International Symposium on Reliable Distributed Systems Workshops 14 - 19 2014年

　詳細を見る

掲載種別：研究論文（国際会議プロシーディングス）出版者・発行元：IEEE Computer Society

DOI： 10.1109/SRDSW.2014.26

researchmap

その他リンク： https://dblp.uni-trier.de/db/conf/srds/srds2014w.html#NguyenBD14
Reliability Prediction for Component-based Software Systems with Architectural-level Fault Tolerance Mechanisms (Extended Version).

Thanh-Trung Pham, François Bonnet 0001, Xavier Défago

Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications (JoWUA) 5 ( 1 ) 4 - 36 2014年

　詳細を見る

掲載種別：研究論文（学術雑誌）

DOI： 10.22667/JOWUA.2014.03.31.004

researchmap
Anonymous asynchronous systems: the case of failure detectors.

François Bonnet 0001, Michel Raynal

Distributed Computing 26 ( 3 ) 141 - 158 2013年

　詳細を見る

掲載種別：研究論文（学術雑誌）

DOI： 10.1007/s00446-012-0169-5

researchmap
Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols.

François Bonnet 0001, Xavier Défago, Franck Petit, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil

Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium(SSS) 282 - 284 2012年

　詳細を見る

掲載種別：研究論文（国際会議プロシーディングス）出版者・発行元：Springer

DOI： 10.1007/978-3-642-33536-5_28

researchmap

その他リンク： https://dblp.uni-trier.de/db/conf/sss/sss2012.html#BonnetDPPT12
Asynchronous Exclusive Perpetual Grid Exploration without Sense of Direction.

François Bonnet 0001, Alessia Milani, Maria Potop-Butucaru, Sébastien Tixeuil

Principles of Distributed Systems - 15th International Conference(OPODIS) 251 - 265 2011年

　詳細を見る

掲載種別：研究論文（国際会議プロシーディングス）出版者・発行元：Springer

DOI： 10.1007/978-3-642-25873-2_18

researchmap

その他リンク： https://dblp.uni-trier.de/db/conf/opodis/opodis2011.html#BonnetMPT11
Exploration and Surveillance in Multi-robots Networks.

François Bonnet 0001, Xavier Défago

Second International Conference on Networking and Computing(ICNC) 342 - 344 2011年

　詳細を見る

掲載種別：研究論文（国際会議プロシーディングス）出版者・発行元：IEEE Computer Society

DOI： 10.1109/ICNC.2011.66

researchmap

その他リンク： https://dblp.uni-trier.de/db/conf/ic-nc/ic-nc2011.html#BonnetD11
On the road to the weakest failure detector for k-set agreement in message-passing systems.

François Bonnet 0001, Michel Raynal

Theoretical Computer Science 412 ( 33 ) 4273 - 4284 2011年

　詳細を見る

掲載種別：研究論文（学術雑誌）

DOI： 10.1016/j.tcs.2010.11.007

researchmap
The Price of Anonymity: Optimal Consensus Despite Asynchrony, Crash, and Anonymity.

François Bonnet 0001, Michel Raynal

ACM Transactions on Autonomous and Adaptive Systems 6 ( 4 ) 23 - 28 2011年

　詳細を見る

掲載種別：研究論文（学術雑誌）

DOI： 10.1145/2019591.2019592

researchmap
A simple proof of the necessity of the failure detector Sigma to implement an atomic register in asynchronous message-passing systems.

François Bonnet 0001, Michel Raynal

Information Processing Letters 110 ( 4 ) 153 - 157 2010年

　詳細を見る

掲載種別：研究論文（学術雑誌）

DOI： 10.1016/j.ipl.2009.11.011

researchmap
Cohérence de calculs répartis face aux défaillances, à l'anonymat et au facteur d'échelle.

François Bonnet 0001

2010年

　詳細を見る

掲載種別：学位論文（博士）

researchmap
Anonymous Asynchronous Systems: The Case of Failure Detectors.

François Bonnet 0001, Michel Raynal

Distributed Computing(DISC) 206 - 220 2010年

　詳細を見る

掲載種別：研究論文（国際会議プロシーディングス）出版者・発行元：Springer

DOI： 10.1007/978-3-642-15763-9_22

researchmap

その他リンク： https://dblp.uni-trier.de/db/conf/wdag/disc2010.html#BonnetR10
D2HT: The Best of Both Worlds, Integrating RPS and DHT.

Marin Bertier, François Bonnet 0001, Anne-Marie Kermarrec, Vincent Leroy 0001, Sathya Peri, Michel Raynal

Eighth European Dependable Computing Conference(EDCC) 135 - 144 2010年

　詳細を見る

掲載種別：研究論文（国際会議プロシーディングス）出版者・発行元：IEEE Computer Society

DOI： 10.1109/EDCC.2010.25

researchmap

その他リンク： https://dblp.uni-trier.de/db/conf/edcc/edcc2010.html#BertierBKLPR10
Early Consensus in Message-Passing Systems Enriched with a Perfect Failure Detector and Its Application in the Theta Model.

François Bonnet 0001, Michel Raynal

Eighth European Dependable Computing Conference(EDCC) 107 - 116 2010年

　詳細を見る

掲載種別：研究論文（国際会議プロシーディングス）出版者・発行元：IEEE Computer Society

DOI： 10.1109/EDCC.2010.22

researchmap

その他リンク： https://dblp.uni-trier.de/db/conf/edcc/edcc2010.html#BonnetR10
Consensus in Anonymous Distributed Systems: Is There a Weakest Failure Detector?.

François Bonnet 0001, Michel Raynal

24th IEEE International Conference on Advanced Information Networking and Applications(AINA) 206 - 213 2010年

　詳細を見る

掲載種別：研究論文（国際会議プロシーディングス）出版者・発行元：IEEE Computer Society

DOI： 10.1109/AINA.2010.19

researchmap

その他リンク： https://dblp.uni-trier.de/db/conf/aina/aina2010.html#BonnetR10
Review of DISC 2010.

François Bonnet 0001

SIGACT News 41 ( 4 ) 106 - 108 2010年

　詳細を見る

掲載種別：研究論文（学術雑誌）

DOI： 10.1145/1907450.1907545

researchmap
The Price of Anonymity: Optimal Consensus Despite Asynchrony, Crash and Anonymity.

François Bonnet 0001, Michel Raynal

Distributed Computing(DISC) 341 - 355 2009年

　詳細を見る

掲載種別：研究論文（国際会議プロシーディングス）出版者・発行元：Springer

DOI： 10.1007/978-3-642-04355-0_35

researchmap

その他リンク： https://dblp.uni-trier.de/db/conf/wdag/disc2009.html#BonnetR09
Looking for the Weakest Failure Detector for k-Set Agreement in Message-Passing Systems: Is ${\it \Pi}_k${\it \Pi}_k the End of the Road?

François Bonnet 0001, Michel Raynal

Stabilization, Safety, and Security of Distributed Systems(SSS) 149 - 164 2009年

　詳細を見る

掲載種別：研究論文（国際会議プロシーディングス）出版者・発行元：Springer

DOI： 10.1007/978-3-642-05118-0_11

researchmap

その他リンク： https://dblp.uni-trier.de/db/conf/sss/sss2009.html#BonnetR09
Brief announcement: the price of anonymity: optimal consensus despite asynchrony, crash and anonymity.

François Bonnet 0001, Michel Raynal

Proceedings of the 28th Annual ACM Symposium on Principles of Distributed Computing(PODC) 294 - 295 2009年

　詳細を見る

掲載種別：研究論文（国際会議プロシーディングス）出版者・発行元：ACM

DOI： 10.1145/1582716.1582773

researchmap

その他リンク： https://dblp.uni-trier.de/db/conf/podc/podc2009.html#BonnetR09
Conditions for Set Agreement with an Application to Synchronous Systems.

François Bonnet 0001, Michel Raynal

Journal of Computer Science and Technology 24 ( 3 ) 418 - 433 2009年

　詳細を見る

掲載種別：研究論文（学術雑誌）

DOI： 10.1007/s11390-009-9234-3

researchmap
Conditions for Set Agreement with an Application to Synchronous Systems.

François Bonnet 0001, Michel Raynal

28th IEEE International Conference on Distributed Computing Systems (ICDCS 2008)(ICDCS) 663 - 672 2008年

　詳細を見る

掲載種別：研究論文（国際会議プロシーディングス）出版者・発行元：IEEE Computer Society

DOI： 10.1109/ICDCS.2008.13

researchmap

その他リンク： https://dblp.uni-trier.de/db/conf/icdcs/icdcs2008.html#BonnetR08
Brief Announcement: On the Solvability of Anonymous Partial Grids Exploration by Mobile Robots.

Roberto Baldoni, François Bonnet 0001, Alessia Milani, Michel Raynal

Distributed Computing(DISC) 496 - 497 2008年

　詳細を見る

掲載種別：研究論文（国際会議プロシーディングス）出版者・発行元：Springer

DOI： 10.1007/978-3-540-87779-0_34

researchmap

その他リンク： https://dblp.uni-trier.de/db/conf/wdag/disc2008.html#BaldoniBMR08
Looking for the optimal conditions for solving set agreement.

François Bonnet 0001, Michel Raynal

Proceedings of the Twenty-Seventh Annual ACM Symposium on Principles of Distributed Computing(PODC) 446 - 446 2008年

　詳細を見る

掲載種別：研究論文（国際会議プロシーディングス）出版者・発行元：ACM

DOI： 10.1145/1400751.1400842

researchmap

その他リンク： https://dblp.uni-trier.de/db/conf/podc/podc2008.html#BonnetR08
Geo-registers: An Abstraction for Spatial-Based Distributed Computing.

Matthieu Roy, François Bonnet 0001, Leonardo Querzoni, Silvia Bonomi, Marc-Olivier Killijian, David Powell

Principles of Distributed Systems(OPODIS) 534 - 537 2008年

　詳細を見る

掲載種別：研究論文（国際会議プロシーディングス）出版者・発行元：Springer

DOI： 10.1007/978-3-540-92221-6_34

researchmap

その他リンク： https://dblp.uni-trier.de/db/conf/opodis/opodis2008.html#RoyBQBKP08
On the Solvability of Anonymous Partial Grids Exploration by Mobile Robots.

Roberto Baldoni, François Bonnet 0001, Alessia Milani, Michel Raynal

Principles of Distributed Systems(OPODIS) 428 - 445 2008年

　詳細を見る

掲載種別：研究論文（国際会議プロシーディングス）出版者・発行元：Springer

DOI： 10.1007/978-3-540-92221-6_27

researchmap

その他リンク： https://dblp.uni-trier.de/db/conf/opodis/opodis2008.html#BaldoniBMR08
Anonymous graph exploration without collision by mobile robots.

Roberto Baldoni, François Bonnet 0001, Alessia Milani, Michel Raynal

Information Processing Letters 109 ( 2 ) 98 - 103 2008年

　詳細を見る

掲載種別：研究論文（学術雑誌）

DOI： 10.1016/j.ipl.2008.08.011

researchmap
Small-World Networks: From Theoretical Bounds to Practical Systems.

François Bonnet 0001, Anne-Marie Kermarrec, Michel Raynal

Principles of Distributed Systems(OPODIS) 372 - 385 2007年

　詳細を見る

掲載種別：研究論文（国際会議プロシーディングス）出版者・発行元：Springer

DOI： 10.1007/978-3-540-77096-1_27

researchmap

その他リンク： https://dblp.uni-trier.de/db/conf/opodis/opodis2007.html#BonnetKR07
Formal analysis techniques for gossiping protocols.

Rena Bakhshi, François Bonnet 0001, Wan J. Fokkink, Boudewijn R. Haverkort

Operating Systems Review 41 ( 5 ) 28 - 36 2007年

　詳細を見る

掲載種別：研究論文（学術雑誌）

DOI： 10.1145/1317379.1317385

researchmap
Quiescent consensus in mobile ad-hoc networks using eventually storage-free broadcasts.

François Bonnet 0001, Paul D. Ezhilchelvan, Einar Vollset

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC)(SAC) 670 - 674 2006年

　詳細を見る

掲載種別：研究論文（国際会議プロシーディングス）出版者・発行元：ACM

DOI： 10.1145/1141277.1141432

researchmap

その他リンク： https://dblp.uni-trier.de/db/conf/sac/sac2006.html#BonnetEV06
Brief Announcement: Performance Analysis of Cyclon, an Inexpensive Membership Management for Unstructured P2P Overlays.

François Bonnet 0001, Frederic Tronel, Spyros Voulgaris

Distributed Computing(DISC) 560 - 562 2006年

　詳細を見る

掲載種別：研究論文（国際会議プロシーディングス）出版者・発行元：Springer

DOI： 10.1007/11864219_45

researchmap

その他リンク： https://dblp.uni-trier.de/db/conf/wdag/disc2006.html#BonnetTV06

▼全件表示

共同研究・競争的資金等の研究課題

Automatic Verification of Distributed Mobile Robot Algorithms

研究課題/領域番号：26870228 2014年4月 - 2016年3月

日本学術振興会科学研究費助成事業若手研究(B)

BONNET Francois

　詳細を見る

配分額：1820000円（直接経費：1400000円、間接経費：420000円）

二年目も、ツールの開発を行い、このツールによってロボットのgathering問題のアルゴリズムの正しさの確認ができました。Workshop on Distributed Robotics Swarms (WDRS'15)で発表し、さらにAdHoc-Now'16の国際会議に採択され、発表する予定です。

researchmap
複数の環境に適応可能な移動ロボット群向けの分散アルゴリズム設計

研究課題/領域番号：10F00720 2010年 - 2012年

日本学術振興会科学研究費助成事業特別研究員奨励費

DEFAGO Xavier, BONNET Francois

　詳細を見る

配分額：1600000円（直接経費：1600000円）

本プロジェクトでは、自律移動ロボット群向けの協調および合意問題に対する研究を行う。
平成24年度は、自律エージェントのグループがグラフを描くために協調するという拡張問題についての成果を主に得た。研究代表者らは以下の2つのソフトウェアツールを開発した。
1つ目のプログラムは、環境の抽象的表現を入力情報としてとり、あらゆる探索アルゴリズムを生成する。本ツールにより、逆に、不能問題にはアルゴリズムが存在しないということを証明することができた。本成果は、他の研究者による既存論文の誤りの指摘に役立っている。
2つ目のプログラムは、専門的なモデルチェックツールである。探索プログラムの正確性を自動的にチェックする。環境サイズ、ロボット数といった特定のパラメーターにより、本ツールは(1)アルゴリズムが構文的に正しいか、(2)アルゴリズムが安全か(たとえば、衝突の回避が保証できるか)、そして(3)アルゴリズムが正確か(たとえば、探索が必ず成功するか)を示す。現在のところ、本ツールはリングトポロジーのみで動作する。
予備的な研究結果はSSS国際会議(SSS2012:14th International Symposium on Stabilization, Safety, and Security of Distributed Systems)で発表済みであり、最終的な成果は今後発表予定である。

researchmap