Keywords: دسترسی پذیری; Stochastic control; Stochastic systems; Verification; Safety analysis; Reachability; Game theory; Duality; Dynamic programming;
مقالات ISI دسترسی پذیری (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: دسترسی پذیری; Bounded-error; Hybrid systems; Interval analysis; Nonlinear systems; Estimation; Reachability; Uncertain systems; Zonotope;
Keywords: دسترسی پذیری; Reachability; Conditional reachability; Max-Plus Linear systems; Piece-wise affine systems; Difference-Bound matrices; Interval analysis;
Keywords: دسترسی پذیری; Perception; Action; Reaching; Reachability; Open-loop response; Action boundary;
Keywords: دسترسی پذیری; Complexity; Reachability; Piecewise affine;
Keywords: دسترسی پذیری; Hybrid systems; Reachability; Robustness; Domain theory;
Keywords: دسترسی پذیری; 15A18; 15A80; 65G40; 93C55; Max-algebra; Circulant matrices; Interval analysis; Reachability;
Keywords: دسترسی پذیری; Vision; Motor action; Optic ataxia; Peripersonal space; Reachability;
Keywords: دسترسی پذیری; Markov chains; Abstract models; Reachability; Parameter synthesis; Constraint programming;
Keywords: دسترسی پذیری; Linear systems; Reachability; Series connections; Functional models; Toeplitz operators;
Keywords: دسترسی پذیری; Stochastic; Dynamics; Control synthesis; Hybrid; Automaton; Reachability;
Keywords: دسترسی پذیری; reachability; Petri nets; BPNSs; semi-tensor product (STP) of matrices; synchronizing transitions;
Keywords: دسترسی پذیری; Multiple travelling salesmen problem (MTSP); Modified two-part wolf pack search (MTWPS) algorithm; Transposition and extension (TE) operation; Convergence rate; Reachability;
Keywords: دسترسی پذیری; Reachability; Interval analysis; Differential inequalities; Global optimization; Uncertainty propagation;
Keywords: دسترسی پذیری; Hybrid automata; Reachability; Controller synthesis;
Keywords: دسترسی پذیری; Register automata; Pushdown automata; Reachability; Infinite alphabets; Complexity;
Keywords: دسترسی پذیری; Parametric timed automata; One-counter machines; Reachability;
Keywords: دسترسی پذیری; Ontology; STIX; Network; Risk analysis; Impact; Reachability; Cyber threat intelligence; Attribution; Reasoning; OWL;
Keywords: دسترسی پذیری; Disturbance rejection; Inescapable set; Reachability; Persistent disturbance; SOS tools; Polynomial methods;
Keywords: دسترسی پذیری; Reachability; Optimal control; Trajectory optimization; Moon lander
Keywords: دسترسی پذیری; 13C10; 15A21; 93B10; 93B55; 93C05; 05A17; Linear systems; von Neumann regular rings; Locally Brunovsky; Reachability; Feedback enumeration problem;
Keywords: دسترسی پذیری; Semi-tensor product; Higher-order logical control network; Reachability; Partitioned matrix
Keywords: دسترسی پذیری; Path planning; Stochastic optimization; Dynamically orthogonal level-set equations; Reachability; Science of autonomy; Energy-optimal;
Keywords: دسترسی پذیری; Petri nets; State explosion problem; Reachability; Superposition
Keywords: دسترسی پذیری; Hybrid systems; Decidability; Planar systems; Piecewise constant derivatives; Bisimulations; Reachability; Verification; Safety
Keywords: دسترسی پذیری; Discrete networks; Abstract interpretation; Reachability; Qualitative models; Systems biology
Keywords: دسترسی پذیری; 2323 Visual Perception; 2330 Motor Processes; Visual perception; Reachability; Tool-use; Peripersonal space; Incorporation embodiment;
Keywords: دسترسی پذیری; Reachability; Constraints; Differentially flat systems; Optimal control; Feasibility; Path following
Keywords: دسترسی پذیری; Counter Machines; Verification; Reachability; Mixed real-integer logic; Reversal-bounded
Keywords: دسترسی پذیری; Discrete, continuous and hybrid Petri nets; Fluidization; Continuous Petri nets; Homothetic monotonicity; Reachability; Property preservation; Spurious solutions
Keywords: دسترسی پذیری; 42A38; 45K05; 93C20; Coupled systems; Convolution kernels; Fourier series; Ingham estimates; Reachability;
Keywords: دسترسی پذیری; Dynamical systems; Reachability; Robustness; Computational power; Verification;
Keywords: دسترسی پذیری; Viability; Reachability; Controlled invariance; Set-theoretic methods; High-dimensional systems; Formal verification; Safety-critical systems
Keywords: دسترسی پذیری; Autonomous system; Co-operative control; Cyclic pursuit; Hierarchy; Reachability
Keywords: دسترسی پذیری; Reachability; Stochastic control; Dynamic programming; Partial differential equations; Discontinuous viscosity solutions
Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs
Keywords: دسترسی پذیری; Reachability; System analysis;
Pushdown reachability with constant treewidth
Keywords: دسترسی پذیری; Pushdown systems; Reachability; Constant tree-width graphs; Algorithms; Graph algorithms;
Comparing columnar, row and array DBMSs to process recursive queries on graphs
Keywords: دسترسی پذیری; Graph; SQL; Recursive query; Matrix; Reachability; Query optimization;
EEG μ rhythm in virtual reality reveals that motor coding of visual objects in peripersonal space is task dependent
Keywords: دسترسی پذیری; Vision; EEG; Reachability; Peripersonal space; μ rhythm;
Reachability and recurrence in a modular generalization of annihilating random walks (and lights-out games) to hypergraphs
Keywords: دسترسی پذیری; Discrete complex systems; Lights-out games; Reachability
Hybrid and Hybrid Adaptive Petri Nets: On the computation of a Reachability Graph
Keywords: دسترسی پذیری; Petri Nets; Hybrid Petri Nets; Hybrid Adaptive Petri Nets; Reachability; Reachability Graph; Discrete event systems modelling
Extended transitive separation logic
Keywords: دسترسی پذیری; Separation logic; Reachability; Sharing; Strong separation; Verification
Fixed-point forms of the parallel symmetric sandpile model
Keywords: دسترسی پذیری; (Parallel symmetric) sandpile model; Unimodal sequences; Reachability; Fixed points; Discrete dynamical system
Context-aware adaptive IP mobility anchoring
Keywords: دسترسی پذیری; Distributed mobility; Dynamic anchoring; Mobility context; Routing/forwarding; Reachability; Session continuity
Stochastic system controller synthesis for reachability specifications encoded by random sets
Keywords: دسترسی پذیری; Hybrid systems; Stochastic systems; Reachability; Safety; Target hitting; Optimal control; Dynamic programming
Controllability of a class of bimodal discrete-time piecewise linear systems
Keywords: دسترسی پذیری; Bimodal systems; Piecewise linear systems; Controllability; Reachability; Hybrid systems; Non-convex input constraint set
Shifted visual feedback of the hand affects reachability judgments in interception
Keywords: دسترسی پذیری; Hand movement; Feedback; Reachability; Visuomotor control
Bounds on the reachable sets of nonlinear control systems
Keywords: دسترسی پذیری; Reachability; Invariants; Control systems; Bounding method; Intervals
A stochastic games framework for verification and control of discrete time stochastic hybrid systems
Keywords: دسترسی پذیری; Hybrid systems; Stochastic systems; Dynamic games; Controller synthesis; Reachability
On persistent reachability in Petri nets
Keywords: دسترسی پذیری; Petri nets; Decidability; Coverability; Reachability; Persistency; Conflict