Refinement for a Hybrid Boundary Representation and Its Hybrid Volume Completion

The SMAI journal of computational mathematics
doi 10.5802/smai-jcm.49
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Cellule MathDoc/CEDRAM

Related search

Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis

English

Continuous Representation for a Class of Optimal Hybrid Control Problems

IFAC Proceedings Volumes
2005English

Problem Representation for Refinement

Minds and Machines
PhilosophyArtificial Intelligence
1992English

A Hybrid Approach for Automatic Clause Boundary Identification in Hindi

2014English

Learning by Ng: Systematic Abstraction Refinement for Hybrid Control Synthesis

IEE Proceedings - Control Theory and Applications
2006English

Efficient Application Representation for HASTE: Hybrid Architectures With a Single, Transformable Executable

English

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

International Journal of Foundations of Computer Science
Computer Science
2003English

Boundary Value Problems for Hybrid Differential Equations With Fractional Order

Advances in Difference Equations
Applied MathematicsNumber TheoryAnalysisAlgebra
2015English

Modelling Prior Distributions of Atoms for Macromolecular Refinement and Completion

Acta Crystallographica Section D Biological Crystallography
2000English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy