A Formal Mathematical Framework for Modeling Probabilistic Hybrid Systems

Annals of Mathematics and Artificial Intelligence - Netherlands
doi 10.1007/s10472-006-9035-0
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

A Layered Formal Framework for Modeling of Cyber-Physical Systems

2017English

A Formal Framework for Specifying Concurrent Systems

International Journal of Computer Applications
2013English

A Mathematical Framework for Modeling Axon Guidance

Bulletin of Mathematical Biology
GeneticsPharmacologyMolecular BiologyEnvironmental ScienceBiochemistryBiological SciencesMathematicsImmunologyComputational TheoryAgriculturalNeuroscience
2006English

Formal Testing of Timed and Probabilistic Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Formal Verification of Hybrid Systems

2011English

Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-Robot Coordination

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Hybrid Systems Modeling

Simulation
Computer GraphicsSimulationComputer-Aided DesignModelingMathematicsSoftware
2018English

A Framework for Modeling DNA Based Molecular Systems

Journal of Computational and Theoretical Nanoscience
Materials ScienceCondensed Matter PhysicsElectronic EngineeringNanoscienceElectricalComputational MathematicsNanotechnologyChemistry
2008English

A Probabilistic Framework for Point-Based Shape Modeling in Medical Image Analysis

2011English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy