Convergence proofs for Simulated Annealing falsification of safety properties

No abstract is available for this paper.

• Publication year

  2012

• Venue

  Allerton Conference on Communication, Control, and Computing

• Publication date

  2012-10-01

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1109/Allerton.2012.6483411
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Probabilistic Temporal Logic Falsification of Cyber-Physical Systems

  2013influential reference
• S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems

  2011cited by this paper
• Linear Hybrid System Falsification through Local Search

  2011cited by this paper
• Bayesian statistical model checking with application to Stateflow/Simulink verification

  2010cited by this paper
• Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems

  2010cited by this paper
• Dynamical properties of hybrid systems simulators

  2010cited by this paper
• Stochastic Optimization on Continuous Domains With Finite-Time Guarantees by Markov Chain Monte Carlo Methods

  2009cited by this paper
• Verification and Control of Hybrid Systems

  2009cited by this paper
• Hybrid dynamical systems

  2009cited by this paper
• Verification and Control of Hybrid Systems - A Symbolic Approach

  2009cited by this paper
• Falsification of LTL safety properties in hybrid systems

  2009cited by this paper
• On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology

  2008cited by this paper
• Verification of Supervisory Control Software Using State Proximity and Merging

  2008cited by this paper
• Test Coverage for Continuous and Hybrid Systems

  2007cited by this paper
• Hybrid systems: from verification to falsification by combining motion planning and discrete search

  2007cited by this paper
• Systematic Simulation Using Sensitivity Analysis

  2007cited by this paper
• Sampling-based planning, control and verification of hybrid systems

  2006cited by this paper
• Approximation Metrics for Discrete and Continuous Systems

  2006cited by this paper
• AVACS – Automatic Verification and Analysis of Complex Systems REPORTS of SFB / TR 14

  2005cited by this paper
• Dynamical properties of hybrid automata

  2003cited by this paper
• The Theory and Practice of Simulated Annealing

  2003cited by this paper
• Generating test inputs for embedded control systems

  2003cited by this paper
• Pareto simulated annealing—a metaheuristic technique for multiple‐objective combinatorial optimization

  1998cited by this paper
• What's decidable about hybrid automata?

  1995cited by this paper
• Convergence theorems for a class of simulated annealing algorithms on ℝ d

  1992influential reference
• Cooling Schedules for Optimal Annealing

  1988cited by this paper
• Ieee Transactions on Evolutionary Computation, Draft under Review 1 Dominance-based Multi-objective Simulated Annealing

  year unknowncited by this paper
• journal homepage: www.elsevier.com/locate/tcs

  year unknowncited by this paper

• Automated Generation of Benchmarks for Falsification of STL Specifications

  2025cites this paper
• Falsification and Control of CPS using the Language Set of Discrete-Time Temporal Logic

  2025cites this paper
• Efficient Black-Box Checking with Specification-Guided Abstraction

  2025cites this paper
• From Fault Injection to Formal Verification: A Holistic Approach to Fault Diagnosis in Cyber-Physical Systems

  2024cites this paper
• Approximating the Geometry of Temporal Logic Formulas

  2024cites this paper
• Falsification using Reachability of Surrogate Koopman Models

  2024cites this paper
• Fast Koopman Surrogate Falsification Using Linear Relaxations and Weights

  2024cites this paper
• Finding Safety Violations of AI-Enabled Control Systems through the Lens of Synthesized Proxy Programs

  2024cites this paper
• Reinforcement Learning for Intelligent Healthcare Systems: A Review of Challenges, Applications, and Open Research Issues

  2023cites this paper
• Smooth Robustness Measures for Symbolic Control Via Signal Temporal Logic

  2023cites this paper
• Uniform Generalization Bound on Time and Inverse Temperature for Gradient Descent Algorithm and its Application to Analysis of Simulated Annealing

  2022cites this paper
• Towards Efficient Input Space Exploration for Falsification of Input Signal Class Augmented STL

  2022cites this paper
• Reinforcement Learning for Intelligent Healthcare Systems: A Comprehensive Survey

  2021cites this paper
• FIGCPS: Effective Failure-inducing Input Generation for Cyber-Physical Systems with Deep Reinforcement Learning

  2021cites this paper
• Hybrid System Falsification Under (In)equality Constraints via Search Space Transformation

  2020cites this paper
• CPFuzz: Combining Fuzzing and Falsification of Cyber-Physical Systems

  2020cites this paper
• Average-based Robustness for Continuous-Time Signal Temporal Logic

  2019cites this paper
• Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications

  2019cites this paper
• Deep Reinforcement Learning for Cyber Security

  2019cites this paper
• Search-based Test Generation for Automated Driving Systems: From Perception to Control Logic

  2019influential citation
• Foundations of Safe Autonomous Cyber-Physical Systems

  2018cites this paper
• Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning

  2018influential citation
• Temporal Logic Falsification of Cyber-Physical Systems: An Input-Signal-Space Optimization Approach

  2018cites this paper
• Functional gradient descent optimization for automatic test case generation for vehicle controllers

  2017cites this paper
• Smooth operator: Control using the smooth robustness of temporal logic

  2017cites this paper
• Technical Report: Control Using the Smooth Robustness of Temporal Logic

  2017cites this paper
• Testing Cyber-Physical Systems through Bayesian Optimization

  2017cites this paper
• Temporal Logics for Learning and Detection of Anomalous Behavior

  2017cites this paper
• Benchmark: Nonlinear Hybrid Automata Model of Excitable Cardiac Tissue

  2016cites this paper
• Utilizing S-TaLiRo as an automatic test generation framework for autonomous vehicles

  2016cites this paper
• Requirements driven falsification with coverage metrics

  2015cites this paper
• Conformance Testing as Falsification for Cyber-Physical Systems

  2014cites this paper
• Multiple parts process planning in serial–parallel flexible flow lines: part II—solution method based on genetic algorithms with fixed- and variable-length chromosomes

  2014cites this paper
• Test Coverage Estimation Using Threshold Accepting

  2014cites this paper
• Linear Hybrid System Falsification With Local Search

  2013influential citation