Hybrid systems: From verification to falsification by combining motion planning and discrete search
type: Item
instance of: scholarly article
title: Hybrid systems: From verification to falsification by combining motion planning and discrete search
zbMATH Open document ID: 1192.68692
author: Erion Plaku
author: Lydia E. Kavraki
author: Moshe Y. Vardi
published in: Formal Methods in System Design
publication date: 2009-11-23T00:00:00Z
full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary
Mathematics Subject Classification ID: 68T40
Mathematics Subject Classification ID: 68T20
zbMATH DE Number: 5637096
zbMATH Keywords: hybrid system
zbMATH Keywords: safety properties
zbMATH Keywords: robot motion planning
zbMATH Keywords: discrete search
zbMATH Keywords: sampling-based planning
zbMATH Keywords: decomposition
zbMATH Keywords: nonlinear dynamics
describes a project that uses: RSOLVER
describes a project that uses: Benchmarks
describes a project that uses: d/dt
describes a project that uses: Kronos
describes a project that uses: HyTech
describes a project that uses: Uppaal
describes a project that uses: GSL
describes a project that uses: HSolver
MaRDI profile type: Publication
OpenAlex ID: W1968254796
cites work: The algorithmic analysis of hybrid systems
cites work: Counterexample-guided predicate abstraction of hybrid systems
cites work: Q4806208
cites work: Hybrid Systems: Computation and Control
cites work: Q4953384
cites work: Symbolic model checking: \(10^{20}\) states and beyond
cites work: Q5713497
cites work: Computational techniques for hybrid system verification
cites work: Bounded model checking using satisfiability solving
cites work: Q4551177
cites work: Model Checking Software
cites work: Q4552468
cites work: Q3838008
cites work: Q4234084
cites work: HyTech: A model checker for hybrid systems
cites work: Q4793011
cites work: Robust Test Generation and Coverage for Hybrid Systems
cites work: On the shortest spanning subtree of a graph and the traveling salesman problem
cites work: Q4249569
cites work: Planning Algorithms
cites work: Rapidly-exploring random trees: Progress and prospects
cites work: Comparing Forward and Backward Reachability as Tools for Safety Analysis
cites work: Test Coverage for Continuous and Hybrid Systems
cites work: Computer Aided Verification
cites work: Hybrid Systems: From Verification to Falsification
cites work: Q4418863
cites work: Conflict resolution for air traffic management: a study in multiagent hybrid systems
cites work: Kronos: A verification tool for real-time systems
DOI: 10.1007/S10703-008-0058-5
description: scientific article; zbMATH DE number 5637096