Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems

International Journal of Foundations of Computer Science - Singapore
doi 10.1142/s012905410300190x
Full Text
Abstract

Available in full text

Date
Authors
Publisher

World Scientific Pub Co Pte Lt

Related search

Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis

English

Interference Analysis for Dependable Systems Using Refinement and Abstraction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Learning by Ng: Systematic Abstraction Refinement for Hybrid Control Synthesis

IEE Proceedings - Control Theory and Applications
2006English

Model Checking Ontology‐driven Reasoning Agents Using Strategy and Abstraction

Concurrency Computation Practice and Experience
Computer NetworksCommunicationsComputer Science ApplicationsComputational TheoryMathematicsTheoretical Computer ScienceSoftware
2019English

Closed-Loop Verification of Medical Devices With Model Abstraction and Refinement

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2013English

Component-Based Abstraction and Refinement

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Real-Time Analysis of Resource-Constrained Distributed Systems by Simulation-Guided Model Checking

ACM SIGBED Review
EngineeringComputer Science
2008English

Reachability Analysis of Hybrid Systems via Predicate Abstraction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy