Results 11 to 20 of about 1,295,766 (195)
Geometry of Reachability sets of Vector Addition Systems [PDF]
, 2023 Vector Addition Systems (VAS), aka Petri nets, are a popular model of concurrency. The reachability set of a VAS is the set of configurations reachable from the initial configuration.
Guttenberg, Roland +2 more
core +4 more sources
Target control for hybrid systems with linear continuous dynamics [PDF]
, 2001 We consider the target control problem for hybrid systems with linear continuous dynamics. The system is modelled as a hybrid automaton. Control action is applied on the discrete level, while the continuous dynamics is subject to constant or set valued ...
Trontis, Anastasios +1 more
core +5 more sources
Optimizing Reachability Sets in Temporal Graphs by Delaying [PDF]
, 2020 A temporal graph is a dynamic graph where every edge is assigned a set of integer time labels that indicate at which discrete time step the edge is available.
Potapov, Igor, Deligkas, Argyrios
core +2 more sources
Optimizing reachability sets in temporal graphs by delaying [PDF]
, 2022 A temporal graph is a dynamic graph where every edge is assigned a set of integer time labels that indicate at which discrete time step the edge is available.
Potapov, Igor +3 more
core +1 more source
History−Register Automata [PDF]
, 2013 Programs with dynamic allocation are able to create and use an unbounded number of fresh resources, such as references, objects, files, etc. We propose History-Register Automata (HRA), a new automata-theoretic formalism for modelling such programs. HRAs
Tzevelekos, Nikos +5 more
core +1 more source
, 2022 In this paper, we focus on the symmetrical relationship between multi-properties objective reachability problems and multi-objective sets reachability problems over FKS based on Zadeh logic.
Xia Li +3 more
core +1 more source
Optimization-Based Methods for Nonlinear and Hybrid Systems Verification [PDF]
, 2005 Complex behaviors that can be exhibited by hybrid systems make the verification of such systems both important and challenging. Due to the infinite number of possibilities taken by the continuous state and the uncertainties in the system, exhaustive ...
Prajna, Stephen
core +1 more source
Projections of vector addition system reachability sets are semilinear [PDF]
, 1989 The reachability sets of Vector Addition Systems of dimension six or more can be non-semilinear. This may be one reason why the inclusion problem (as well as the equality problem) for reachability sets of vector addition systems in general is undecidable,
Kleine Büning, Hans +2 more
core +1 more source
On invariance and reachability on semialgebraic sets for linear dynamics [PDF]
, 2018 Reachability analysis is a powerful tool which is being used extensively and efficiently for the analysis and control of dynamical systems, especially when linear systems and convex sets are involved.
Jungers, Raphael M. +1 more
core +2 more sources
Numerical methods for construction reachability sets of dynamical systems [PDF]
, 2012 The research is devoted to the problem of reachability sets construction and representation in a control problem of a dynamical system. The paper discusses two numerical methods for construction reachability sets of dynamical systems.
Vladimir N. Ushakov +5 more
core +1 more source