LAUSR

About LAUSR
Donate
Contact Us

Follow us:

You are not signed in:

Sign Up!


   Articles with "reachability" as a keyword



Maximizing reachability in a temporal graph obtained by assigning starting times to a collection of walks

Sign Up to like & get
recommendations! Published in 2022 at "Networks"

DOI: 10.1002/net.22123

Abstract: In a temporal graph, each edge appears and can be traversed at specific points in time. In such a graph, temporal reachability of one node from another is naturally captured by the existence of a… read more here.

Keywords: maximizing reachability; trip temporalization; temporal graph; reachability ... See more keywords

Resilient Reachability for Linear Systems

Sign Up to like & get
recommendations! Published in 2020 at "IFAC-PapersOnLine"

DOI: 10.1016/j.ifacol.2020.12.372

Abstract: Abstract A fault-tolerant system is able to reach its goal even when some of its components are malfunctioning. This paper examines tolerance to a specific type of malfunction: the loss of control authority over actuators.… read more here.

Keywords: control; undesirable inputs; reachability; reachability linear ... See more keywords

How many students could continue learning during COVID-19-caused school closures? Introducing a new reachability indicator for measuring equity of remote learning

Sign Up to like & get
recommendations! Published in 2021 at "International Journal of Educational Development"

DOI: 10.1016/j.ijedudev.2021.102421

Abstract: Abstract This paper proposes a new reachability indicator to analyze the effectiveness of remote learning policies adopted by ministries of education in response to school closures caused by the COVID-19 pandemic. The indicator provides the… read more here.

Keywords: reachability; remote learning; new reachability; reachability indicator ... See more keywords

Concurrency and reachability in treelike temporal networks

Sign Up to like & get
recommendations! Published in 2019 at "Physical Review. E"

DOI: 10.1103/physreve.100.062305

Abstract: Network properties govern the rate and extent of various spreading processes, from simple contagions to complex cascades. Recently, the analysis of spreading processes has been extended from static networks to temporal networks, where nodes and… read more here.

Keywords: temporal networks; temporal network; reachability; concurrency reachability ... See more keywords

One-Step Control-Ahead Approach for the Design of an Optimal Petri-Net Based Deadlock Prevention Policy

Sign Up to like & get
recommendations! Published in 2018 at "IEEE Access"

DOI: 10.1109/access.2018.2843380

Abstract: This paper focuses on establishing a Petri net (PN)-based deadlock prevention policy for large-scale systems whose state spaces are prone to the explosion problem phenomenon. When using the reachability analysis technique, the main burden is… read more here.

Keywords: net based; control; based deadlock; deadlock prevention ... See more keywords

AORM: Fast Incremental Arbitrary-Order Reachability Matrix Computation for Massive Graphs

Sign Up to like & get
recommendations! Published in 2021 at "IEEE Access"

DOI: 10.1109/access.2021.3077888

Abstract: Processing a reachability query in large-scale networks using existing methods remains one of the most challenging problems in graph mining. In this paper, we propose a novel incremental algorithmic framework for arbitrary-order reachability computation in… read more here.

Keywords: computation massive; computation; reachability; order reachability ... See more keywords
Photo by i_m_noble from unsplash

Robust Diagnosability Analysis Using Basis Reachability Graph

Sign Up to like & get
recommendations! Published in 2023 at "IEEE Access"

DOI: 10.1109/access.2023.3236963

Abstract: Fault-freeness is one of the necessary guarantees for healthy and stable operations of discrete event systems. Traditional diagnostic models may fail since sensors may suffer electronic component failures, communication failures, or atmospheric electromagnetic interference. Robust… read more here.

Keywords: reachability graph; basis reachability; reachability; robust diagnosability ... See more keywords

Augmented Graph Convolutional Network for Enhancing Label Reachability

Sign Up to like & get
recommendations! Published in 2025 at "IEEE Access"

DOI: 10.1109/access.2025.3555997

Abstract: Graph Convolutional Networks (GCNs) have emerged as a leading approach for semi-supervised node classification. However, due to the uneven distribution of labeled nodes in graphs, only a limited subset of unlabeled nodes can directly access… read more here.

Keywords: graph convolutional; augmented graph; network enhancing; reachability ... See more keywords

Model-Free Stochastic Reachability Using Kernel Distribution Embeddings

Sign Up to like & get
recommendations! Published in 2020 at "IEEE Control Systems Letters"

DOI: 10.1109/lcsys.2019.2954102

Abstract: We present a data-driven solution to the terminal-hitting stochastic reachability problem for a Markov control process. We employ a nonparametric representation of the stochastic kernel as a conditional distribution embedding within a reproducing kernel Hilbert… read more here.

Keywords: model free; reachability; stochastic reachability; free stochastic ... See more keywords

Polynomial-Time Reachability for LTI Systems With Two-Level Lattice Neural Network Controllers

Sign Up to like & get
recommendations! Published in 2022 at "IEEE Control Systems Letters"

DOI: 10.1109/lcsys.2022.3231556

Abstract: In this letter, we consider the computational complexity of bounding the reachable set of a Linear Time-Invariant (LTI) system controlled by a Rectified Linear Unit (ReLU) Two-Level Lattice (TLL) Neural Network (NN) controller. In particular,… read more here.

Keywords: network; time; reachability; polynomial time ... See more keywords

On Relaxing the N-Reachability Implicit Requirement in NMPC Design

Sign Up to like & get
recommendations! Published in 2025 at "IEEE Control Systems Letters"

DOI: 10.1109/lcsys.2025.3582951

Abstract: This letter proposes a proof of stability for Model Predictive Control formulations involving a prediction horizon that might be too short to meet the reachability condition generally invoked as a sufficient condition for closed-loop stability.… read more here.

Keywords: implicit requirement; relaxing reachability; reachability; condition ... See more keywords