A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Swarm Verification Techniques
2011
IEEE Transactions on Software Engineering
Preserved Fulltext
The range of verification problems that can be solved with logic model checking tools has increased significantly in the last few decades. ...
APPLICATION The test model from Fig. 1 illustrates the potential of swarm verification techniques. No single example can, of course, be representative of large search problems in general. ...
With the swarm technique we have described here, we would like to see how problem coverage (measured as the fraction of the cumulative number of all reachable states covered in a swarm run) changes with ...
doi:10.1109/tse.2010.110
fatcat:cm6zvkf2rfctjosvc3fqxe2tza
Model checking of emergent behaviour properties of robot swarms
2011
Proceedings of the Estonian Academy of Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
space reduction methodsstate vector compression, bit state hashing, and symmetry reduction -were applied on an exercise with the objective of verifying a distributed coordination algorithm for robot swarms ...
A natural solution for overcoming the complexity barrier of swarm analysis is to use the compositional verification approach. ...
CONCLUSIONS AND FUTURE WORK In this paper a case study of explicit state model checking techniques based on a dynamic cleaning problem for proving properties of emergent behaviour of robot swarms was presented ...
doi:10.3176/proc.2011.1.05
fatcat:oiktdzc57fgyvoje2gnoftmw6i
Bounded Model Checking and Feature Omission Diversity
[article]
2016
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Adapting a technique developed in software testing to this problem provides a simple way to produce useful partial verification problems, with a resulting decrease in average time until a counterexample ...
If no counterexample is found, partial verification results can also be useful in practice. ...
INTRODUCTION Model checking [5] is a technique for formal verification, which inspects all reachable states of a system for violations of a property. ...
arXiv:1610.08020v1
fatcat:4swgc2guybgb7owjagpqwjnbzi
Verifying Autonomous Robots: Challenges and Reflections (Invited Talk)
2020
International Symposium/Workshop on Temporal Representation and Reasoning
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
In this talk I will discuss experiences from several projects in developing and applying verification techniques to autonomous robotic systems. ...
We advocate using a range of verification techniques including formal verification, simulation based testing and end user experiments to improve the reliability of such systems. ...
Here we focus on temporal verification using automatic tools and techniques such as model checking and deduction (see for example [8] ) that do not require user interaction. ...
doi:10.4230/lipics.time.2020.1
dblp:conf/time/Dixon20
fatcat:e3a3dz65jfe2bbm4yysskpccmm
Symmetry Reduction Enables Model Checking of More Complex Emergent Behaviours of Swarm Navigation Algorithms
[chapter]
2015
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2015 pre-print arXiv:1505.05695v1 fatcat:mjwy2ilsafegzhpjgwkpstrzceOther Versions
These emergent behaviours can be verified to assess their correctness, through techniques like model checking. ...
A comparison of the state-space and verification results with an absolute (or global) and a relative encoding of the Alpha algorithm highlights the advantages of our approach, allowing model checking larger ...
Eder was partially supported by the Engineering and Physical Sciences Research Council (EPSRC), grants EP/J01205X/1 RIVERAS: Robust Integrated Verification of Autonomous Systems and EP/K006320/1 Trustworthy ...
doi:10.1007/978-3-319-22416-9_4
fatcat:6wdvedugc5b5pmrkjdqbfwf65q
Coherent Swarming through the Local Interaction by Exploiting Simulation Techniques for Many Particle Systems
多粒子系の動力学解析手法を応用した群ロボットの自律分散的形態制御
2005
Transactions of the Society of Instrument and Control Engineers
多粒子系の動力学解析手法を応用した群ロボットの自律分散的形態制御
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
R2 (t) = 1 (rz (t) -RG (t))2 (12 N 0d The obtained correlation under test environment 2 FigFig. 8 A 8 verification of the adaptability under test environment 1 (see left to right) Fig. 9 A verification ...
of the adaptability under test environment 2 (see left to right) Fig. 10 A verification of the fault tolerance (see left to right) ...
doi:10.9746/sicetr1965.41.126
fatcat:6lypasjoired5przoxrejxo7sm
Analysing robot swarm behaviour via probabilistic model checking
2012
Robotics and Autonomous Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
In this paper, we will develop and apply the use of automated probabilistic formal verification techniques to robot swarms, involving an exhaustive mathematical analysis, in order to assess whether swarms ...
or experiments with robot swarms themselves. ...
Formal Verification of Robot Swarms We here highlight previous work in which the formal verification of robot swarms has been considered, typically using model checking or deductive techniques for temporal ...
doi:10.1016/j.robot.2011.10.005
fatcat:rlvovyxlbre55jubibwzrem2ly
Some Verification Issues at NASA Goddard Space Flight Center
[chapter]
2008
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
In verifying the desired behavior of swarms of intelligent interacting agents, the two significant sources of difficulty are the exponential growth of interactions and the emergent behaviors of the swarm ...
We describe the work being conducted by NASA GSFC to develop a formal method specifically for swarm technologies. ...
Acknowledgements The Formal Approaches to Swarm Technologies (FAST) project is funded by the NASA Office of Systems and Mission Assurance (OSMA) through its Software Assurance Research Program (SARP), ...
doi:10.1007/978-3-540-69149-5_43
fatcat:mvexffclazh3rp7oay47h53yvy
Robotics and Integrated Formal Methods: Necessity Meets Opportunity
[chapter]
2018
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2018 pre-print arXiv:1805.11996v2 fatcat:srk665yprbdjncbpx2l3yxfspaOther Versions
The techniques for developing and verifying each of these system varieties are often quite distinct. ...
This, together with the sheer complexity of robotic systems, leads us to argue that diverse formal techniques must be integrated in order to develop, verify, and provide certification evidence for, robotic ...
Robot swarms can be quite large, and so a challenge when verifying robot swarms using current model-checking techniques is state space explosion caused by the large number of concurrent, interacting agents ...
doi:10.1007/978-3-319-98938-9_10
fatcat:kklbl7yxjzdb5exiom2z5valma
Towards Informed Swarm Verification
[chapter]
2011
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
swarm verification (SV) [Holzmann et al., '08] Towards Informed SV (1) • Can we bound workers to specific areas? ...
We will deal mainly with explicit state, action-based model checking (LTSs) • For large state spaces, we can focus on debugging instead of verification (guaranteeing bug-absence) • Techniques such as ...
doi:10.1007/978-3-642-20398-5_30
fatcat:w2s35qse2fd3ho5kq43tglt3hu
Towards temporal verification of swarm robotic systems
2012
Robotics and Autonomous Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
In this paper we assess and apply the use of formal verification techniques for analysing the emergent behaviours of robotic swarms. ...
These techniques, based on the automated analysis of systems using temporal logics, allow us to analyse whether all possible behaviours within the robot swarm conform to some required specification. ...
So, our aim is to develop, deploy and extend formal verification techniques for use in swarm robotics and so show that formal verification is viable in this, more restricted, context. ...
doi:10.1016/j.robot.2012.03.003
fatcat:rowiz3l4hrdrfkeryb7tkqfizm
Formal Verification of Probabilistic Swarm Behaviours
[chapter]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this paper we will utilise automated formal verification techniques, involving an exhaustive mathematical analysis, in order to assess whether our swarms will indeed behave as required. ...
In order to assess swarm effectiveness, either experiments with real robots or computational simulations of the swarm are usually carried out. ...
A general alternative to simulation and testing is to use formal verification, and particularly the technique called modelchecking [3] . ...
doi:10.1007/978-3-642-15461-4_42
fatcat:oipktjmphnc2hlxn5df6q72cze
Functional Verification of Digital Systems Using Meta-Heuristic Algorithms
[chapter]
2018
Digital Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
In this chapter, we will describe the main techniques used in the functional verification of digital systems of medium complexity, focusing especially on meta-heuristic algorithms such as particle swarm ...
To reduce the time and cost of the verification process, artificial intelligence techniques based on the optimization of the coverage of behavioral areas have been proposed. ...
Techniques such as genetic algorithms and particle swarm optimization algorithms were used to verify the digital systems, and a comparison was presented. ...
doi:10.5772/intechopen.80048
fatcat:ocqzjvmqlrhwfom3262p6c3xsy
Formal Specification and Verification of Autonomous Robotic Systems: A Survey
[article]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
This paper systematically surveys the state-of-the-art in formal specification and verification for autonomous robotics. ...
Autonomous robotic systems are complex, hybrid, and often safety-critical; this makes their formal specification and verification uniquely challenging. ...
[138] Synchronous language Quartz and verification using model-checking techniques of the Averest verification framework (Beryl). Mobile outdoor robot RAVON. ...
arXiv:1807.00048v3
fatcat:ssc63easujgijisrznyzwo7ieq
A Review Paper On An Enhanced Face Recognition System Using Correlation Method And Abpso
2016
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
This paper deals with using of Particle Swarm Optimization techniques for Face Recognition. ...
Face Recognition is one of the problems which can be handled very well using Hybrid techniques or mixed transform rather than single technique. ...
Particle Swarm Optimization: Particle Swarm Optimization (PSO) [8] is a swarm intelligence technique developed by Dr. Eberhart and Dr. Kennedy in 1995. ...
doi:10.5281/zenodo.55973
fatcat:dxvfsee2o5auxgeiidqnxxyhd4
« Previous
Showing results 1 — 15 out of 10,943 results