Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis

doi 10.29007/t8n3
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

EasyChair

Related search

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

International Journal of Foundations of Computer Science
Computer Science
2003English

Interference Analysis for Dependable Systems Using Refinement and Abstraction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Reachability Analysis of Hybrid Systems via Predicate Abstraction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Learning by Ng: Systematic Abstraction Refinement for Hybrid Control Synthesis

IEE Proceedings - Control Theory and Applications
2006English

Monotonic Abstraction-Refinement for CTL

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Extraction of Abstraction Invariants for Data Refinement

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Component-Based Abstraction and Refinement

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

On Abstraction Refinement for Program Analyses in Datalog

2013English

Counterexample Guided Invariant Discovery for Parameterized Cache Coherence Verification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy