Model-Based Diagnosis of Hybrid Systems Using Satisfiability Modulo Theory

Proceedings of the AAAI Conference on Artificial Intelligence
doi 10.1609/aaai.v33i01.33011452
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for the Advancement of Artificial Intelligence (AAAI)

Related search

A Tutorial on Satisfiability Modulo Theories

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: A Comparative Analysis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Bit-Precise Formal Verification for SystemC Using Satisfiability Modulo Theories Solving

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2017English

Preface to the Special Issue “SI: Satisfiability Modulo Theories”

Formal Methods in System Design
HardwareTheoretical Computer ScienceArchitectureSoftware
2012English

SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Realization Theory of Nonlinear Hybrid Systems

2013English

Model-Based Design for Hybrid Electric Vehicle Systems

2008English

Towards a Geometric Theory of Hybrid Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

A Prototype Implementation of a Distributed Satisfiability Modulo Theories Solver in the ToolBus Framework

Journal of the Brazilian Computer Society
Computer Science
2008English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy