Showing 401 - 420 results of 10,202 for search '"dynamic systems"', query time: 0.65s Refine Results
  1. 401
  2. 402

    The Orbit Problem for parametric linear dynamical systems by Baier, C, Jantsch, S, Lefaucheux, E, Ouaknine, J, Whiteland, MA, Funke, F, Karimov, T, Luca, F, Purser, D, Worrell, J

    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
  3. 403
  4. 404
  5. 405
  6. 406

    On the Skolem Problem for continuous linear dynamical systems by Ouaknine, J, Worrell, J, Chonev, V

    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
  7. 407

    On the skolem problem for continuous linear dynamical systems by Chonev, V, Ouaknine, J, Worrell, J

    Published 2016
    “…This is a fundamental reachability problem for continuous linear dynamical systems, such as linear hybrid automata and continuoustime Markov chains. …”
    Conference item
  8. 408
  9. 409

    Dynamical system decomposition for efficient, sparse analysis. by Anderson, J, Papachristodoulou, A

    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
  10. 410
  11. 411
  12. 412
  13. 413
  14. 414
  15. 415
  16. 416
  17. 417
  18. 418
  19. 419
  20. 420