Results 61 to 68 of about 70 (68)

Reachability for interval max-plus linear systems

2017
Cailu Wang, Yuegang Tao
exaly  

On reachability graphs of Petri nets

Computers and Electrical Engineering, 2003
Xinming Ye, Jiantao Zhou, Xiaoyu Song
exaly  

Reachability Results for Nonlinear Systems with Ellipsoidal Initial Sets

IEEE Transactions on Aerospace and Electronic Systems, 2012
Marcus J Holzinger, Daniel J Scheeres
exaly  

FlowCFL: generalized type-based reachability analysis: graph reduction and equivalence of CFL-based and type-based reachability

2020
Ana Milanova
exaly  

Path-tree

ACM Transactions on Database Systems, 2011
Ruoming Jin, Ning Ruan, Haixun Wang
exaly  

Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems

Automatica, 2008
Alessandro Abate, Maria Prandini, John Lygerōs   +2 more
exaly  

Optimal Dyck reachability for data-dependence and alias analysis

2018
Krishnendu Chatterjee, Andreas Pavlogiannis, Chatterjeekrishnendu   +2 more
exaly  

On reachability and controllability of switched Boolean control networks

Automatica, 2012
exaly