Reachability Set Generation Using Hybrid Relation Compatible Saturation

Lecture Notes in Computer Science - Reachability Problems ◽

10.1007/978-3-030-61739-4_3 ◽

2020 ◽

pp. 37-51

Author(s):

Shruti Biswal ◽

Andrew S. Miner

Keyword(s):

Reachability Set

Download Full-text

On the reachability set of a string

Acta Mathematica Hungarica ◽

10.1007/bf01956324 ◽

1987 ◽

Vol 49 (1-2) ◽

pp. 203-211 ◽

Author(s):

I. Joó

Keyword(s):

Reachability Set

Download Full-text

Reachability Set Generation for Petri Nets: Can Brute Force Be Smart?

Lecture Notes in Computer Science - Applications and Theory of Petri Nets 2004 ◽

10.1007/978-3-540-27793-4_2 ◽

2004 ◽

pp. 17-34 ◽

Author(s):

Gianfranco Ciardo

Keyword(s):

Brute Force ◽

Reachability Set

Download Full-text

On resource-efficient algorithm for non-linear systems approximate reachability set construction

10.1063/1.5007424 ◽

2017 ◽

Author(s):

G. V. Parshikov ◽

A. R. Matviychuk

Keyword(s):

Linear Systems ◽

Efficient Algorithm ◽

Reachability Set ◽

Non Linear Systems

Download Full-text

Implicit GSPN reachability set generation using decision diagrams

Performance Evaluation ◽

10.1016/j.peva.2003.07.005 ◽

2004 ◽

Vol 56 (1-4) ◽

pp. 145-165 ◽

Author(s):

Andrew S. Miner

Keyword(s):

Decision Diagrams ◽

Reachability Set

Download Full-text

Unfolding of Petri nets with semilinear reachability set

2004 IEEE International Symposium on Circuits and Systems (IEEE Cat. No.04CH37512) ◽

10.1109/iscas.2004.1329050 ◽

2004 ◽

Author(s):

A. Ohta ◽

K. Tsuji

Keyword(s):

Reachability Set

Download Full-text

On the geometry of the reachability set of vector fields

Differential Equations ◽

10.1134/s001226611703003x ◽

2017 ◽

Vol 53 (3) ◽

pp. 311-316

Author(s):

A. Ya. Narmanov ◽

S. S. Saitova

Keyword(s):

Vector Fields ◽

Reachability Set

Download Full-text

Reachability set subspace computation for nonlinear systems using sampling methods

IEEE Conference on Decision and Control and European Control Conference ◽

10.1109/cdc.2011.6160728 ◽

2011 ◽

Author(s):

Marcus J. Holzinger ◽

Daniel J. Scheeres

Keyword(s):

Nonlinear Systems ◽

Sampling Methods ◽

Reachability Set

Download Full-text

On the geometry of the reachability set of vector fields

Proceeding of the International Conference "Optimal Control and Differential Games" dedicated to the 110th anniversary of L. S. Pontryagin ◽

10.4213/proc23016 ◽

2018 ◽

Author(s):

Abdigappar Yakubovich Narmanov

Keyword(s):

Vector Fields ◽

Reachability Set

Download Full-text

Construction of the reachability set of the Lotka-Volterra system

Differential Equations ◽

10.1134/s0012266106030098 ◽

2006 ◽

Vol 42 (3) ◽

pp. 391-399 ◽

Author(s):

P. V. Prostyakov

Keyword(s):

Volterra System ◽

Reachability Set

Download Full-text

Correction: A Computationally Efficient Approach for Stochastic Reachability Set Analysis

AIAA Scitech 2020 Forum ◽

10.2514/6.2020-0851.c1 ◽

2020 ◽

Author(s):

Amit Jain ◽

Damien Gueho ◽

Puneet Singla

Keyword(s):

Computationally Efficient ◽

Efficient Approach ◽

Reachability Set

Download Full-text