https://www.bernardohummes.com/sylvieputot/ sylvieputot /sylvieputot/ Sylvie Putot person http://www.lix.polytechnique.fr/Labo/Sylvie.Putot/ École Polytechnique Professor Professor of computer science in École Polytechnique. References Context Backlinks Bernardo Hummes Flores https://www.bernardohummes.com/0001/ 0001 /0001/ Hi. I am a postdoctoral researcher at Thales, working on the interface of distributed computing and mobile robotics. I focus on characterizing the dynamical and communication properties required for swarms of robots to perform distributed tasks. Previously, I completed my PhD at LIX, École Polytechnique, working with Eric Goubault, Sylvie Putot and Luc Jaulin. My manuscript, entitled "The Structure of Information in Distributed Robotics", can be found here. You can also find my CV here. You can reach me at . I also like to take photos, some of which you can find here. Bernardo Hummes Floreshttps://www.bernardohummes.com/0002/0002/0002/List of publications My works are listed below and can also be found in dblp, arXiv, scholar, or orcid. Bernardo Hummes FloresPublished articlesStephan FelberBernardo Hummes FloresHugo Rincon Galeana202562https://www.bernardohummes.com/felber-hummmesflores-rincongaleana-2025a/felber-hummmesflores-rincongaleana-2025a/felber-hummmesflores-rincongaleana-2025a/Brief Announcement: A Sheaf-Theoretic Characterization of Tasks in Distributed Systemsreference10.1007/978-3-031-91736-3_2Task solvability lies at the heart of distributed computing, with direct implications for both theoretical understanding and practical system design. A fundamental challenge in distributed computing is constructing global solutions from local computations and information. Sheaf theory addresses this challenge by providing a mathematical framework for assessing globally consistent properties from locally defined data. In this paper, we introduce a sheaf-theoretic characterization of task solvability by defining the novel construction of a task sheaf, whose sections correspond to valid solutions of a task. Furthermore, we show that the cohomology of a task sheaf may be used to compute solving protocols, thus establishing a connection between distributed computing and sheaf theory for both protocol design and impossibility analysis.Andreas RauhYohann GourretKatell LagattuBernardo Hummes FloresLuc JaulinJohannes ReuterStefan WirtensohnJohannes Reuter2022511https://www.bernardohummes.com/rauh-gourret-lagattu-hummes-jaulin-reuter-wirtensohn-hoher-2022/rauh-gourret-lagattu-hummes-jaulin-reuter-wirtensohn-hoher-2022/rauh-gourret-lagattu-hummes-jaulin-reuter-wirtensohn-hoher-2022/Experimental validation of ellipsoidal techniques for state estimation in marine applicationsreference10.3390/a15050162A reliable quantification of the worst-case influence of model uncertainty and external disturbances is crucial for the localization of vessels in marine applications. This is especially true if uncertain GPS-based position measurements are used to update predicted vessel locations that are obtained from the evaluation of a ship’s state equation. To reflect real-life working conditions, these state equations need to account for uncertainty in the system model, such as imperfect actuation and external disturbances due to effects such as wind and currents. As an application scenario, the GPS-based localization of autonomous DDboat robots is considered in this paper. Using experimental data, the efficiency of an ellipsoidal approach, which exploits a bounded-error representation of disturbances and uncertainties, is demonstrated.Renata NeulandMathias MantelliBernardo Hummes FloresLuc JaulinRenan MaffeiEdson PrestesMariana Kolberg202121https://www.bernardohummes.com/neuland-mantelli-hummes-jaulin-maffei-prestes-kolberg-2021/neuland-mantelli-hummes-jaulin-maffei-prestes-kolberg-2021/neuland-mantelli-hummes-jaulin-maffei-prestes-kolberg-2021/Robust hybrid interval-probabilistic approach for the kidnapped robot problemreference10.1142/S0218488521500141For a mobile robot to operate in its environment it is crucial to determine its position with respect to an external reference frame using noisy sensor readings. A scenario in which the robot is moved to another position during its operation without being told, known as the kidnapped robot problem, complicates global localisation. In addition to that, sensor malfunction and external influences of the environment can cause unexpected errors, called outliers, that negatively affect the localisation process. This paper proposes a method based on the fusion of a particle filter with bounded-error localisation, which is able to deal with outliers in the measurement data. The application of our algorithm to solve the kidnapped robot problem using simulated data shows an improvement over conventional probabilistic filtering methods.Bernardo Hummes FloresManuscriptsÉric GoubaultBernardo Hummes FloresRoman KniazevJérémy LedentSergio Rajsbaum2025515https://www.bernardohummes.com/goubault-hummmesflores-kniazev-ledent-rajsbaum-2025/goubault-hummmesflores-kniazev-ledent-rajsbaum-2025/goubault-hummmesflores-kniazev-ledent-rajsbaum-2025/A categorical and logical framework for iterated protocolsreference10.48550/arXiv.2505.10071In this article, we show that the now classical protocol complex approach to distributed task solvability of Herlihy et al. can be understood in standard categorical terms. First, protocol complexes are functors, from chromatic (semi-) simplicial sets to chromatic simplicial sets, that naturally give rise to algebras. These algebras describe the next state operator for the corresponding distributed systems. This is constructed for semi-synchronous distributed systems with general patterns of communication for which we show that these functors are always Yoneda extensions of simpler functors, implying a number of interesting properties. Furthermore, for these protocol complex functors, we prove the existence of a free algebra on any initial chromatic simplicial complex, modeling iterated protocol complexes. Under this categorical formalization, protocol complexes are seen as transition systems, where states are structured as chromatic simplicial sets. We exploit the epistemic interpretation of chromatic simplicial sets and the underlying transition system (or algebra) structure to introduce a temporal-epistemic logic and its semantics on all free algebras on chromatic simplicial sets. We end up by giving hints on how to extend this framework to more general dynamic network graphs and state-dependent protocols, and give example in fault-tolerant distributed systems and mobile robotics. Stephan FelberBernardo Hummes FloresHugo Rincon Galeana202534https://www.bernardohummes.com/felber-hummmesflores-rincongaleana-2025/felber-hummmesflores-rincongaleana-2025/felber-hummmesflores-rincongaleana-2025/A Sheaf-Theoretic Characterization of Tasks in Distributed Systemsreference10.48550/arXiv.2503.02556Task solvability lies at the heart of distributed computing, with direct implications for both theoretical understanding and practical system design. The field has evolved multiple theoretical frameworks for this purpose, including topological approaches, epistemic logic, and adversarial models, but these often address specific problem classes, limiting cross-domain applications. Our approach provides a unifying mathematical perspective across message-passing system models. We introduce a unifying sheaf-theoretic perspective that represents task solvability across message-passing system models while maintaining clear connections to the underlying distributed computing principles. A fundamental challenge in distributed computing is constructing global solutions from local computations and information. Sheaf theory addresses this challenge by providing a mathematical framework for assessing globally consistent properties from locally defined data, offering a natural language to describe and reason about distributed tasks. Sheaves have proven valuable in studying similar local-to-global phenomena, from opinion dynamics to contextuality in quantum mechanics and sensor integration. We now extend this framework to distributed systems. In this paper, we introduce a sheaf-theoretic characterization of task solvability in any model with a message based adversary. We provide a novel construction of a task sheaf, and prove that non-trivial sections correspond to valid solutions of a task, while obstructions to global sections represent system limitations that make tasks unsolvable. Furthermore, we also show that the cohomology of a task sheaf may be used to compute solving protocols. This opens space for new connections between distributed computing and sheaf theory for both protocol design and impossibility analysis.Stephan FelberGiorgio CignaraleÉric GoubaultBernardo Hummes FloresHugo Rincon Galeana2025130https://www.bernardohummes.com/cignarale-felber-goubault-hummmesflores-rincongaleana-2025/cignarale-felber-goubault-hummmesflores-rincongaleana-2025/cignarale-felber-goubault-hummmesflores-rincongaleana-2025/Knowledge in multi-robot systems: an interplay of dynamics, computation and communicationreference10.48550/arXiv.2501.18309We show that the hybrid systems perspective of distributed multi-robot systems is compatible with logical models of knowledge already used in distributed computing, and demonstrate its usefulness by deriving sufficient epistemic conditions for exploration and gathering robot tasks to be solvable. We provide a separation of the physical and computational aspects of a robotic system, allowing us to decouple the problems related to each and directly use methods from control theory and distributed computing, fields that are traditionally distant in the literature. Finally, we demonstrate a novel approach for reasoning about the knowledge in multi-robot systems through a principled method of converting a switched hybrid dynamical system into a temporal-epistemic logic model, passing through an abstract state machine representation. This creates space for methods and results to be exchanged across the fields of control theory, distributed computing and temporal-epistemic logic, while reasoning about multi-robot systems. Related Contributions