Back to Search
Start Over
Computer Aided Formal Design of Swarm Robotics Algorithms
- Source :
- Stabilization, Safety, and Security of Distributed Systems. SSS 2021, Stabilization, Safety, and Security of Distributed Systems. SSS 2021, Nov 2021, Online, Sweden. pp.469-473, ⟨10.1007/978-3-030-91081-5_31⟩, Lecture Notes in Computer Science ISBN: 9783030910808, SSS
- Publication Year :
- 2021
- Publisher :
- HAL CCSD, 2021.
-
Abstract
- Previous works on formally studying mobile robotic swarms consider necessary and sufficient system hypotheses enabling to solve theoretical benchmark problems (geometric pattern formation, gathering, scattering, etc.). We argue that formal methods can also help in the early stage of mobile robotic swarms protocol design, to obtain protocols that are correct-by-design, even for problems arising from real-world use cases, not previously studied theoretically. Our position is supported by a concrete case study. Starting from a real-world case scenario, we jointly design the formal problem specification, a family of protocols that are able to solve the problem, and their corresponding proof of correctness, all expressed with the same formal framework. The concrete framework we use for our development is the PACTOLE library based on the COQ proof assistant.
- Subjects :
- Computational Geometry (cs.CG)
FOS: Computer and information sciences
Theoretical computer science
Correctness
Discrete Mathematics (cs.DM)
Computer science
[INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]
Swarm robotics
0102 computer and information sciences
02 engineering and technology
[INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]
[INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG]
01 natural sciences
[INFO.INFO-MC]Computer Science [cs]/Mobile Computing
Development (topology)
[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
0202 electrical engineering, electronic engineering, information engineering
[INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO]
Use case
ComputingMilieux_MISCELLANEOUS
Proof assistant
020207 software engineering
[INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering
Formal methods
Computer Science - Distributed, Parallel, and Cluster Computing
010201 computation theory & mathematics
Benchmark (computing)
Computer-aided
Computer Science - Computational Geometry
Distributed, Parallel, and Cluster Computing (cs.DC)
[INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
Computer Science - Discrete Mathematics
Subjects
Details
- Language :
- English
- ISBN :
- 978-3-030-91080-8
- ISBNs :
- 9783030910808
- Database :
- OpenAIRE
- Journal :
- Stabilization, Safety, and Security of Distributed Systems. SSS 2021, Stabilization, Safety, and Security of Distributed Systems. SSS 2021, Nov 2021, Online, Sweden. pp.469-473, ⟨10.1007/978-3-030-91081-5_31⟩, Lecture Notes in Computer Science ISBN: 9783030910808, SSS
- Accession number :
- edsair.doi.dedup.....6bd89a08562635f32d783e7e854e2b7d