• Home
  • Search
  • Counterexample Generation in Stochastic Model Checking Based on PSO Algorithm with Heuristic
  • Cite Icon7
  • https://doi.org/10.1142/s021819401650039xCopy DOI Icon

Counterexample Generation in Stochastic Model Checking Based on PSO Algorithm with Heuristic

  • Abstract
  • Literature Map
  • References
  • Citations
  • Similar Papers
Abstract

Providing counterexample for the refutation of a property is an essential feature of model checking, if it is not the most important. However, generating counterexample in stochastic model checking needs a dedicated algorithm. It usually costs too much time and memory, and sometimes it cannot find the counterexample. What is worse, generating smallest counterexample in stochastic model checking has been proved to be NP-complete, and it is unlikely to be efficiently approximable. Although there are a few heuristic methods that are applied to the construction of the counterexample, it is usually difficult to determine the heuristic function which is critical for counterexample generating. In this paper, we present a particle swarm optimization (PSO)-based approach to generating counterexample for stochastic model checking. We define the diagnostic sub-graph as counterexample, and extend PSO algorithm with heuristic (HPSO) to generate counterexample. It adopts indirect path coding scheme to expand the scope of the search space, and employs heuristic operator to generate more effective path. The validity of our approach is illustrated by some case studies in a prototype tool. The experiments show that HPSO algorithm can significantly outperform the present algorithm for counterexample generation in stochastic model checking.

Similar Papers
  • Book Chapter
  • Citations2

Crossed Particle Swarm Optimization Algorithm

  • Jan 01, 2006
  • Teng-Bo Chen +3
  • Conference Article
  • Citations1

Hardware/Software co-design SoC-system for a neural network trained by particle swarm optimization

  • Nov 01, 2017
  • Yukinobu Hoshino
  • Research Article
  • Citations16

Collaborative beamforming in wireless sensor networks using a novel particle swarm optimization algorithm variant

  • Oct 01, 2021
  • Heliyon
  • Robert Macharia Maina +2
  • Research Article
  • Citations40

A hybrid PSO-GA algorithm for job shop scheduling in machine tool production

  • Jan 03, 2015
  • International Journal of Production Research
  • Li-Lan Liu +4
  • Research Article
  • Citations4

Digital FIR Filter Design by PSO and its v ariants Attractive and Repulsive PSO(ARPSO) & Craziness based PSO(CRPSO)

  • Mar 30, 2021
  • The International Journal of Recent Technology and Engineering (IJRTE)
  • Zain Ali +4
  • Research Article
  • Citations1

Multi-objective optimization design of wheat centralized seed feeding device based on particle swarm optimization (PSO) algorithm

  • Dec 03, 2020
  • International Journal of Agricultural and Biological Engineering
  • Qingqing Wang +5
  • Conference Article
  • Citations5

PSO algorithm for UAV autonomous path planning with threat and energy cost optimization

  • Mar 27, 2019
  • Stanislaw Konatowski +1
  • Conference Article

Study on Rotor Speed Identification of DTC System Based on PSO Algorithms of BP Neural Network

  • Jul 01, 2009
  • Chengzhi Cao +3
  • Conference Article
  • Citations1

Disease diagnostic prediction model based on improved hybrid CAPSO-BP algorithm

  • Jul 01, 2017
  • Zhenbing Yuan +2
  • Conference Article
  • Citations4

Hardware implementation of the particle swarm optimization algorithm

  • Jun 01, 2017
  • Tomasz Talaska +2
  • Research Article
  • Citations11

Improved Adaptive PSO-based Gain Tuning for PID Controllers in Utility Boilers

  • Jan 01, 2023
  • Procedia Computer Science
  • U Kruthika +1
  • Research Article
  • Citations2

APPLICATION OF QUADRATIC PROGRAMMING ON PORTFOLIO OPTIMIZATION USING WOLFE’S METHOD AND PARTICLE SWARM OPTIMIZATION ALGORITHM

  • May 25, 2024
  • BAREKENG: Jurnal Ilmu Matematika dan Terapan
  • Syaripuddin Syaripuddin +4
  • Research Article
  • Citations11

A Novel MPPT Method Based on PSO and ABC Algorithms for Solar Cell

  • Jun 28, 2023
  • Electric Power Components and Systems
  • Karthikeyan Sathasivam +7
  • Book Chapter
  • Citations8

Improved PSO Algorithm with Harmony Search for Complicated Function Optimization Problems

  • Jan 01, 2012
  • Jian Yu +1
  • PDF
  • Research Article
  • Citations24

A dynamic adaptive particle swarm optimization and genetic algorithm for different constrained engineering design optimization problems

  • Mar 01, 2019
  • Advances in Mechanical Engineering
  • Hao Zhu +2
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.