Discretization of Continuous Dynamical Systems Using UPPAAL

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-68270-9_15
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

Center Manifolds of Dynamical Systems Under Discretization

Numerical Functional Analysis and Optimization
ControlComputer Science ApplicationsSignal ProcessingAnalysisOptimization
1987English

On the Integral Equations of Continuous Dynamical Systems

Proceedings of the National Academy of Sciences of the United States of America
Multidisciplinary
1944English

Complexity Studies in Some Piecewise Continuous Dynamical Systems

Mathematical Journal of Interdisciplinary Sciences
2016English

On the Discretization of Spatially Continuous Systems With Quadratic and Cubic Nonlinearities.

JSME International Journal Series C
1998English

Sensitive Dependence on Parameters of Continuous-Time Nonlinear Dynamical Systems

Chaos, Solitons and Fractals
Nonlinear PhysicsApplied MathematicsStatisticalMathematicsAstronomyPhysics
2017English

CAN Database Verification Framework Using UPPAAL

International Journal of Computer Theory and Engineering
2017English

Formal Verification of AADL Models Using UPPAAL

2017English

Extended Recurrence Plot and Quantification for Noisy Continuous Dynamical Systems

Chaos
Nonlinear PhysicsApplied MathematicsMathematical PhysicsStatisticalMedicineAstronomyPhysics
2018English

The Quasi-Orbit Space of Continuous $C\sp{\ast} $-Dynamical Systems

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1976English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy