Rigorous Simulation of Hybrid Dynamic Systems With Symbolic and Interval Methods

doi 10.1109/acc.2002.1024794
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

American Automatic Control Council

Related search

Rigorous Hybrid Systems Simulation With Continuous-Time Discontinuities and Discrete-Time Components

2007English

Integrating Symbol-Oriented and Sub-Symbolic Reasoning Methods Into Hybrid Systems

2002English

Dynamic Simulation of Carbonate Fuel Cell-Gas Turbine Hybrid Systems

Journal of Engineering for Gas Turbines and Power
Mechanical EngineeringEnergy EngineeringNuclear EnergyFuel TechnologyEngineeringPower TechnologyAerospace Engineering
2006English

A Comparison of Interval Methods in Symbolic Circuit Analysis Applications

ANZIAM Journal
2012English

Dynamic Simulation of Carbonate Fuel Cell-Gas Turbine Hybrid Systems

2004English

Rigorous Statistical Methods for Rigorous Microbiome Science

mSystems
EvolutionEcologyGeneticsMolecular BiologyBiochemistrySystematicsMicrobiologySimulationComputer Science ApplicationsBehaviorModelingPhysiology
2019English

Resolution of Nonlinear Interval Problems Using Symbolic Interval Arithmetic

Engineering Applications of Artificial Intelligence
ControlSystems EngineeringElectricalArtificial IntelligenceElectronic Engineering
2010English

Efficient Symbolic Simulation via Dynamic Scheduling, Don’t Caring, and Case Splitting

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Symbolic and Non-Symbolic Project Evaluation Methods

2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy