Results 181 to 190 of about 1,295,766 (195)

An Algorithm for the General Petri Net Reachability Problem

SIAM Journal on Computing, 1984
Ernst W Mayr
exaly  

Controllability and reachability criteria for switched linear systems

Automatica, 2002
Zhendong Sun, S S Ge
exaly  

Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem

IEEE Transactions on Automatic Control, 2017
Ziyue Ma, Alessandro Giua, Zhiwu Li
exaly  

Subcubic certificates for CFL reachability

2022
Rupak Majumdar, Philipp Schepper
exaly  

Attainable Landing Area Computation of a Lunar Lander with Uncertainty by Reachability Analysis

2018
Stephan Theil
exaly  

Set reachability and observability of probabilistic Boolean networks

Automatica, 2019
Yuqian Guo, Rongpei Zhou
exaly  

Reachability Properties of Continuous-Time Positive Systems

IEEE Transactions on Automatic Control, 2009
Maria Elena Valcher
exaly  

Reachability for interval max-plus linear systems

2017
Cailu Wang, Yuegang Tao
exaly  

A reduced reachability tree for a class of unbounded petri nets

IEEE/CAA Journal of Automatica Sinica, 2015
Dan You, Mengchu Zhou, Shouguang Wang
exaly  

Matrix expression and reachability analysis of finite automata

Journal of Control Theory and Applications, 2012
Xiangru Xu
exaly