Skip to main navigation
Skip to search
Skip to main content
Open Universiteit research portal Home
Search content at Open Universiteit research portal
Home
Profiles
Research units
Projects
Research output
Datasets
Prizes
Activities
Press/Media
Student theses
Discretization of Continuous Dynamical Systems Using UPPAAL
Stefano Schivo
, Rom Langerak
Research output
:
Chapter in Book/Report/Conference proceeding
›
Chapter
›
Academic
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Discretization of Continuous Dynamical Systems Using UPPAAL'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Differential Equations
100%
UPPAAL
100%
Continuous Dynamical Systems
100%
Timed Automata
66%
On the Fly
33%
Automata
33%
Dynamical Systems
33%
Osteoarthritis
33%
Discrete Model
33%
Euler Approach
33%
Fixed Step
33%
Biological Research
33%
State Vector
33%
UPPAAL Tool
33%
Node number
33%
Kinase Networks
33%
Continuous States
33%
Mathematics
Discretization
100%
Dynamical System
100%
State Variable
100%
Differential Equation
66%
Discrete Model
33%
Solving Differential Equation
33%
Fixed Time
33%
Biological Research
33%
Time Step
33%
Computer Science
State Variable
100%
Dynamical System
100%
Discretization
100%
Timed Automaton
66%
Automaton
33%
Model Checking
33%
Engineering
State Variable
100%
Discretization
100%
Nodes
33%
Discrete Model
33%
Discrete Value
33%
Continuous State
33%
Chemistry
Dynamical System
100%