-
401
-
402
The Orbit Problem for parametric linear dynamical systems
Published 2021“…We study a parametric version of the Kannan-Lipton Orbit Problem for linear dynamical systems. We show decidability in the case of one parameter and Skolem-hardness with two or more parameters. …”
Conference item -
403
-
404
-
405
-
406
On the Skolem Problem for continuous linear dynamical systems
Published 2016“…This is a fundamental reachability problem for continuous linear dynamical systems, such as linear hybrid automata and continuous- time Markov chains. …”
Conference item -
407
On the skolem problem for continuous linear dynamical systems
Published 2016“…This is a fundamental reachability problem for continuous linear dynamical systems, such as linear hybrid automata and continuoustime Markov chains. …”
Conference item -
408
-
409
Dynamical system decomposition for efficient, sparse analysis.
Published 2010“…We describe a system decomposition approach that allows for the efficient analysis of dynamical systems in the sum of squares (SOS) programming framework. …”
Conference item -
410
-
411
-
412
Nonlinear oscillations, dynamical systems, and bifurcations of vector fields /
Published 1983Subjects: -
413
-
414
Stability of dynamical systems : continuous, discontinuous, and discrete systems /
Published 2008Subjects: “…Differentiable dynamical systems…”
-
415
-
416
-
417
-
418
-
419
-
420